Hackernews posts about Tao
- Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
- Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
- Terence Tao had a paper rejected (mathstodon.xyz)
- Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
- The Tao of Kung Fu: The Undiscerning Mind [video] (www.youtube.com)
- The Edge of Mathematics (www.theatlantic.com)
- So You Want to Do Agentic Development (taoofmac.com)
- So You Want to Do Agentic Development (taoofmac.com)
- Notes for March 9–15 (taoofmac.com)
- So You Want to Do Agentic Development (taoofmac.com)
- Show HN: What % of your commits were written by AI? (technically-your-name-is-on-it.btao.org)
- Just One More Prompt (btao.org)
- Tony Hoare has died (blog.computationalcomplexity.org)
- OpenAI – How to delete your account (help.openai.com)
- Polymarket gamblers threaten to kill me over Iran missile story (www.timesofisrael.com)
- Astral to Join OpenAI (astral.sh)
- The EU still wants to scan your private messages and photos (fightchatcontrol.eu)
- Google details new 24-hour process to sideload unverified Android apps (arstechnica.com)
- Goodbye to Sora (twitter.com)
- Thoughts on slowing the fuck down (mariozechner.at)
- I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
- Migrating to the EU (rz01.org)
- Some things just take time (lucumr.pocoo.org)