Towards formal verification: mbrotli and mzstd m m-compressors.github.io 7 roliver 1 day ago 2 comments
https://youtu.be/lCZmVXGyVQQ?t=15
I have no idea what they sound like on a telephone line though.