The next version of difftastic will support Ada!
miniblog.
Related Posts
I've released difftastic 0.46! In this release:
* Ada support
* Support for Arduino C++, better TOML handling, and a ton of upstream grammar updates
* Fixed several nasty corner cases with trailing whitespace or binary/UTF-16 confusion
TIL that Ada was the result of a language competition, seeking to replace the 450(!) programming languages in use at the department of defence: https://ocw.mit.edu/courses/aeronautics-and-astronautics/16-01-unified-engineering-i-ii-iii-iv-fall-2005-spring-2006/comps-programming/15_robertdewar.pdf
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



