- 26
- 3 017
Ada Maximized
Приєднався 2 січ 2023
Video about Ada programing language and related technologies.
Ironclad at Ada Developers Works
by Cristian Simon at Ada Developers Workshop
Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software. This talk will delve into what makes Ironclad special from inside Gloire, an Ironclad distribution, showcasing its desktop experience and other system internals, and will cover the usage of Ada in the project, along with what advantages that provides when compared with other ecosystems like C/C++ and Rust.
Support us: www.patreon.com/ada_re
Join Telegram: t.me/ada_lang
#ada #ada-lang #adalang
Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software. This talk will delve into what makes Ironclad special from inside Gloire, an Ironclad distribution, showcasing its desktop experience and other system internals, and will cover the usage of Ada in the project, along with what advantages that provides when compared with other ecosystems like C/C++ and Rust.
Support us: www.patreon.com/ada_re
Join Telegram: t.me/ada_lang
#ada #ada-lang #adalang
Переглядів: 162
Відео
SweetAda: a Multi-architecture Embedded Development Framework
Переглядів 1002 місяці тому
by Gabrielle Galeotti and Fernando Oleo Blanco at Ada Developers Workshop 2024. SweetAda is a lightweight development framework whose purpose is the implementation of Ada-based software systems. The code produced by SweetAda is able to run on a wide range of machines, from ARM® embedded boards up to x86-64-class machines, as well as MIPS® machines and Virtex®/Spartan® PowerPC®/MicroBlaze® FPGAs...
HiRTOS: a Multicore RTOS Written in SPARK Ada
Переглядів 1242 місяці тому
by J. German Rivera at Ada Developers Workshop 2024. This presentation will describe the Ada-specific details of the design of HiRTOS and how to port it to new platforms. HiRTOS is a small multicore RTOS kernel and separation kernel. An RTOS is a safety critical component of any bare-metal embedded software system. Yet, most RTOSes are written in C which is an unsafe language. It would be safer...
G-NAV: Soaring the Clouds with AdaWebPack
Переглядів 642 місяці тому
by Fernando Oleo Blanco at Ada Developers Workshop 2024. Electronic Flight Instrument Systems (EFIS) can effectively increase situational awareness of glider pilots by combining geographic data, aeronautical data, aircraft performance models, geolocation systems and air traffic surveillance systems. While Progressive Web Applications (PWA) are consolidating in the world of mobile technology, G-...
Controlled I/O: a Library for Scope-Based Files
Переглядів 622 місяці тому
by Jeffrey R. Carter at Ada Developers Workshop 2024. A request was made for "Scope-base files (controlled-type files), that close when they go out of scope". Extending Ada.Finalization.Limited_Controlled to contain an Ada.*_IO.File_Type and overriding Finalize to close the file if it is open is trivial, so I presume the poster was looking for something more than that. In response I came up wit...
Avoiding Access Types
Переглядів 1022 місяці тому
by Jeffrey R. Carter at Ada Developers Workshop 2024. Pointers and their associated memory management are a constant source of errors. In Ada, pointers are called access types. Luckily, access types are never needed in Ada. Although I have tried to educate people about this, unnecessary use of access types is still common. I would present some examples of situations in which access types are co...
Alire 2.0: a Quality of Life Update
Переглядів 1012 місяці тому
by Alejandro Mosteo at Ada Developers Workshop 2024. A short showcase of the new features and improvements to the functionality of the Ada LIbrary REpository (Alire) for its second major release. Support us: www.patreon.com/ada_re Join Telegram: t.me/ada_lang #ada #ada-lang #adalang
An Ada Story of Time
Переглядів 1232 місяці тому
by Jean-Pierre Rosen at Ada Developers Workshop 2024. This short tutorial presents the various notions of "time" encountered in computing (calendar time, CPU time, monotonic time, simulated time), and how they are handled by Ada: the Ada model, the various statements and library packages offered by the language. Support us: www.patreon.com/ada_re Join Telegram: t.me/ada_lang #ada #ada-lang #ada...
Ada Community Advocacy
Переглядів 2372 місяці тому
by Fernando Oleo Blanco at Ada Developers Workshop 2024. "I would like to discuss a few key points regarding the challenges of fostering and promoting Ada within its own community and towards the wider programming world. I think Ada is an extremely valuable technology, but that does not translate easily into a healthy and sustained growth, specially when there are other technologies out there w...
Ada Meetup - 2024 March
Переглядів 1145 місяців тому
Support us: www.patreon.com/ada_re Join Telegram: t.me/ada_lang The Ada Meetup is held during the first few days of (mostly) every month. Attending is as simple as using a web browser - no additional software installation or registration is required. Join us! Link on related resources are on the forum: forum.ada-lang.io/t/ada-monthly-meeting/384/32 #ada #ada-lang #adalang
Has anyone found the downloadable slides? Do anyone know the full title/link for the UA-cam video mentioned?
Here are slides: irvise.xyz/AEiC-2024_Slides.zip
Nice..
This video deserves to trend
Nice one, I hope to be able to attend some future editions.
Yay, kernel in Ada! But: 11:50 these are ACLs, not capabilities. See the paper "ACLs don't" to understand the difference.
Promo`SM
I will have to try an updated Als with 2022 support. vscode is good but I stil prefer gnat studio. Thanks.
Text to speech? Why?
To see if this is better accepted then my non-native pronunciation.
@@ada-maximized You need to split words like OpenGL to get better pronunciation.
@@ada-maximizedI stopped watching half way through because I couldn’t work out what half the words were supposed to be.
you can turn subtitles on
Does VisualAda work on VS for the Mac 2022?
I have no idea. You can ask the author (Alex Gamper) on comp.lang.ada or marketplace. groups.google.com/g/comp.lang.ada/c/4yM4TfPtI0c/m/n2bN4tl0BgAJ
Just became a fan! This content desperately needs 'Promosm'!