The fall of the theorem economy https://lobste.rs/s/fid0x2 #formalmethods #math #vibecoding
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
0
0
0
quint-connect: A model-based testing framework for Quint + Rust https://lobste.rs/s/ggptr5 #formalmethods #rust
https://github.com/informalsystems/quint-connect
1
0
0
"Why not just use Lean?" https://lobste.rs/s/d27llp #formalmethods
https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
1
0
0
LemmaScript: A Verification Toolchain for TypeScript via Dafny https://lobste.rs/s/4tuujf #formalmethods
https://midspiral.com/blog/lemmascript-a-verification-toolchain-for-typescript/
1
0
0
Building an Unverified Compiler with Agents https://lobste.rs/s/fkxdc8 #formalmethods #plt #vibecoding
https://www.basis.ai/blog/verified-compiler/
0
0
0
A sufficiently comprehensive spec is not (necessarily) code https://lobste.rs/s/u1fem9 #formalmethods #vibecoding
https://buttondown.com/hillelwayne/archive/a-sufficiently-comprehensive-spec-is-not/
1
0
1
Lean proved this program was correct; then I found a bug https://lobste.rs/s/wwr6zu #formalmethods #plt #security
https://kirancodes.me/posts/log-who-watches-the-watchers.html
2
0
0
How NASA Built Artemis II’s Fault-Tolerant Computer https://lobste.rs/s/nomyva #distributed #formalmethods #hardware #testing
https://cacm.acm.org/news/how-nasa-built-artemis-iis-fault-tolerant-computer/
1
0
1
Giving LLMs a Formal Reasoning Engine for Code Analysis https://lobste.rs/s/fu9wcm #formalmethods #vibecoding
https://yogthos.net/posts/2026-04-08-neurosymbolic-mcp.html
0
0
0
Validating Hare’s Sort Module using Symbolic Execution via @RunxiYu@social.treehouse.systems https://lobste.rs/s/yoq0e6 #formalmethods #plt
https://notes.8pit.net/notes/y7n8.html
1
0
0
Red-black tree in Lean 4 prover with everything proved https://lobste.rs/s/zd797w #formalmethods #plt
https://rentry.co/8sfon8ez
0
0
0
1
0
0
You've seen all posts