Developers · Updated 24 Oct, 09:13 am IST
Lean 4 DEFLATE beats Rust miniz_oxide but not C libdeflate
Why it matters for readers: Illustrates how language design and compiler work can narrow the gap to C in benchmarks like compression.
- lean-zip (written in Lean 4) provides the same compression as miniz_oxide at higher throughput and smaller output.1
- At its fastest setting lean-zip is reported 15% quicker than miniz_oxide and produces output 8.8% smaller.1
- libdeflate, a C implementation, remains significantly faster due to architecture-specific SIMD and careful tuning.1
- Roc is introduced as a functional language focused on runtime and compile-time speed, approaching a 0.1.0 release.1
Get a brief like this every morning
Uzha reads hundreds of sources and gives you the stories that matter for your work, with every source linked. Free.
Get started