Are they writing formal verification software that will save lives… or are they playing some complicated text adventure game that happens to run in emacs and just look like Haskell code?

via Michael O. Church | Rants, essays, and diatribes..