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
HAC scripts replacing some Windows cmd and Linux bash scripts🥳... More soon in an upcoming blog post. pic.twitter.com/D4861dO3oP
Interesting statistics indeed about #SPARK #AdaProgramming! #CubeSat #VermontTech #CarlBrandon twitter.com/_dev_ice/statu…
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…
HAC Virtual Machine running bravely an Advent of Code Day 23 puzzle solution. On course for the iteration-heavy part it's better to use GNAT... More here: github.com/zertovitch/hac… pic.twitter.com/0dbWU0USWf
reddit.com/r/adventofcode… Total run time: 0.015 second (i5-9400 @ 2.9 GHz). Zero pointer, zero heap allocation: all on the stack!
Reclaimer labs Feather WB55 running it's first Ada program. More work on the BSP side needed. @JasonCerundolo pic.twitter.com/Eha4XxRi2V
Interesting statistics. Wondering if this can be true for #rustlang too :-) #programming #developmentProductivity #C #ADA pic.twitter.com/ywLgBAta1n
Login