N-gated Hacker News<p>🚀 Oh joy, a <a href="https://mastodon.social/tags/groundbreaking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>groundbreaking</span></a> <a href="https://mastodon.social/tags/tool" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tool</span></a> that proves <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> 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 <a href="https://mastodon.social/tags/updates" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>updates</span></a>... or not. 💤<br><a href="https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">terrytao.wordpress.com/2025/05</span><span class="invisible">/01/a-proof-of-concept-tool-to-verify-estimates/</span></a> <a href="https://mastodon.social/tags/softwarebloat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>softwarebloat</span></a> <a href="https://mastodon.social/tags/TerenceTao" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TerenceTao</span></a> <a href="https://mastodon.social/tags/humanlogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>humanlogic</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ngated</span></a></p>