When NVIDIA hired hackers to test the security of one of their applications written in SPARK / Ada for a Risk-V chip, they found a vulnerability in the RISC-V IVA instead!
How to Use Ada to Insulate Software from Hardware Updates
The Expressive Ada 2012 Challenge
AdaCore Technologies for Cyber Security
C++ versus Ada for safety critical software (I)
Ada/SPARK drone SW (In Russian)
awesome Ada list
Ada for the Embedded C Developer
Ada Web Application version 2.2.0
First beta release of Alire, the package manager for Ada/SPARK
PTC ObjectAda Version 10.2 for Linux
Developing for Cortex MCUs on a Raspberry Pi
Object Oriented Programming in Ada
Giving Ada a chance
A template repo
Video FOSDEM 2021: Proving heap-manipulating programs with SPARK
FOSDEM 2021: Adding contracts to the Ada standard libraries
Ada vs JS seamless interop with GraalVM/Truffle
Doubling the Performance of SPARKNaCl (again...)
Coding Ada: strings (iv) – unbounded to string
