calebp99 comments on What is MIRI currently doing?