Vladimir_Nesov comments on What To Do: Environmentalism vs Friendly AI (John Baez)