Bonne nouvelle ! Ada-France sera présent au village associatif @OSXP_Paris les 9 et 10 décembre prochain ! Venez nombreux : nous vous expliquerons pourquoi nous aimons les langages Ada et SPARK (mais les autres aussi !) #AdaProgramming
ada-france.org/adafr/blogs/p…
3
64
Not only the person writing the code needs to know what is going on, but also all those reading the code later (which often includes the original writer!), for example during maintenance and evolution of the code. #AdaProgramming #verbosity
3
19
En tant que promoteur d'un langage nommé en son honneur, comment ne pas rappeler l'anniversaire de cette grande dame
#AdaProgramming #AdaLanguage
Happy birthday, Lady Ada!
2025/12/10: birthday of Lady Ada Lovelace, born in 1815, 210 years ago, namesake of the #AdaProgramming language.
Happy Programmers' Day!
en.wikipedia.org/wiki/Ada_Lo…
en.wikipedia.org/wiki/File:A…
ALT Portrait of Ada Lovelace (1838)
3
47
Hear, hear! #AdaProgramming
If Ada Lovelace could see the programming language named after her today, she’d probably be amazed. 🤓
Over a 100 years after her early ideas about computers, the Ada language still reflects what she stood for, clear thinking, planning ahead, and creativity in problem-solving.
#AdaLovelace #WorldsFirstProgrammer #WomenInTech #ProgrammingHistory #AdaLanguage #STEMPioneer
1
2
33
Members of the #AdaProgramming language community met yesterday, in a "tropical" Paris and online, at the 2nd Ada Developers Workshop #AdaDevWS held at the 29th #AdaEurope International Conference on Reliable Software Technologies #AEiC2025. "And there was much rejoicing!" ;-)
1
6
153
Important announcement about the #AdaProgramming and #SPARKprogramming languages and technologies for automotive software development.
We are thrilled to announce that AdaCore and @nvidia are working together to bring Ada and SPARK into the heart of safety-critical automotive software development.
NVIDIA has adopted these languages to support the creation of software components that meet ISO 26262 functional safety standards.
This collaboration brings together formally verifiable technologies and industry-leading hardware platforms to help ensure the safety, reliability, and long-term maintainability of next-generation vehicle systems.
Read the Press Release: lnkd.in/e8FE8Pbr
#ISO26262
2
5
56
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! cs.kuleuven.be/~dirk/ada-bel…
4
1
3
52
The referenced blog "How Does Ada's Memory Safety Compare Against Rust?" is interesting reading (also) for users of the #AdaProgramming language...
2
22
"Programming is child's play with AdaBots", last talk in this year's #AdaDevRoom at #FOSDEM2025.
More #AdaProgramming talks at the #AdaEurope conference mid June in Paris! #AEiC2025
1
4
73
Next slide read: "No, Ironclad is interesting *because* of Ada. You should try it." Operating Systems work in the #AdaProgramming and #SPARKprogramming languages. Now at #AdaDevRoom
1
4
39
Now at #AdaDevRoom: multiword arithmetic and parallel computing with the #AdaProgramming language
1
4
72
And #AdaProgramming language abstractions are very useful in non-safety-critical software as well. Together with the strong typing it allows developers to avoid many common errors that in other languages require tedious debugging sessions or operational crash investigations...
1
1
29
Programming in Ada 2022 (@CambridgeUP) by John Barnes, a founder member of the Ada design team, is today's selection by @bookwatchiprog. i-programmer.info/book-watch…
1
1
6
59
"Learning Ada with raytraced teapots", an introduction to the #AdaProgramming language experience report.
We’re excited to share a new blog post diving into Ada through a raytracing project inspired by Raytracing in One Weekend. Having implemented similar projects in Rust and C++, this was an opportunity to see how Ada’s strong type system, parallelism, and abstractions handle a familiar challenge.
Read the full blog here: blog.adacore.com/learning-ad…
1
5
90
Hear, hear! The #AdaProgramming language is a good teaching language.
3
148
2024/12/10:
Birthday of Lady Ada Lovelace, born in 1815, namesake of the #AdaProgramming language.
Happy Programmers' Day!
#AdaEurope #AdaBelgium
en.m.wikipedia.org/wiki/Ada_…
2
5
52
Soon a new edition of #AdventOfAda starts, once more with extra motivation to use the #AdaProgramming or #SPARKprogramming languages!
🎉 This holiday season, join us for the third edition of Advent of Ada—a programming challenge where your coding skills make a difference! 🌟 You'll tackle daily coding exercises from December 1st to 25th, but with a twist that gives back.
👩💻 Use Ada or SPARK in your solutions, and AdaCore will donate to the Ada Developers Academy—$10 for each Ada solution and $20 for SPARK solutions proven to be free of runtime errors, up to $5,000.
👉 Learn more and join the challenge: blog.adacore.com/announcing-…
#AdventOfAda
2
3
112