Nice article. There's been a backlash against formal correctness and verification in software, but fundamentals like asserting (or even just writing) invariant

Nice article. There's been a backlash against formal correctness and verification in software, but fundamentals like asserting (or even just writing) invariants can make almost everyone's code better.