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
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/0…