Retrospective: 12 [sic] Months Since MIRI — LessWrong