Should I choose Ada, SPARK, or Rust over C/C++? (2024)(blog.adacore.com)85 points by 1vuio0pswjnm7 1 year ago | 90 comments
Open-Source Ada: From Gateware to Application(blog.adacore.com)50 points by Bogdanp 11 months ago | 9 comments
Ada crate of the year 2024 announced(blog.adacore.com)87 points by LionelDraghi 1 year ago | 59 comments
Linux running on RISC-V emulated in Scratch(blog.adafruit.com)125 points by varun_ch 3 years ago | 27 comments
Nvidia Security Team: “What if we just stopped using C?” (2022)(blog.adacore.com)272 points by transpute 1 year ago | 153 comments
The National EUV Accelerator comes to Albany(research.ibm.com)40 points by sandwichsphinx 2 years ago | 38 comments
