Visit rtfeldman.com → On Hacker News Jul 2026 – Oct 2026
For the past year and a half, the team building Roc 's compiler has been rewriting our 300,000 lines of Rust code into Zig , for reasons I'll recap below. We recently passed an exciting milestone: feature parity with the original compiler!
In Why Lean is Faster Than Rust , the author shares an impressive result: a DEFLATE compression library written in Lean 4 , a functional programming language and proof assistant, outperforming an equivalent Rust package that crates.io says has been downloaded over a billion times. From the article: