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
miniblog.
Related Posts
2
I think you could build an interesting IDE with a tiny embedded LLM in addition to the usual tooling.
Features like 'extract method' would be much nicer if an LLM could provide a name. Choosing a good name is virtually impossible from just a typed AST.
7
Blogging about my programming language project: choosing the basic syntax!
144
I'm still tinkering with the website for my PL experiment. I want the styling to express "labour of love hobby project".
Choosing what program to show on the home page is really hard too. All the keywords are links like Racket.
What do you think?
