[GoLUG] Nvidia adopts Ada SPARK

[Steve Litt]

Remember when I gave an Ada presentation and said it's too bad the
language was old and ignored? Well, it's baaaaack!

Nvidia is now using the SPARK subset of Ada to build some of its
software, and according to the following article, with great success:

https://www.wevolver.com/article/nvidia-adoption-of-spark-ushers-in-a-new-era-in-security-critical-software-development

See also:

https://www.businesswire.com/news/home/20250604771878/en/Ada-and-SPARK-enter-the-automotive-ISO-26262-market-with-NVIDIA

So Rust is now not the only ultra-safe language used in 2025. There's a
new kid in town, fresh from the 1980's!

I'm trying to get Ada guru Kevin Chadwick to give a GoLUG presentation
on Ada and SPARK.

SteveT

Steve Litt 
http://444domains.com