#formal verification
4 stories
Compiling Rust to readable C with Eurydice
Eurydice converts Rust code to clean C for high-assurance software.
Lwn · 1m
C-HD Algorithm Achieves Faster Shortest Path Computation
New algorithm finds exact shortest paths in directed graphs with non-negative weights faster than Dijkstra's method for specific input sizes.
Vals · 1m
Bend 2 and the Vibe-Coding Trap
A new programming language designed for AI-assisted formal verification may have reinvented the wheel by missing decades of existing research.
Liampwll · 2m · 5 views
I used AI to prove a 50-year-old math conjecture
A programmer spent a month and billions of tokens getting frontier models to solve Conway's refinement conjecture in Lean.
Overreacted · 3m