Don't miss the second edition of our programming competition: the 2022 Ada/SPARK Crate Of The Year Award! Submit a software project on GitHub and you might be one of the lucky winners 🎁 All the details on blog.adacore.com/announcing-the… #programminglanguages #softwaredevelopment
@sjvn @smouton @ZDNET @rustlang I have been using Ada for just over 14 months (primarily embedded work). I chose it over Rust actually and it is now my favourite language. I probably only use a fraction of it but it is very neat.
Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems. twitter.com/AdaCoreCompany…
Alexandre Olivia of @AdaCoreCompany kicks off the second stream of @gnutools Cauldron 2022 with a look at future hardening features in GCC. This stream is also on YouTube: youtu.be/4Ya1-fmQk0Ipic.twitter.com/c7W6LrRP9G
@embedsys @adaprogrammers The #AdaProgramming language not only shines in low-level applications (cf section 1.2), but also in many other domains such as control systems, and large and/or complex and/or long-lived systems. Ada truly shines as a general-purpose language!
Access the GNAT Academic Program workshop videos to learn about Ada and SPARK teaching methods and research projects! If you’re a computer science professor, these videos are for you! youtube.com/playlist?list=…
#Adaprogramming #formalmethods #softwaredevelopment #computerscience
Today, almost every product and service makes use of computers in some way. So then, what are the best programming languages to learn?
indianext.co.in/top-10-hot-pro…
#Ada #Haskell #JavaScript #programminglanguages #Python
@JeremyGrosser won the Best Presentation Award for his talk on this topic at #AdaEurope's Int'l Conference on Reliable Software Technologies #AEiC2022, held mid June in #Ghent, #Belgium. Congratulations! ada-europe.org/conference2022…twitter.com/JeremyGrosser/…
