How big is a Git commit?(ratfactor.com)
77 points by theanonymousone | 33 comments
A personal wiki card explaining how large a Git commit is on disk, covering zlib-compressed loose objects and packfiles.
#zlib on Hacker News
3 stories tagged zlib, newest first.
Lean proved this program correct; then I found a bug(kirancodes.me)
375 points by bumbledraven | 167 comments
Blog post describing how fuzzing a formally verified Lean implementation of zlib uncovered a buffer overflow in the Lean runtime.
Zlib-rs is faster than C(trifectatech.org)
329 points by dochtman | 437 comments
Trifecta Tech Foundation blog post announcing zlib-rs 0.4.2 and benchmarking its decompression and compression speed against C implementations zlib-ng and zlib-chromium.