Why Lean is faster than Rust(kim-em.github.io)1 points·by replatformradar·เมื่อวาน·1 commentskim-em.github.ioWhy Lean is faster than Rusthttps://kim-em.github.io/blog/2026-7-24-why-lean-is-faster-than-rust/1 commentsPost comment[–]zahlman·เมื่อวานreply> libdeflate unsurprisingly blows it out of the water (unsurprisingly because this is a very carefully tuned implementation using architecture-specific SIMD, that we can't touch in Lean).... But Rust presumably could if someone did the work?
... But Rust presumably could if someone did the work?