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:

Trellis Modulation https://en.m.wikipedia.org/wiki/Trellis_modulation was a critical modem innovation: it made sending multimedia over telephone lines feasible!