Should I choose Ada, SPARK, or Rust over C/C++? (2024)(blog.adacore.com)85 points by 1vuio0pswjnm7 1 year ago | 90 comments
Ada and SPARK enter the automotive ISO-26262 market with Nvidia(adacore.com)102 points by gneuromante 1 year ago | 60 comments
Introduction to Ada: a project-based exploration with rosettas(blog.adacore.com)184 points by jaypatelani 1 year ago | 46 comments
Nvidia Security Team: “What if we just stopped using C?” (2022)(blog.adacore.com)272 points by transpute 1 year ago | 153 comments
Open-Source Ada: From Gateware to Application(blog.adacore.com)50 points by Bogdanp 11 months ago | 9 comments
Comparing the 1970's Cray-1 supercomputer against the Raspberry Pi(blog.adafruit.com)70 points by mywacaday 2 years ago | 79 comments
