The 2023 Stack Overflow survey is live. We are happy to see Ada listed in options for programing languages for the first time! Don't hesitate to fill the survey and show you love of Ada/SPARK 😍

https://stackoverflow.blog/2023/05/08/the-2023-developer-survey-is-now-live

Complete the adabots challenge to win a BBC micro:bit 🏆 #fosdem #AdaLang

The Ada/SPARK community is at FOSDEM this weekend. Stop by the Ada-Europe booth (Building K, level 2) to have a chat 👍#FOSDEM #AdaLang

4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award

And https://careers.consafelogistics.com/jobs/1672627-senior-system-developers-with-automation-expertise

Two open Ada developers positions at Consafe Logistics: https://careers.consafelogistics.com/jobs/1674352-astro-wcs-system-developer #Ada #AdaProgrammers

Submissions for the Ada, SPARK and embedded Alire crates of the year are open until December 31st. Doesn't have to be a project you started in 2022, any project in the Alire ecosystem can participate.

https://github.com/AdaCore/Ada-SPARK-Crate-Of-The-Year

#Ada #SPARK #MakewithAda #CrateOfTheYear

#introduction Hello fediverse, we are a group of Ada aficionados (working for AdaCore) and our goal here is to share news and info about Ada/SPARK, or reblog related content. From time to time we may post a meme or two but don't count on it ;)

Don't hesitate to tag us if you have Ada/SPARK content to share.

with Ada.Text_IO;

procedure Hello is
begin
Ada.Text_IO.Put_Line ("Toot!");
end Hello;

#Ada #SPARK #MakewithAda