x
On MIRI's new research directions — LessWrong