Tradeoffs in complexity, abstraction, and generality — LessWrong