On the cruelty of really teaching computing science (Dijkstra)
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