B blog.adacore.com Should I choose Ada, SPARK, or Rust over C/C++? (2024) 111 points 1vuio0pswjnm7 1 year ago 166 comments
