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)
- Debate without hate – taout a portmanteau for "Talk It Out" (www.taout.tv)
- 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)
- Autoresearch for Refactoring Code (taoofmac.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)
- Just One More Prompt (btao.org)
- Tony Hoare has died (blog.computationalcomplexity.org)
- Axios compromised on NPM – Malicious versions drop remote access trojan (www.stepsecurity.io)
- 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)
- Migrating to the EU (rz01.org)
- Artemis II is not safe to fly (idlewords.com)