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"?
#adaprogramming
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 застосовується до всіх типів, а не лише до скалярних, що робить його особливо корисним для налагодження.
In Ada 2022 the 'Image attribute is applicable to all types, not just scalar types, making it particularly useful for debugging purposes.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Як спростіть оператори присвоєння за допомогою символу цільового імені в Ada 2022.
Simplify assignment statements with a target name symbol in Ada 2022.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Контракти до типів вказівників на підпрограми.
Ada 2022: Contracts for Access-to-Subprogram Types.
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
В Ada 2022 можна використовувати ітератори для створення агрегатів масивів/контейнерів!
In Ada 2022, you can use iterators to create array/container aggregates!
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
У Ada 2022 з'явилися агрегати для контейнерів. Що це та як їх використовувати?
Ada 2022 introduces container aggregates. What are they and how do I use them?
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Навіщо до синтаксису Ada додали [квадратні дужки]? Продовжуємо разом розбиратись у стандарті Ada 2022!
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Why were [square brackets] added to Ada syntax? Let's continue exploring the Ada 2022 standard together!
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Ось кілька відео про можливості Ада 2022. Я викладатиму по одному, щоб не перевантажити вас. #ada2022 #programming #AdaProgramming #AdaLang #ada #AdaLanguage
I want people to use the new features of Ada 2022 more often. So I made a few short videos about them. I'll upload them one at a time so as not to overload you. (I used Gemini TTS for the voiceover. If you're AI alergic, skip ahead.)
#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst