Definition
Plain language
Writing software by loosely describing what you want to an AI and accepting whatever it produces, without carefully checking the result.
As stated in the literature
An informal practice of generating code from natural-language intent via an LLM with minimal specification or verification; contrasted in verified-systems work with formally checked synthesis.
Why it matters: It makes software creation fast and accessible, but skipping verification means bugs and security flaws can slip through unnoticed.
For example, a person tells an AI 'make me a website with a contact form' and ships whatever it produces without reading the code or testing it carefully.
Heard on the show
“If you feed it natural-language descriptions instead of formal specs — what people are calling vibe coding — it passes zero of four.”Episode 075 — Growing Code and Proof Together: Verified Systems in Ten Hours Instead of a Year