Towards formal verification: mbrotli and mzstd | Hacker News Reader