463 points Jul 15, 2025 To be a better programmer, write little proofs in your head 167 comments mprast ghost.io