#adalanguage
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
December 8, 2025 at 11:33 PM
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.
December 6, 2025 at 9:04 PM
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
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...
www.just-auto.com
December 4, 2025 at 8:17 AM
AIMindUpdate News!
Safety-critical systems need a rock-solid language. Ada, conceived in the 70s, is surging in the Tiobe Index. Find out why!#AdaLanguage #TiobeIndex #SoftwareSecurity

Click here↓↓↓
aimindupdate.com/2025/07/14/a...
Ada Language: Tiobe Index Climb & Future Tech Trends
Ada's comeback: Discover why this secure language is surging in the Tiobe Index. Learn about its future potential.
aimindupdate.com
July 14, 2025 at 9:00 AM
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
December 10, 2024 at 5:31 PM
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
December 10, 2024 at 5:31 PM