miniblog.

When Nvidia discusses choosing Ada for security critical software, they mention the cost of fuzzing (slide 17). It's an interesting argument: if the language gives you more assurances, you don't need so much compute to fuzz test! https://www.slideshare.net/AdaCore/securing-the-future-of-safety-and-security-of-embedded-software

Defining a subset of #[no_std] Rust, formally verifying it, and releasing it as 'Sealed Rust' for use in safety critical systems like automotive and avionics:

Racket seems to have a critical mass of mindshare: tons of accomplished lispers building some amazing PL features. I need to use it more.