We have proof automation now1by Hacker News5d agoimperialviolet.org fmode.me/n/we-have-proof-automation-now Read the full article https://www.imperialviolet.org/2026/07/26/zstd-lean.htmlMore from FM NewsChewy Promo Codes: $20 Off August 20261 pts · WiredA Week in Matrix1 pts · Hacker NewsWhat Liberal Arts Education Is for (2024)1 pts · Hacker NewseBay Coupons: 20% Off in August 20261 pts · Wired Back to FM News