If programming is theory-building, then what is vibe-coding?