lukeprog comments on An onion strategy for AGI discussion