Little X-mas hack: We applied formal verification to web apps
Vibecoders: Your state machine bugs can be made mathematically impossible
For the technically curious: LLM-assisted Dafny translation + proof generation verifies web app logic
Write-up in comment
For codebases you plan on pushing to prod or bringing in collab, you have to slow down and ask "How can I constrain AI to generate this correctly?"
Full post if you want to go deeper: https://t.co/APs1MNarWw
Also, Rubric: https://t.co/iCozwFJaBk
AI doesn't understand code architecture.
It's a pattern-matching engine. It doesn't infer principles and doesn't respect boundaries.
Thread on constraint-driven programming π§΅
Yes, it's initially harder. More expensive. Feels restrictive.
But it ensures the code AI generates today won't become the technical debt you're fighting tomorrow.
Architectural integrity must be guaranteed, not requested.