2 ms·To be a better programmer, write little proofs in your head (2025)3 points by birdculture 8mo ago