Dans un mois, ce sera le début de la 30ème conférence sur les technologies de logiciels sûrs AEiC.
Elle aura lieu cette année en Suède à Västerås.
Il y aura des tutos sur Ada et Spark, des présentations sur Ada mais aussi Rust et plein d'autres sujets...
https://www.ada-europe.org/conference2026/index.html

#ada #adalanguage #conference

Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.

Are there any languages that were originally written in Ada?

#Ada #AdaLang #AdaLanguage #bootstrapping

Переклав вам статтю "Never use Float or Integer". Яка мені видалася досить цікавою. Посилання на оригінал на початку перекладу.

https://ada-ukraine.github.io/posts/never_use_float_or_int.html

#AdaLanguage #AdaLang #programming #100дописівукраїнською

Ownership And Memory Safety

In this video, we'll explain how Ada could use the ownership mechanism to improve memory safety and make working with complex data structures more convenient.

https://youtu.be/PniV9kAx7Ys

Details: https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/149

@AdaProgrammers #AdaLanguage #adaprogramminglanguage #adalang

C (and C++) was *never* the correct solution for embedded development.

#forth #adaLanguage

Чи можна використовувати формальні методи доказу коректності в низькорівневому коді драйверів пристроїв? Розбираємось у статті

https://ada-ukraine.github.io/posts/spark_for_drivers.html

#adaprogramminglanguage .
#AdaLanguage #adalang

Вступний епізод про мову програмування SPARK, де ми обговорюємо, що це таке і навіщо він потрібен, трохи історії та що увійде до серії в наступних епізодах.

Spotify: https://open.spotify.com/episode/0pRftjONwrX1CRGZbFLy3b?si=FrXKt5LYSKKcUWIiHYX9Ww

#SPARK #AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers

Після публікації видео "Updates on the Ada Ecosystem" с конференції FOSDEM 2025 на YouTube з'явився автоматичний дубляж, у тому числі українською:

https://youtu.be/29qeBR4QupQ

#AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers

J'ai oublié de vous dire mais Ada est maintenant dans le top 10 de l'index PYPL et est dans le top 20 de l'index Tiobe où, sur une année, il a gagné 8 places.

Du coup, il y a eu un article chez AdaCore qui montre où on trouve Ada et ce n'est pas forcément que dans l'aéro ou la défense.

Bon, ça n'a pas suffit pour avoir une place au FOSDEM encore cette année mais c'est pas grave.

https://www.adacore.com/blog/surprising-places-where-ada-is-used

#adaLanguage #ada @AdaProgrammers

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.

#AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers