David Patterson — LessWrong