Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Towards formal verification: mbrotli and mzstd

m-compressors.github.io

6 points by roliver a day ago

jauntywundrkind a day ago

Also really enjoying Louis Maddox aka lmmx working on a very fast multi threaded bzip2, mibz2. Fun regular updates from someone deep into their stuff on social media is also rewarding.

https://bsky.app/profile/permutans.bsky.social/post/3myudtfd... https://lmmx.github.io/mibz2/

  • deterministic 16 hours ago

    I use a home grown multi-threaded unzip library in production at work built on top of zlib. Using 8 threads a typical unzip went from 30 secs to roughly 3 secs.