Ada Programmers

Write in Ada, make better software!

maintained by some people from @AdaCoreCompany. #MakewithAda

[🧡 Kyred * Fluffy Menace * 💜 @ShepKyred]

@radothebat Having had to program in Ada for a time, which is a VERY strongly typed language, it was nice having a lot of errors solved at compile time.

Having to write tests in python, i'm always wondering and looking up what type i'm expected to be passed

[AdaCore | Ada/C/C++ tools for critical software @AdaCoreCompany]

Exciting updates for our Learn.AdaCore website! We're bringing you enhanced tutorials, cutting-edge resources, and more to enrich your learning experience. Perfect for both new and seasoned programmers.

🔗 Read all about it: https://t.co/O62HauOASh

#ada

[Nicolas Martyanoff @nmartyanoff]

Any debate about programming language safety that does not mention Ada is moot.

[Stephane @StephaneCarrez]

I wanted to play with OpenAI in Ada programs so I wrote the OpenAI Ada library. I wrote one command line Chat-GPT example and another for image generation with DALL.E. Quite cool!
https://t.co/Z3vghrE8Qb

[Stephane @StephaneCarrez]

@oas_generator @wing328 This version also contains some improvement and fixes in the Ada code generator. I've integrated in the OpenAPI Ada library. Thx @wing328 https://t.co/tm3hIbhdYC

[Stephane @StephaneCarrez]

New version of Ada BFD, the Ada binding for the GNU Binutils BFD library. This version has an Alire crate, fixes support for recent Binutils versions. I've added some notes for the setup, reading the symbol table, finding the nearest line of an address.
https://t.co/WUtZ4cxGtF

[wolfSSL Embedded SSL/TLS; FIPS 140-3 @wolfSSL]

Announcing Ada binding to the wolfSSL library https://t.co/rJUOkeOCgU

[Ada Programmers @adaprogrammers]

The 2023 @StackOverflow 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://t.co/21APYnK1R1

[Ada Programmers @adaprogrammers]

4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear https://t.co/Qk7hrwLrib

[AdaCore | Ada/C/C++ tools for critical software @AdaCoreCompany]

🚨 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 - https://t.co/TipkwIULBu

[Ada Programmers @adaprogrammers]

@ConsafeLogistic And https://t.co/2Tpxtsdo12

[Ada Programmers @adaprogrammers]

Two open Ada developers positions at @ConsafeLogistic: https://t.co/Dbw3esCijn

[Ada Programmers @adaprogrammers]

https://t.co/2Xaq9RrjdS

with Ada.Text_IO;

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

#Ada #SPARK #MakewithAda

[N/A @DesChips]

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? https://t.co/h4Q7L345jM

[Ada France @adafrance]

Pour ceux qui n'auraient pas bien vu, nous serons à @OSXP_Paris les 8 et 9 novembre prochain 😊
#OSXP2022

[Dirk Craeynest @DirkCraeynest]

Another industrial user of the #AdaProgramming language.
https://t.co/G4wv9gFmED

[Ada Programmers @adaprogrammers]

3 months until the end of Ada/SPARK Crate of The Year 2022. Tell us what cookin' 🍳 #Ada #SPARK https://t.co/sDKsWfxqKd

[Molly White @molly0xFFF]

merge conflicts in 1843

[Dirk Craeynest @DirkCraeynest]

Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems.

[Kevin Chadwick @AstartesKC]

@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.