gwern comments on Vibe Coding Is Dead: Welcome to Software Mining