Cіпласпластик

Посидів сьогодні онлайн на Ada Developers Workshop, який є частиною AEiC 2025 — конференції, присвяченої мові 💻, що проходить зараз у Парижі. Сподобалося, що там не тільки діди, а й молоді доволі багато.

Спочатку послухав про те, як чувак матчить ліцухи за шаблонами у своїй тулі spdx-tool. Можна, наприклад, пробігтися по всіх файлах і позаміняти заголовки з текстом ліцухи на SPDX-License-Identifier: MIT чи шо там у вас. Ще можна створювати шаблони власних ліцензій. Загалом цікаво доволі. Він токенізує шаблони й використовує TF-IDF для пошуку найбільш схожої ліцухи (схожість видає як число — косинус подібності). Я для схожих потреб зазвичай користувався REUSE-тулою, до якої маю низку нарікань.

Потім подивився трохи на новий GUI-фреймворк — LibreFrame від контори, що займається хостингом чи чимось таким. Загалом нічого такого прям вау, але приклади коду сподобалися — дуже лаконічні й прості!

Далі чувак з тесли 🚗 розповідав про написання програм на Ada під Zephyr OS ⌛️ — це така крихітна система реального часу, яку зараз часто крутять на всіляких 💻 ESP32. Щось доповідач там крутив разом 💻, CMake 🤮 і Ada, але я знудився слухати.

Інший чувак розповідав про нову бібліотеку для рядків — UXString. Юнікод — це завжди біль, особливо для таких старих мов. Врешті у чувака вийшло 4 різні реалізації бібліотеки з різними базовими типами всередині 😐 Але інтерфейс вийшов доволі зручний (бо надихався QString з 💻 та String з 💻).

В іще одній доповіді мова йшла про bbt — інструмент для black-box-тестування, в якому тести пишуться природною (англійською) мовою. Насправді там Gherkin в Markdown. Якість самої тулзи наразі «інженерного рівня», так би мовити, хоча працювало! Мені сподобалося.

Пару доповідей про property-based testing і про імплементацію BZip2 я слухав у пів вуха — можна вважати, що пропустив.

Ну а наостанок чувак розповідав про створення марсохода на Ada. Раніше в блозі AdaCore вже була стаття на тему, але зараз розповіли трохи більше деталей (працює на 🍓-Pico, контролюється геймпадом від плейстейшна тощо). Робочий прототип можна прямо там на конфі подивитися. Плюс ще тіпок розповів про деякі інші демки й прототипи, які вони програмували на Ada: іграшкова залізна дорога, квадрокоптер Crazyflie, якась штука, яка малює маркером логотипи RISC-V 5️⃣ і AdaCore, а потім їх стирає, може ще щось.

У підсумку можу сказати, що прям вау-ефекту в мене не було від цієї події, але враження лишилися приємні. Звичайна така конфа нормальної спільноти навколо мови програмування. Шкода, що так мало людей про неї знають.

Якби я років 20 тому дізнався, що Ada досі не вмерла, може цей канал би називався Адамантій 🦾, а не Сіпласпластик 😂

Please open Telegram to view this post

VIEW IN TELEGRAM

👍15

www.tgoop.com/cpplastic/430

855 viewsJun 13 at 15:59

Посидів сьогодні онлайн на Ada Developers Workshop, який є частиною AEiC 2025 — конференції, присвяченої мові 💻, що проходить зараз у Парижі. Сподобалося, що там не тільки діди, а й молоді доволі багато.

Спочатку послухав про те, як чувак матчить ліцухи за шаблонами у своїй тулі spdx-tool. Можна, наприклад, пробігтися по всіх файлах і позаміняти заголовки з текстом ліцухи на SPDX-License-Identifier: MIT чи шо там у вас. Ще можна створювати шаблони власних ліцензій. Загалом цікаво доволі. Він токенізує шаблони й використовує TF-IDF для пошуку найбільш схожої ліцухи (схожість видає як число — косинус подібності). Я для схожих потреб зазвичай користувався REUSE-тулою, до якої маю низку нарікань.

Потім подивився трохи на новий GUI-фреймворк — LibreFrame від контори, що займається хостингом чи чимось таким. Загалом нічого такого прям вау, але приклади коду сподобалися — дуже лаконічні й прості!

Далі чувак з тесли 🚗 розповідав про написання програм на Ada під Zephyr OS ⌛️ — це така крихітна система реального часу, яку зараз часто крутять на всіляких 💻 ESP32. Щось доповідач там крутив разом 💻, CMake 🤮 і Ada, але я знудився слухати.

Інший чувак розповідав про нову бібліотеку для рядків — UXString. Юнікод — це завжди біль, особливо для таких старих мов. Врешті у чувака вийшло 4 різні реалізації бібліотеки з різними базовими типами всередині 😐 Але інтерфейс вийшов доволі зручний (бо надихався QString з 💻 та String з 💻).

В іще одній доповіді мова йшла про bbt — інструмент для black-box-тестування, в якому тести пишуться природною (англійською) мовою. Насправді там Gherkin в Markdown. Якість самої тулзи наразі «інженерного рівня», так би мовити, хоча працювало! Мені сподобалося.

Пару доповідей про property-based testing і про імплементацію BZip2 я слухав у пів вуха — можна вважати, що пропустив.

Ну а наостанок чувак розповідав про створення марсохода на Ada. Раніше в блозі AdaCore вже була стаття на тему, але зараз розповіли трохи більше деталей (працює на 🍓-Pico, контролюється геймпадом від плейстейшна тощо). Робочий прототип можна прямо там на конфі подивитися. Плюс ще тіпок розповів про деякі інші демки й прототипи, які вони програмували на Ada: іграшкова залізна дорога, квадрокоптер Crazyflie, якась штука, яка малює маркером логотипи RISC-V 5️⃣ і AdaCore, а потім їх стирає, може ще щось.

У підсумку можу сказати, що прям вау-ефекту в мене не було від цієї події, але враження лишилися приємні. Звичайна така конфа нормальної спільноти навколо мови програмування. Шкода, що так мало людей про неї знають.

Якби я років 20 тому дізнався, що Ada досі не вмерла, може цей канал би називався Адамантій 🦾, а не Сіпласпластик 😂