Write in Ada, make better software! https://xitter.cf/t.co/0OdLbtrYZ6 Account maintained by some people from @AdaCoreCompany. #MakewithAda
Joined April 2016
- Tweets739
- Following488
- Followers1K
- Likes614
Ada Programmers retweeted
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
Ada Programmers retweeted
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-…
#ada
Ada Programmers retweeted
Any debate about programming language safety that does not mention Ada is moot.
Ada Programmers retweeted
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/post…
Ada Programmers retweeted
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/swagger-…
Ada Programmers retweeted
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/post…
Ada Programmers retweeted
Announcing Ada binding to the wolfSSL library dlvr.it/St8WjP
Ada Programmers retweeted
🚨 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-sea…
Ada Programmers retweeted
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/…
Ada Programmers retweeted
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
Ada Programmers retweeted
Another industrial user of the #AdaProgramming language.
adacore.com/papers/ada-at-it…
Ada Programmers retweeted
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-sp…
#Adaprogramminglanguage
Ada Programmers retweeted
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.
Ada Programmers retweeted
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-… #programminglanguages #softwaredevelopment
Ada Programmers retweeted
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-fmQk0I
Ada Programmers retweeted
I posted an English translation on reddit, I hope it's appropriate #ada #programming #FreeBSD #Ravenports reddit.com/r/ada/comments/x0…
Ada Programmers retweeted
The #AdaProgramming language not only shines in low-level applications (cf section 1.2), but also in many other domains such as control systems, and large and/or complex and/or long-lived systems. Ada truly shines as a general-purpose language!
Ada Programmers retweeted
The book "Introduction to Ada" learn.adacore.com/pdf_books/…