Racket seems to have a critical mass of mindshare: tons of accomplished lispers building some amazing PL features. I need to use it more.
miniblog.
Related Posts
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!
