To be a better programmer, write little proofs in your head
Summary
The article promotes 'proof-affinity'—writing mental proofs as you code to validate behavior. It covers monotonicity, pre-/post-conditions, and invariants, and it uses an example from Nerve to illustrate how to reason about changes and dependencies. It argues that practicing small proofs can improve code correctness and maintainability.