Search results for #AdaProgramming
Ada: The reliable choice for AI! Born from a need for safety, it's making a comeback in critical AI applications. Discover why! #AdaProgramming #AISafety best-ai-tools.org/ai-news/ada-th…
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 2 gautiersblog.blogspot.com/2025/07/writin… #AdaProgramming
@caballerobrah I'd like to, but Denver is a bit far from Europe for a seminar, even one about #AdaProgramming ... ;-)
@CXCarroll @CoolMaster312 @BenMillerise Small correction: the #AdaProgramming language is defined by an ISO standard, strictly speaking a joint ISO/IEC standard. #Ada2022
@laurentkempe @github It is an even more amazing language now! #AdaProgramming #Ada83 #Ada95 #Ada2005 #Ada2012 #Ada2022
Magazines pay attention to use of #AdaProgramming and #SPARKprogramming languages and technology in #automotive sector.
Magazines pay attention to use of #AdaProgramming and #SPARKprogramming languages and technology in #automotive sector.
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.
Important announcement about the #AdaProgramming and #SPARKprogramming languages and technologies for automotive software development.
Don't delay, register today! #AEiC2025 #AdaEurope #AdaProgramming
Don't delay, register today! #AEiC2025 #AdaEurope #AdaProgramming https://t.co/SCBWV8iZbh
Avez-vous pensé à vous enregistrer pour la conférence internationale sur les les technologies de logiciels sûrs ? Dommage vous avez raté le "early registration". La conférence aura lieu du 10 au 13 juin à Paris (registration.ada-europe.org/index.html ) #AEiC2025 #AdaEurope #AdaProgramming
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/conference2025 #AdaProgramming
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! cs.kuleuven.be/~dirk/ada-belg…
#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/conference2024 #AdaProgramming
@ididadev @kennemeyer Moreover, #AdaCore, the major vendor of compilers and tools for the #AdaProgramming language, develops and distributes its products as #OpenSource software, such as for example #GNAT, their Ada compiler that is fully integrated in #GCC. 2/2
@ididadev @kennemeyer The #AdaProgramming language and technology surely is appreciated by many in the Open Source Software community. For example, #FOSDEM, the main Open Source annual event in Europe, already featured 12 full-day s.c. "Developer Rooms" where lots of Ada projects were presented. 1/2
Hear, hear! Safer software with the #AdaProgramming language. Read the English translation of a recent Ada-Germany article.
Hear, hear! Safer software with the #AdaProgramming language. Read the English translation of a recent Ada-Germany article.
#AEiC2025 #AdaDevWS #AdaProgramming - Ada Developers Workshop - CfP reminder: forum.ada-lang.io/t/reminder-ada…
@realBoronk @LundukeJournal Hear, hear! I've seen the many benefits of the #AdaProgramming language and technology during decades of industrial software development.
@The_Tradesman1 Was the compiler for the #AdaProgramming language built by retargeting an existing compiler to the new microprocessor, or was it really in-house development from scratch?
@ea4eoz They might like programming in Ada though... ;-) #AdaProgramming #NotAnAcronym
