To be a better programmer, write little proofs in your head (2025)

The article advocates for mentally sketching informal proofs while coding to verify correctness on the fly. It highlights monotonicity as a key reasoning tool, illustrating how checkpointing, journaling file systems, write-ahead logs, and LSM trees all leverage the principle that processes move in only one direction, making correctness easier to reason about.