Why Programmers Should(n't) Learn Theory
pathsensitive.com