Dec 10 2025 o be a better programmer, write little proofs in your head

Train yourself to sketch small, continuous proofs about your code to design faster, more accurate software and measure its "proof-affinity."