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