# content
What Happens to Software When Proof is Cheap? (via joomy) — discussion

#formalmethods #vibecoding #video