A React developer builds a real app using formal verification. This is a chronological build log: the spec design, the integration hell, and what it subjectively felt like.
  • mEEGal@lemmy.world
    6 months

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

  • chaospatterns@lemmy.worldEnglish
    6 months

    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.