Building a React App with Formally Verified State (midspiral.com)
from cm0002@libretechni.ca to programming@programming.dev on 01 Jan 2026 15:55
https://libretechni.ca/post/644038

#programming

threaded - newest

mEEGal@lemmy.world on 01 Jan 2026 22:01 next collapse

You lost me at “Designing the Spec I fired up Claude Code and got to work.”

chaospatterns@lemmy.world on 02 Jan 2026 18:14 next collapse

Pretty cool. I played around with Dafny at work for some security-related software and I was pondering if Dafny could be effective for other problems like complex web-app state management or even more standard services.

Tetragrade@leminal.space on 02 Jan 2026 18:30 collapse

So proud of Claude for writing this app.