MIRI's technical agenda: an annotated bibliography, and other updates — LessWrong