Why Lean is faster than Rust3 days agoLeanRustAI optimizationhttps://kim-em.github.io/blog/2026-7-24-why-lean-is-faster-than-rust/Copy Link