LobstersThe fall of the theorem economy https://lobste.rs/s/fid0x2 #formalmethods #math #vibecoding
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
José A. AlonsoReadings shared April 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/30-readings_shared_04-29-26 #AI4Math #Agda #Emacs #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
quint-connect: A model-based testing framework for Quint + Rust https://lobste.rs/s/ggptr5 #formalmethods #rust
https://github.com/informalsystems/quint-connect
https://github.com/informalsystems/quint-connect
The Final Form of Software Development https://lobste.rs/s/gcljqi #cryptography #formalmethods #vibecoding #virtualization
https://blog.zksecurity.xyz/posts/end-coding/
https://blog.zksecurity.xyz/posts/end-coding/
Lobsters [Unofficial]Illegal vs Unwanted States
https://fed.brid.gy/r/https://buttondown.com/hillelwayne/archive/illegal-vs-unwanted-states/
Illegal vs Unwanted States https://lobste.rs/s/szrxqe #formalmethods
https://buttondown.com/hillelwayne/archive/illegal-vs-unwanted-states/
https://buttondown.com/hillelwayne/archive/illegal-vs-unwanted-states/
"Why not just use Lean?"
https://fed.brid.gy/r/https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
"Why not just use Lean?" https://lobste.rs/s/d27llp #formalmethods
https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
What works and doesn't selling formal methods in industry. ~ Mike Dodds. https://youtu.be/Z2bTpsO4fcc #FormalMethods
[Berkeley Seminar] Mike Dodds (Galois) | What works and doesn't selling formal methods in industry
Marce CollSome notes around the language I'm building: https://dziban.net/posts/yabu/ in the spirit of my old Explorative Programming essay. Quite worried about all the slop and terrible code being generated, but at the same time I feel like there is no escaping this tools in the future for most people. What if we had better tools?