Comment by timschmidt
1 day ago
Most people don't bother with formal verification because it costs extra labor and time. LLMs address both. I've been enjoying working with an LLM on Rust projects, especially for writing tests, which aren't the same as formal verification, but it's in the same ballpark.
Vibe-coding tests is nowhere near formal verification.
not even close to being in the same ballpark