Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification — Mitchell & Shaaban (2025)
“Vibe coding” — the practice of developing software through iteratively conversing with a large language model (LLM) — has exploded in popularity within the last year. However, de- velopers report key limitations including the accumulation of technical debt, security issues, and code churn to achieve satisfactory results. We argue that these pitfalls result from LLMs’ inability to reconcile accumulating human-imposed constraints during vibe coding, with developers inadver- tently failing to resolve contradictions because LLMs pri- oritize user commands over code consistency. Given LLMs’…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.