All posts
- 11 липня 2026 - Розуміння "спотворення" (mangling) імен в Ada
- 28 червня 2026 - Сертифікація багатоядерних систем за допомогою Ada
- 23 травня 2026 - Розв'язання судоку за допомогою AdaSAT
- 18 березня 2026 - Ніколи не використовуйте Float або Integer
- 15 березня 2026 - Важливість концепції власності для досягнення безпеки памʼяті
- 16 лютого 2026 - Формальний доказ на драйверах пристроїв за допомогою SPARK
- 09 лютого 2026 - Серія відео про можливості Ada 2022
- 07 січня 2026 - Мережевий стек IP в Ada 2012 та профіль Ravenscar
- 03 листопада 2025 - Оновлення MAVLink для Ada.
- 19 жовтня 2025 - Ada User Journal 2024/2 (червень)
- 05 жовтня 2025 - Ада: Мова, народжена з кризи.
- 08 травня 2025 - Подкаст україньскою
- 09 березня 2025 - Вступ до програмування вбудованих систем мовою Ada
- 17 лютого 2025 - Вибір середовища розробки для Ada
- 26 січня 2025 - Практичне введення в Alire
- 16 вересня 2024 - Ласкаво просимо на Ada Ukraine!