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

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