Surprising Places Where Ada Is Used Ada has entered the top 10 of the PYPL index, reflecting renewed interest in a language long associated with safety-critical and real-time systems. While…

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. Et 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.

tinyurl.com/2u4rhc6f
#adaLanguage #ada

I've completed "Playground" - Day 8 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/8

Now it's picking up a bit. Run time for my part 2 solution is around 101 ms, more than 1000x yesterday's solution.

#Ada #Adalanguage

And it's so refreshing to solve these in #AdaLanguage again (which I currently don't program in otherwise), and also to try out those neat Ada 2022 improvements.

Meeting ASIL C and D with Formal Methods - Just Auto Zenseact develops world-leading safety software for passenger cars. As an AI and software company dedicated to revolutionizing car safety, Zenseact designs the complete software stack for autonomous d...

Après NVidia, c'est Zenseact, une startup issue de Volvo qui fournit des logiciels pour voitures autonomes, qui choisit Spark pour ses développements.

Nous, on trouve que c'est une bonne idée :)

www.just-auto.com/sponsored/me...

#spark #ada #adalanguage #formal_methods

Announcing Advent of Ada/SPARK 2025: Coding for a Cause! Advent of Ada/SPARK is back! Solve Advent of Code 2025 challenges in Ada/SPARK and help us raise up to $5,000 for Ada Developers Academy.

C'est reparti pour le "calendrier de l'avent" en Ada !!

www.adacore.com/blog/announc...

#ada #adalanguage #contest #programming

Diseñado originalmente por un equipo de científicos dirigidos por el francés Jean Ichbiah con la idea de remplazar los más de 450 lenguajes usados por todo el Dpto. de la Defensa de EEUU. Lleva este nombre en honor a Ada Lovelace
#retrocomputingmx #adalanguage #programming

El 10 de diciembre de 1980 se presenta el Manual del Lenguaje ADA, el lenguaje de programación de alto nivel estructurado de tipo estático y orientado a objetos, que tomó inspiración del Pascal y Algol
#retrocomputingmx #adalanguage #programming