[deleted] comments on MIRI’s technical research agenda