**domenuk** @dmnk@infosec.exchange · Nov 08, 2022, 11:24

**domenuk** @dmnk@infosec.exchange · Nov 08, 2022, 11:24

We all agree C is bad.
So, as the whole industry moves to #rust, the fine folks at #Nvidia also adopt... *checks notes* Ada Spark
https://blog.adacore.com/nvidia-security-team-what-if-we-just-stopped-using-c

**kemuri 🦀** @kemuri@social.cleverlibre.org · 2022-11-08T12:55:55Z

kemuri 🦀 @kemuri@social.cleverlibre.org

@dmnk
What's wrong with Ada SPARK? I only know AdaCore is also supporting Ferrocene, the embedded Rust spec.

**domenuk** @dmnk@infosec.exchange · Nov 08, 2022, 12:59

**domenuk** @dmnk@infosec.exchange · Nov 08, 2022, 12:59

domenuk @dmnk@infosec.exchange

**kemuri 🦀** @kemuri@social.cleverlibre.org · Nov 08, 2022, 13:08

**kemuri 🦀** @kemuri@social.cleverlibre.org · Nov 08, 2022, 13:08

kemuri 🦀 @kemuri@social.cleverlibre.org

@dmnk I see, glad to know Ada Spark is good too.