Jan 03, 2016

Edsger Dijkstra's work was almost entirely oriented towards breaking programmer intuition, emphasizing that we should reason /as/ the machine and eventually /ahead/ of the machine. http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF