🚨 PSA for Ada & SPARK programmers: tis the season to be giving so we're joining the Advent of Code fun🧑🎄! Each time someone completes 1 of the challenges in the
#Adaprogramming language, we'll donate $10 & if it's in SPARK $20, to @adaacademy up to $5k - blog.adacore.com/tis-the-season…pic.twitter.com/Cqu99jmW0q
AdaCore is looking for an intern eager to explore the future of #WebAssembly in Ada/SPARK! I opened this position (and will be supervising it) because I believe wasm will bring so many exciting possibilities for Ada/SPARK. Formally verified Web
anyone? app.hellotalent.com/Vacancy/webass…
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