Qiaochu_Yuan comments on Why GiveWell can’t recommend MIRI or anything like it