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

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

[flagged]