lukeprog comments on Optimizing optimizing LessWrong