Посидів сьогодні онлайн на Ada Developers Workshop, який є частиною AEiC 2025 — конференції, присвяченої мові 💻 , що проходить зараз у Парижі. Сподобалося, що там не тільки діди, а й молоді доволі багато.
Спочатку послухав про те, як чувак матчить ліцухи за шаблонами у своїй тулі spdx-tool. Можна, наприклад, пробігтися по всіх файлах і позаміняти заголовки з текстом ліцухи на
Потім подивився трохи на новий GUI-фреймворк — LibreFrame від контори, що займається хостингом чи чимось таким. Загалом нічого такого прям вау, але приклади коду сподобалися — дуже лаконічні й прості!
Далі чувак з тесли🚗 розповідав про написання програм на Ada під Zephyr OS ⌛️ — це така крихітна система реального часу, яку зараз часто крутять на всіляких 💻 ESP32. Щось доповідач там крутив разом 💻 , CMake 🤮 і Ada, але я знудився слухати.
Інший чувак розповідав про нову бібліотеку для рядків — UXString. Юнікод — це завжди біль, особливо для таких старих мов. Врешті у чувака вийшло 4 різні реалізації бібліотеки з різними базовими типами всередині😐 Але інтерфейс вийшов доволі зручний (бо надихався 💻 та 💻 ).
В іще одній доповіді мова йшла про bbt — інструмент для black-box-тестування, в якому тести пишуться природною (англійською) мовою. Насправді там Gherkin в Markdown. Якість самої тулзи наразі «інженерного рівня», так би мовити, хоча працювало! Мені сподобалося.
Пару доповідей про property-based testing і про імплементацію BZip2 я слухав у пів вуха — можна вважати, що пропустив.
Ну а наостанок чувак розповідав про створення марсохода на Ada. Раніше в блозі AdaCore вже була стаття на тему, але зараз розповіли трохи більше деталей (працює на🍓 -Pico, контролюється геймпадом від плейстейшна тощо). Робочий прототип можна прямо там на конфі подивитися. Плюс ще тіпок розповів про деякі інші демки й прототипи, які вони програмували на Ada: іграшкова залізна дорога, квадрокоптер Crazyflie, якась штука, яка малює маркером логотипи RISC-V 5️⃣ і AdaCore, а потім їх стирає, може ще щось.
У підсумку можу сказати, що прям вау-ефекту в мене не було від цієї події, але враження лишилися приємні. Звичайна така конфа нормальної спільноти навколо мови програмування. Шкода, що так мало людей про неї знають.
Якби я років 20 тому дізнався, що Ada досі не вмерла, може цей канал би називався Адамантій🦾 , а не Сіпласпластик 😂
Спочатку послухав про те, як чувак матчить ліцухи за шаблонами у своїй тулі spdx-tool. Можна, наприклад, пробігтися по всіх файлах і позаміняти заголовки з текстом ліцухи на
SPDX-License-Identifier: MIT
чи шо там у вас. Ще можна створювати шаблони власних ліцензій. Загалом цікаво доволі. Він токенізує шаблони й використовує TF-IDF для пошуку найбільш схожої ліцухи (схожість видає як число — косинус подібності). Я для схожих потреб зазвичай користувався REUSE-тулою, до якої маю низку нарікань.Потім подивився трохи на новий GUI-фреймворк — LibreFrame від контори, що займається хостингом чи чимось таким. Загалом нічого такого прям вау, але приклади коду сподобалися — дуже лаконічні й прості!
Далі чувак з тесли
Інший чувак розповідав про нову бібліотеку для рядків — UXString. Юнікод — це завжди біль, особливо для таких старих мов. Врешті у чувака вийшло 4 різні реалізації бібліотеки з різними базовими типами всередині
QString
з String
з В іще одній доповіді мова йшла про bbt — інструмент для black-box-тестування, в якому тести пишуться природною (англійською) мовою. Насправді там Gherkin в Markdown. Якість самої тулзи наразі «інженерного рівня», так би мовити, хоча працювало! Мені сподобалося.
Пару доповідей про property-based testing і про імплементацію BZip2 я слухав у пів вуха — можна вважати, що пропустив.
Ну а наостанок чувак розповідав про створення марсохода на Ada. Раніше в блозі AdaCore вже була стаття на тему, але зараз розповіли трохи більше деталей (працює на
У підсумку можу сказати, що прям вау-ефекту в мене не було від цієї події, але враження лишилися приємні. Звичайна така конфа нормальної спільноти навколо мови програмування. Шкода, що так мало людей про неї знають.
Якби я років 20 тому дізнався, що Ada досі не вмерла, може цей канал би називався Адамантій
Please open Telegram to view this post
VIEW IN TELEGRAM