Fast DEFLATE compression in Lean
kim@lean:~$ cat posts/2026·07·24.md Why Lean is faster than Rust 2026·07·24 [performance] [lean] I can't possibly be serious, can I, claiming that Lean is faster than Rust? Let me show you something: # silesia.tar: the 212 MB standard corpus. Each tool compresses at level 6 # and prints the resulting size in bytes; `time` reports wall-clock. $ time deflate-rust silesia.tar # miniz_oxide (pure Rust, no 'unsafe') 68112144 real 0m5.77s $ time deflate-lean silesia.tar # lean-zip 67944712 real 0m5.24s What's going on here?
- ▪kim@lean:~$ cat posts/2026·07·24.md Why Lean is faster than Rust 2026·07·24 [performance] [lean] I can't possibly be serious, can I, claiming that Lean is faster than Rust?
- ▪Let me show you something: # silesia.tar: the 212 MB standard corpus.
- ▪Each tool compresses at level 6 # and prints the resulting size in bytes; `time` reports wall-clock. $ time deflate-rust silesia.tar # miniz_oxide (pure Rust, no 'unsafe') 68112144 real 0m5.77s $ time deflate-lean silesia.tar # lean-zip 679
Lobsters files mainly under programming. We currently carry 187 of its stories.
Story provenance
Source · retrieval · rights · ranking — open for full record
inspect →
Story provenance
Attribution is not the same as permission. This drawer separates discovery metadata, excerpts, WeSearch-generated summaries, reuse status, and whether the publisher receives the visit. Nothing here claims a legal grant the publisher has not made.
Record
| Original publisher | Github |
| Canonical URL | https://kim-em.github.io/blog/2026-7-24-why-lean-is-faster-than-rust/ |
| Publication time | Sun, 26 Jul 2026 10:54:26 -0500 |
| Retrieval time | 2026-07-26T16:05:52.626Z |
| Last seen | 2026-07-26T16:05:52.626Z |
| Headline source | Publisher (no WeSearch rewrite) |
| Excerpt source | publisher body |
| Excerpt method | First ~120 words (~800 chars) of extracted publisher body, fair-use limited. |
| Summary | WeSearch · cerebras-chat (WeSearch summarizer) |
| Summary source text | contentText |
| Citation coverage | Summary is a WeSearch-generated derivative; primary citation is the original publisher URL. |
| Cluster | LFKd9eZTmTOj |
| Cluster logic | Grouped by semantic title/content similarity across sources within a rolling window. Same-publisher template collisions are excluded from coverage comparison. |
| Ranking reason | Story pages are not engagement-ranked. Hub feeds use recency, with optional source-diversified chronological ordering (cap consecutive stories per source). No personalized ranking. |
| Publisher visit | Yes — open original |
| Substitutes article? | No — link-out required for full text |
Rights status (four layers)
WeSearch handling by dimension
| Indexing | May the item be indexed (stored, ranked, made findable)? | Allowed |
| Snippet | May a short excerpt of the publisher's text be shown? | Allowed |
| AI summary | May WeSearch generate its own short summary of the article? | Limited |
| Retrieval / RAG | May the content be exposed for third-party retrieval-augmented generation? | Not asserted |
| Model training | May the content be used to train AI models? | Not asserted |
| Commercial reuse | May the content be reused commercially? | Not permitted |
Basis: Derived from the published RSS/Atom feed. Contact: [email protected]. Reviewed: 2026-07-24.
Opening excerpt (first ~120 words) tap to expand
kim@lean:~$ cat posts/2026·07·24.md Why Lean is faster than Rust 2026·07·24 [performance] [lean] I can't possibly be serious, can I, claiming that Lean is faster than Rust? Let me show you something: # silesia.tar: the 212 MB standard corpus. Each tool compresses at level 6 # and prints the resulting size in bytes; `time` reports wall-clock. $ time deflate-rust silesia.tar # miniz_oxide (pure Rust, no 'unsafe') 68112144 real 0m5.77s $ time deflate-lean silesia.tar # lean-zip 67944712 real 0m5.24s What's going on here? This is the lean-zip implementation of DEFLATE compressing the standard silesia compression benchmarking corpus, faster and better than miniz_oxide, the standard pure-Rust implementation.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at Github.
Discussion
0 commentsMore from Github
![Everything is a UOp – reading the deep learning stack behind comma[dot]AI](/img-proxy?url=https%3A%2F%2Fssenthilnathan3.github.io%2Fimages%2Ftinygrad.jpeg&w=320)
