2 points | by replatformradar 10 hours ago
1 comments
> 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?
> 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?