Ada Programmers
@adaprogrammers
Followers
1K
Following
659
Media
55
Statuses
771
Write in Ada, make better software! https://t.co/0OdLbtrYZ6 Account maintained by some people from @AdaCoreCompany. #MakewithAda
Joined April 2016
@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
0
1
5
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
adacore.com
Some time ago, we announced some updates to the learn website.In the meantime, we published the Introduction To Embedded Systems Programming course and…
1
5
18
Any debate about programming language safety that does not mention Ada is moot.
2
2
17
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
blog.vacs.fr
OpenAI has recently emerged, and its usage has increased in various areas. It was time to make it available to Ada programs using the Ada OpenAI library. The library provides an Ada API to make reques
0
6
15
@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
github.com
Ada support for OpenAPI code generator. Contribute to stcarrez/swagger-ada development by creating an account on GitHub.
1
1
5
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
blog.vacs.fr
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD and allows your program to read ELF sections, get access to the symbol table a
0
2
7
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
0
1
4
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear
adacore.com
We're happy to announce our the second edition of our programming competition, the Ada/SPARK Crate Of The Year Award! We believe the Alire package manager…
0
1
4
🚨 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
0
5
8
Two open Ada developers positions at @ConsafeLogistic:
1
0
2
https://t.co/2Xaq9RrjdS with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda
fosstodon.org
33 Posts, 91 Following, 137 Followers · Write in Ada, make better software! Account maintained by some people from AdaCore. #MakewithAda
0
1
2
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
AdaCore - Paris, France - Internship
1
3
7
Pour ceux qui n'auraient pas bien vu, nous serons à @OSXP_Paris les 8 et 9 novembre prochain 😊 #OSXP2022
🏘️Le Village associatif d'Open Source Experience réunira 18 Associations Professionnelles du Libre 👉 https://t.co/a6WXfFpYQL 🎉 Venez les rencontrer et participer aux différentes animations : https://t.co/7kAXrJ5U1c
#OSXP2022 #logiciellibre #opensource @HubOpenSource
1
4
9
Another industrial user of the #AdaProgramming language. https://t.co/G4wv9gFmED
0
2
3
merge conflicts in 1843
Ada Lovelace, the first programmer, begging her collaborator Charles Babbage, the inventor of the first general computer, not to mess with her math
15
352
2K
Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems.
"D2000, built using Ada, is the cornerstone of all IPESOFT's current and future activities." Find out how our customer was able to build reliable and long-lived systems using the Ada programming language and AdaCore's technologies! https://t.co/xzMwOs29SL
#Adaprogramminglanguage
0
4
8
