Formal Verification: The Gap Between Perfect Code and Reality https://raywang.tech/2017/12/20/Formal-Verification:-The-Gap-between-Perfect-Code-and-Reality/
Good critique of how formal verification techniques can be extremely heavyweight. Also discusses (rather pessimistically) how it's important to know which parts are not verified
Related Posts
Would you rather run a formally verified application on top of a conventional kernel/compiler toolchain, or a conventional application on verified kernel/compiler toolchain? Why?
I'm still pleasantly surprised when difftastic does a good job. Here's an example I saw today: adding a new variable with or_else() is extremely readable!
Re-reading Situated Software https://web.archive.org/web/20040411202042/http://www.shirky.com/writings/situated_software.html I keep wondering what tools are best suited.
If you want to create a small tool for a community you know, how do you build it?
(My current thoughts are: something you know well, probably with a GC)