source: lobsters:story:hjr72q
subject: To be a better programmer, write little proofs in your head (2025)
https://blog.get-nerve.com/to-be-a-better-programmer-write-little-proofs-in-your-head/
source: lobsters:story:hjr72q
subject: To be a better programmer, write little proofs in your head (2025)
https://blog.get-nerve.com/to-be-a-better-programmer-write-little-proofs-in-your-head/