lukeprog comments on Active AGI and/​or FAI researchers