Top Tweets for #Adaprogramming
Ada-France sera présent au salon @OSXP_Paris les 9 et 10 décembre prochain. Venez nombreux et nous vous partagerons pourquoi nous aimons bien ce langage (mais les autres aussi!)
#adaprogramming
https://t.co/Z56kn3Loyh
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
https://t.co/lcw2tvSGdw
@noncomplianz @MyNamesGuy @abhi__br You don't have to be "old" to have used the #AdaProgramming language, as it is being used (a lot) up to today and the foreseeable future! #Ada83 #Ada95 #Ada2005 #Ada2012 #Ada2022 Been there, done that!
@SilasOnLinux @IrrenWirr @DoctorGester @LukasHozda 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
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!
https://t.co/3abbKmD7FY
https://t.co/mXfuaJ0zO6
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
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!" ;-)
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: https://t.co/hjx8VLkcLU
#ISO26262
Register now for #AEiC2025, #AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, #tutorials Tue, packed program Wed-Thu, #workshops Fri, enjoy social events/sightseeing! https://t.co/1AnBladNVk #AdaProgramming
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! https://t.co/QYnhkJK7rZ
#AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, experience packed program in exciting city, benefit from #tutorials (Tue), join #workshop (Fri), enjoy social events! https://t.co/PAlcp54uw0 #AdaProgramming
The referenced blog "How Does Ada's Memory Safety Compare Against Rust?" is interesting reading (also) for users of the #AdaProgramming language...
Sunny last hours at #FOSDEM2025 after end of #AdaDevRoom and meeting with fellow #Adaists. Thanks to all presenters! Stay tuned for the video recordings... #AdaProgramming
"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
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
@AntLobach @agriffini @nicbarkeragain 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...
#AdaEurope Conference on Reliable Software Technologies #AEiC2025, #Paris, #France, 10-13 June 2025, extended journal-track deadline 7 Feb (3+ weeks remain), more info at https://t.co/1AnBladNVk #AdaProgramming
Programming in Ada 2022 (@CambridgeUP) by John Barnes, a founder member of the Ada design team, is today's selection by @bookwatchiprog. https://t.co/ftR40nKGD6
Most Popular Users
Elon Musk 
@elonmusk
241.2M followers
Barack Obama
@barackobama
118.8M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.3M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.4M followers
Kim Kardashian
@kimkardashian
70.8M followers
YouTube
@youtube
68.7M followers
Neymar Jr
@neymarjr
66.4M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.2M followers
CNN
@cnn
61.7M followers
X
@x
60.6M followers