Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
"Why not just use Lean?" https://lobste.rs/s/d27llp #formalmethods
https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
LemmaScript: A Verification Toolchain for TypeScript via Dafny https://lobste.rs/s/4tuujf #formalmethods
https://midspiral.com/blog/lemmascript-a-verification-toolchain-for-typescript/
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
Building an Unverified Compiler with Agents https://lobste.rs/s/fkxdc8 #formalmethods #plt #vibecoding
https://www.basis.ai/blog/verified-compiler/
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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/
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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/
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
Red-black tree in Lean 4 prover with everything proved https://lobste.rs/s/zd797w #formalmethods #plt
https://rentry.co/8sfon8ez
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
0
0
0
You've seen all posts