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