tim comments on Optimizing optimizing LessWrong