Posted in 2026
Розуміння "спотворення" (mangling) імен в Ada
- 11 липня 2026
Ця стаття про "спотворення" імен в Ada, по суті, є документацією, витягнутою з
вихідного коду пакета
exp_dbug.ads
(commit 4da027d), переформатованою в Markdown для легшого читання.
Сертифікація багатоядерних систем за допомогою Ada
- 28 червня 2026
Хосе Ф. Руїс, червень 2026, CC-BY 4.0. Джерело.
Ніколи не використовуйте Float або Integer
- 18 березня 2026
переклад статті Never use Float or Integer, Марк Гермелінг, 18 березня 2026 р.
Важливість концепції власності для досягнення безпеки памʼяті
- 15 березня 2026
Автор: С. Такер Тафт (AdaCore)
Подія: ARG / IFIP WG 2.4, Саванна, Джорджія, березень 2026
Джерело: Презентація перед обговореннями пропозицій AI22-0148-1 та AI22-0152-1
Формальний доказ на драйверах пристроїв за допомогою SPARK
- 16 лютого 2026
Переклад статті Formal Proof on Device Drivers with SPARK
Aug 16, 2023
Серія відео про можливості Ada 2022
- 09 лютого 2026
Я підготував серію з 9 відео про можливості Ada 2022, де коротко й по суті розбираю нові мовні механізми — без зайвої теорії, з акцентом на практичне застосування.