So8res comments on MIRI’s technical research agenda