x
Announcing MIRI’s new CEO and leadership team — LessWrong