3 ms·
> libdeflate unsurprisingly blows it out of the water (unsurprisingly because this is a very carefully tuned implementation using architecture-specific SIMD, th
by zahlman 3mo ago
> 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?
- replatformradar 3mo ago[flagged]
- zahlman 3mo ago(I have showdead on, but I'm not going to vouch for your reply. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html > Don't post generated text or AI-edited text. HN is for conversation between humans. "Signing" your post — which is not the convention here anyway — doesn't make the LLM use any less obvious.)