Hackernews posts about Tao
- Terry Tao: "LLMs are simpler than you think" (www.youtube.com)
- Terence Tao: AI contributions to Erdős problems (github.com)
- Terry Tao on the future of mathematics – Math, Inc (www.youtube.com)
- Terry Tao on the Future of Mathematics (www.youtube.com)
- Terry Tao on the future of mathematics – Math, Inc [video] (www.youtube.com)
- AI Usage Policy – Tao of Mac (taoofmac.com)
- Show HN: ZenStack – Modern Data Layer for TypeScript Apps (zenstack.dev)
- “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
- TIL: Restarting systemd services on sustained CPU abuse (taoofmac.com)
- When OpenCode decides to use a Chinese proxy (taoofmac.com)
- Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
- AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
- I Manage My Personal Infrastructure in 2026 (taoofmac.com)
- Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
- My Rube Goldberg RSS Pipeline (taoofmac.com)
- How I Manage My Personal Infrastructure in 2026 (taoofmac.com)
- Notes for December 9-24 (taoofmac.com)
- Notes on Skill.md vs. MCP (taoofmac.com)
- Notes on Skill.md vs. MCP (taoofmac.com)
- Notes on Skill.md vs. MCP (taoofmac.com)
- The application of AI tools to Erdos problems passes a milestone (mathstodon.xyz)
- Notes for December 25-31 (taoofmac.com)
- Predictions for 2026 (taoofmac.com)
- 2025 in Review (taoofmac.com)
- GraphRouter: A Graph-Based Router for LLM Selections (github.com)