On: To be a better programmer, write little proofs in your head

[monkeyelite]

The most basic idea of a proof is an argument for why something is true. It’s not about avoiding small mistakes, it’s about getting directionally correct.