Вступний епізод про мову програмування SPARK, де ми обговорюємо, що це таке і навіщо він потрібен, трохи історії та що увійде до серії в наступних епізодах.
Spotify: https://open.spotify.com/episode/0pRftjONwrX1CRGZbFLy3b?si=FrXKt5LYSKKcUWIiHYX9Ww
#SPARK #AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers
Після публікації видео "Updates on the Ada Ecosystem" с конференції FOSDEM 2025 на YouTube з'явився автоматичний дубляж, у тому числі українською:
The video about the #Ada ecosystem (#FOSDEM 2025) was flooded with bots in the comments promoting a crypto currency. They probably reacted to the word "Ada"?
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.
Ada 2022: Declare expressions
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
В Ada 2022 атрибут T'Image застосовується до всіх типів, а не лише до скалярних, що робить його особливо корисним для налагодження.
Hacker News
Макс 🇺🇦