So8res comments on MIRI’s technical agenda: an annotated bibliography, and other updates