Ada Programmers
@adaprogrammers
Write in Ada, make better software! https://fosstodon.org/@AdaProgrammers Account maintained by some people from @AdaCoreCompany. #MakewithAda
Was dir gefallen könnte
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
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: blog.adacore.com/learn-2023-upd… #ada
Any debate about programming language safety that does not mention Ada is moot.
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! blog.vacs.fr/vacs/blogs/pos…
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/stcarrez/swagg…
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. blog.vacs.fr/vacs/blogs/pos…
Announcing Ada binding to the wolfSSL library dlvr.it/St8WjP
wolfssl.com
Announcing Ada binding to the wolfSSL library
Today we are happy to announce the availability of an Ada/SPARK binding that enables Ada applications to use post-quantum TLS 1.3 encryption through the wolfSSL embedded SSL/TLS library. It opens the...
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 😍 stackoverflow.blog/2023/05/08/the…
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear blog.adacore.com/announcing-the…
🚨 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…
fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda
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…
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 👉 bit.ly/3eihaJg 🎉 Venez les rencontrer et participer aux différentes animations : bit.ly/badge-osxp22 #OSXP2022 #logiciellibre #opensource @HubOpenSource
Another industrial user of the #AdaProgramming language. adacore.com/papers/ada-at-…
adacore.com
Ada at ITEC: Real-Time Control over Complex Semiconductor…
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
3 months until the end of Ada/SPARK Crate of The Year 2022. Tell us what cookin' 🍳 #Ada #SPARK github.com/AdaCore/Ada-SP…
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
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! adacore.com/papers/masten-… #Adaprogramminglanguage
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.
United States Trends
- 1. Happy Birthday Charlie 30.8K posts
- 2. Good Tuesday 25.7K posts
- 3. #tuesdayvibe 2,680 posts
- 4. #Worlds2025 33.2K posts
- 5. #T1WIN 15.4K posts
- 6. Pentagon 70K posts
- 7. Martin Sheen 5,922 posts
- 8. Romans 10.5K posts
- 9. Blinken 24.6K posts
- 10. Dissidia 5,061 posts
- 11. Time Magazine 15.1K posts
- 12. JPMorgan 11.7K posts
- 13. Jake Moody 14.7K posts
- 14. Trump's Gaza 136K posts
- 15. #srchafreen 284K posts
- 16. Snell 25.9K posts
- 17. Benin 96.9K posts
- 18. Jayden 24K posts
- 19. Alec Baldwin 7,308 posts
- 20. Conquered 30.1K posts
Was dir gefallen könnte
-
Green Hills Software
@GreenHillsPR -
Laurie Desorgher
@LaurieDesorgher -
AdaLabs
@AdaLabs -
Paul Hooper
@PaulHooper3 -
Tucker Taft
@sttaft -
code::dive
@code_dive_pl -
Augustin Popa
@augustin_popa -
Stephane
@StephaneCarrez -
High Integrity Software Conference
@HISC_conf -
Wojciech Muła
@pshufb -
Aaronn Electronic GmbH
@aaronngmbh
Something went wrong.
Something went wrong.