To be a better programmer, write little proofs in your head (2025) (via mt) — discussion
#practices #programming
