To be a better programmer, write little proofs in your head 1 year agoTook the course last year, and I started to appreciate it more while taking functional programming lmao 0ThreadHN