To be a better programmer, write little proofs in your head (2025)blog.get-nerve.com3 pointsbirdculture3 months ago