The optimal level of optimization is suboptimal — LessWrong