Ownership And Memory Safety
In this video, we'll explain how Ada could use the ownership mechanism to improve memory safety and make working with complex data structures more convenient.
Details: https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/149
@AdaProgrammers #AdaLanguage #adaprogramminglanguage #adalang
C (and C++) was *never* the correct solution for embedded development.
Чи можна використовувати формальні методи доказу коректності в низькорівневому коді драйверів пристроїв? Розбираємось у статті
Вступний епізод про мову програмування SPARK, де ми обговорюємо, що це таке і навіщо він потрібен, трохи історії та що увійде до серії в наступних епізодах.
Spotify: https://open.spotify.com/episode/0pRftjONwrX1CRGZbFLy3b?si=FrXKt5LYSKKcUWIiHYX9Ww
#SPARK #AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers
Після публікації видео "Updates on the Ada Ecosystem" с конференції FOSDEM 2025 на YouTube з'явився автоматичний дубляж, у тому числі українською:
J'ai oublié de vous dire mais Ada est maintenant dans le top 10 de l'index PYPL et est dans le top 20 de l'index Tiobe où, sur une année, il a gagné 8 places.
Du coup, il y a eu un article chez AdaCore qui montre où on trouve Ada et ce n'est pas forcément que dans l'aéro ou la défense.
Bon, ça n'a pas suffit pour avoir une place au FOSDEM encore cette année mais c'est pas grave.
https://www.adacore.com/blog/surprising-places-where-ada-is-used
https://www.ada-europe.org/archive/auj/auj-45-3-withcovers.pdf
A new issue of the Ada User Journal, "Volume 45 (2024)" has been made publicly available in the online archive. In addition to articles from the Ada Developers Workshop 2024 it includes a lengthy article on the verification of the embedded real-time control system for the Indian space rocket.
Software written in the secure subset of Ada 83 was converted to LLVM IR with Dragonegg, then verified with the llvmbmc tool.
Mechanisms for creating lock-free structures and algorithms in Ada 2022.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Механізми створення lock-free структур та алгоритмів в Ада 2022.
Вирази оголошення у Ada 2022.
Макс 🇺🇦
marocddot
Ada-France