A programmer is someone who declares "I understand the problem so well that I can teach a computer to solve the problem, even for examples I have never seen bef

A programmer is someone who declares "I understand the problem so well that I can teach a computer to solve the problem, even for examples I have never seen before". If it's too hard for a programmer to reason about, I wouldn't trust the programmer sitting next to him to automate the problem away.