더 나은 프로그래머가 되려면 머릿속으로 간단한 증명을 해보라

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