Tradeoffs in Complexity, Abstraction, and Generality
lesswrong.com