On Devin — LessWrong