Post

Joe Fabisevich
@mergesort.me

I don't say this lightly: this approach is clearly the future of software development. I have a blog post brewing that touches on the subject, but fuzz testing and formal verification at scale will make all software an order of magnitude better, safer, and more reliable.

anthropic.comLLMs are making formal software verification feasible at a much larger scaleClaude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
Davy
@davy.quest

I'm also convinced this is the future of software engineering. I've built github.com/yamafaktory/..., a Lean 4 proof service that lets coding agents verify properties of the code they write. I think this kind of feedback loop will become a standard part of agentic development.

github.comGitHub - yamafaktory/formal: A Lean 4 + Mathlib proof service for the agent working on your codeA Lean 4 + Mathlib proof service for the agent working on your code - yamafaktory/formal

0 reposts4 likes

No replies yet.