Need to use a theorem prover in your #Ada program? Try AZ3, our Ada binding to the Z3 Theorem Prover. github.com/Componolit/AZ3 #AdaProgramming #FormalVerification
Ca y est, j'ai finalement pris le temps de mettre en ligne les conférences du meetup Ada de mai sur Peertube, histoire de ne pas tout avoir chez Google, et c'est là peertube.social/videos/watch/p… @joinpeertube @adafrance
I've just finished the creation of 95 @debian packages for my #AdaWebApplication framework! Binary packages are now available for @ubuntu #UbuntuLTS on my apt repository! #AdaProgramming
Time for a new #AdaWebApplication release with many improvements, bug fixes and @ubuntu packages available, checkout the page for full details and download links! #AdaProgramming is improving every day (or week-end for me)! blog.vacs.fr/vacs/blogs/pos…
ROS-Industrial Conference will give you the chance to see the newest technical developments. Such project is #RCLAda, which provides the tools and libraries that enable the use of the Ada language with the ROS2 API. Save the date and register here: rosindustrial.org/rosindustrial-…pic.twitter.com/kfh5Xl5dwi
Attention Ada Programmers! @thalesgroup France is looking for a #softwarearchitect in Rungis, France. Check out the full job post: jobs.thalesgroup.com/job/rungis/arc… #Adaprogramming #jobs
#Fuzzing is proven to be a suitable mechanism for finding code vulnerabilities. Alongside contributing our GCC plugin to the latest #AFLplusplus, find out how we're working on industrial grade fuzz testing solutions for #Adaprogramming. @hackerschoice blog.adacore.com/advanced-fuzz-…
I just completed "Operation Order" - Day 18 - Advent of Code 2020 adventofcode.com/2020/day/18 #AdventOfCode Rank 630 on Part Two 🙂. Done with Ada of course.
This is cool! Fabien from @AdaCoreCompany has ported BBQueue, my Rust library based on BipBuffers intended for use with DMA, to Ada/Spark!
I'm excited to see if this shakes out any issues or problems with the fundamentals or implementation :)
CC @utaal
github.com/Fabien-Choutea…