gwern comments on MIRI strategy