Formally Verifying the Easy Part
brainflow.substack.com
A field report on formal verification, AI-generated code, and where the real bugs live.

Some issues can be prevented when vibe-coding, but LLMs find a way of messing up anyway.