timtyler comments on AGI/​FAI Theorist for Hire