Epigrams in Programming

  1. Dealing with failure is easy: Work hard to improve. Success is also easy to handle: You’ve solved the wrong problem. Work hard to improve.

  2. One can’t proceed from the informal to the formal by formal means.

  3. Purely applicative languages are poorly applicable.

  4. The proof of a system’s value is its existence.

  5. You can’t communicate complexity, only an awareness of it.