Kaj_Sotala comments on MIRI’s technical research agenda