Fernanda Graciolli

Getting AI to write code correctly the first time @midspiral_ai.

Twitter is for the unhinged. If you want my serious takes, find me on LinkedIn.

[Fernanda Graciolli @heyyfernanda]

https://t.co/aF9MKZ8knz

[Fernanda Graciolli @heyyfernanda]

@feifei_qiu Absolute cinema

[Fernanda Graciolli @heyyfernanda]

I'm coming back to twitter to talk about formal verification in AI-assisted dev. Do we still use hashtags?

[Midspiral @midspiral_ai]

"move fast and break things" was invented by people who didn't know you could move fast and prove things

[Fernanda Graciolli @heyyfernanda]

@wongmjane @claudeai Skimping on the green pepper

[Fernanda Graciolli @heyyfernanda]

@valsopi i didn't know hands could just fall off your wrist like that! ouch. wishing you a quick and easy recovery Val!

[Fernanda Graciolli @heyyfernanda]

From Intent to Proof: Dafny Verification for Web Apps
https://t.co/FIfokC3GeK

[Fernanda Graciolli @heyyfernanda]

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

[Fernanda Graciolli @heyyfernanda]

@emmanuel_s @bubble Aw man! I was looking at the wrong date. Pass it on to the next person. Next time!

[Fernanda Graciolli @heyyfernanda]

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

[Fernanda Graciolli @heyyfernanda]

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 🧵

[Fernanda Graciolli @heyyfernanda]

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.

[Fernanda Graciolli @heyyfernanda]

This website was generated in one shot by my new AI platform. Do you have something launching soon? If you want access, DM me.

https://t.co/if0Amo7nkU

[Fernanda Graciolli @heyyfernanda]

@brianball Sweeeet thank you!

[Fernanda Graciolli @heyyfernanda]

@brianball Heck yeah. I want to fork it and use it for myself.