Formal methods with Hillel Wayne https://lobste.rs/s/gwdnwp #formalmethods #practices #testing
https://newsletter.pragmaticengineer.com/p/formal-methods-with-hillel-wayne
Formal methods with Hillel Wayne
https://newsletter.pragmaticengineer.com/p/formal-methods-with-hillel-wayne
#SoftwareDevelopment #FormalMethods #Tech
Why Rocq is better than Lean for program verification
https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
#Programming #FormalMethods #Compilers
Fast DEFLATE compression in Lean https://lobste.rs/s/1o4ba2 #formalmethods #performance #vibecoding
https://kim-em.github.io/blog/2026-7-24-why-lean-is-faster-than-rust/
Fast DEFLATE compression in Lean
https://kim-em.github.io/blog/2026-7-24-why-lean-is-faster-than-rust/
#FormalMethods #Performance #Programming
Functional Programming India
@fpindia.bsky.social@bsky.brid.gy
Uniting Functional Programming Language enthusiasts across India. Zulip: zulip.functionalprogramming.in Telegram: t.me/fpncr Web: functionalprogramming.in 🌉 bridged from 🦋 fpindia.bsky.social, follow @bsky.brid.gy to interact
bsky.brid.gy
Reminder folks - #FPIndia #Bangalore #Meetup this weekend. Sat 1st Aug, 11AM - 1PM.
We have two great talks lined up around #FunctionalProgramming, #Haskell, and #FormalMethods.
We have very limited seating, so please RSVP if you are coming - luma.com/zjekrlft
Functional Programming India B...
Xavier Leroy on programming, languages and formal verification via @xvw@merveilles.town https://lobste.rs/s/oviysl #video #formalmethods #ml
https://www.youtube.com/watch?v=9Cswiqrq6So
Extending MVCC to be serializable, in TLA+ (2024) https://lobste.rs/s/yodbwx #databases #formalmethods
https://surfingcomplexity.blog/2024/11/03/extending-mvcc-to-be-serializable-in-tla/
Extending MVCC to be serializable, in TLA+ (2024)
https://surfingcomplexity.blog/2024/11/03/extending-mvcc-to-be-serializable-in-tla/
#Databases #FormalMethods #TLAplus
Introduction to Formal Verification with Lean (Part 1) via @nemin@ohai.social https://lobste.rs/s/ymnnmv #formalmethods
https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
A Rust-to-Lean verification pipeline with AI provers: An experience report https://lobste.rs/s/g2bzt2 #formalmethods #rust #vibecoding
https://arxiv.org/html/2605.30106
Proving the Fundamental Theorem of Arithmetic in Agda via @abnv@fantastic.earth https://lobste.rs/s/s61wns #formalmethods #math
https://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html
Proving the Fundamental Theorem of Arithmetic in Agda
https://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html
#Agda #FormalMethods #Math
You Don’t Know Jack About Formal Verification https://lobste.rs/s/ugm5fn #formalmethods
https://queue.acm.org/detail.cfm?id=3819084
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
quint-connect: A model-based testing framework for Quint + Rust https://lobste.rs/s/ggptr5 #formalmethods #rust
https://github.com/informalsystems/quint-connect
"Why not just use Lean?" https://lobste.rs/s/d27llp #formalmethods
https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
LemmaScript: A Verification Toolchain for TypeScript via Dafny https://lobste.rs/s/4tuujf #formalmethods
https://midspiral.com/blog/lemmascript-a-verification-toolchain-for-typescript/
Building an Unverified Compiler with Agents https://lobste.rs/s/fkxdc8 #formalmethods #plt #vibecoding
https://www.basis.ai/blog/verified-compiler/