davekasten comments on Dave Kasten’s AGI-by-2027 vignette