lukeprog comments on MIRI Research Guide