Nicholas / Heather Kross comments on Where are the people building AGI in the non-dumb way?