[zahlman]

> 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?

[zahlman]

(I have showdead on, but I'm not going to vouch for your reply.

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.)