Do We Grow Software or Do We Design It?

Explores the contrast between organic 'growing' of software via vibe-coding and deterministic 'designing' via state machines and formal verification.