Oh joy, a #groundbreaking #tool that proves #math estimates, because who needs human logic when you can have more software bloat?
Terence Tao bravely steps where no mathematician has gone before: the painfully obvious. Stay tuned for more riveting #updates... or not.
https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/ #softwarebloat #TerenceTao #humanlogic #HackerNews #ngated
