lukeprog comments on Why I’m donating to MIRI this year