LLMs are bad at vibing specifications (by hwayne) — discussion

#formalmethods #vibecoding