This beautiful machine is the Rational R1000 Development System! Introduced in the 1980s by Rational Machines, it was a specialized mainframe-sized workstation and software environment designed for developing large-scale systems in the Ada programming language. The system includes the R1000 processor unit (the tall tower on the right) and the Rational Environment, an interactive, lifecycle-oriented Ada development platform running on the monitor you see on the desk. Caption also on the image, but I did not want to edit it out :) The R1000 was micro-coded with an instruction set made up of Ada language primitives, making it a highly specialized “Ada machine” optimized from the hardware level up for that programming language. Production of this machine was really limited and being as it was quite some time ago, there's not many left in the wild. Have you seen it in person? en.wikipedia.org/wiki/Ration… datamuseum.dk/wiki/Rational/… (a later version) #RetroTech #VintageTech #AdaProgramming

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!

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

Hear, hear! #AdaProgramming

Namanya juga Banser Ban Serep dipake saat darurat dan Kantong kempes...#AdaWong #adaprogramming dari Atas.

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.

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! ada-europe.org/conference202… #AdaProgramming

#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! cs.kuleuven.be/~dirk/ada-bel…

#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! ada-europe.org/conference202… #AdaProgramming

🔐 Safer software starts with safer languages. In safety-critical systems, there's no room for ambiguity. Discover how Ada’s strong typing, readability, and reliability make it a powerful ally in reducing software-related risk. Explore how Ada helps developers write robust, maintainable code from day one. 📖 Read the blog: blog.adacore.com/safer-with-… #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

Now at #AdaDevRoom: multiword arithmetic and parallel computing with the #AdaProgramming language

#Rust trying to catch up with the #AdaProgramming language, now at the #AdaDevRoom

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 ada-europe.org/conference202… #AdaProgramming