Hackernews posts about Tao

1. Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
   56 points by helloplanets 19 days ago | 1 comments
2. Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
   25 points by paulpauper 6 days ago | 1 comments
3. Terence Tao had a paper rejected (mathstodon.xyz)
   6 points by paulpauper 17 days ago | 1 comments
4. Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
   3 points by throwerofways67 8 days ago | discuss
5. The Tao of Kung Fu: The Undiscerning Mind [video] (www.youtube.com)
   1 points by jamesgill 16 days ago | discuss
6. Show HN: Attn – Markdown viewer and editor in a <20MB binary (Rust) (github.com)
   2 points by lightsofapollo 23 days ago | discuss
7. AI's impact on mathematics is analogous to the car's impact on cities (mathstodon.xyz)
   4 points by birdculture 8 days ago | discuss
8. The Edge of Mathematics (www.theatlantic.com)
   4 points by danielmorozoff 30 days ago | discuss
9. So You Want to Do Agentic Development (taoofmac.com)
   3 points by rcarmo 17 days ago | discuss
10. So You Want to Do Agentic Development (taoofmac.com)
    3 points by rcarmo 19 days ago | discuss
11. Impact of AI on the practice of math analogous to cars on evolution of cities (mathstodon.xyz)
    2 points by ColinWright 5 days ago | discuss
12. Notes for March 9–15 (taoofmac.com)
    2 points by rcarmo 13 days ago | discuss
13. So You Want to Do Agentic Development (taoofmac.com)
    2 points by rcarmo 16 days ago | discuss
14. Show HN: Admiran: a pure, lazy functional language and self-hosting compiler (github.com)
    2 points by taolson 20 days ago | discuss
15. Show HN: What % of your commits were written by AI? (technically-your-name-is-on-it.btao.org)
    5 points by tao_oat 24 days ago | 2 comments
16. Just One More Prompt (btao.org)
    2 points by tao_oat 10 days ago | discuss
17. Tony Hoare has died (blog.computationalcomplexity.org)
    2043 points by speckx 18 days ago | 268 comments
18. OpenAI – How to delete your account (help.openai.com)
    1929 points by carlosrg 28 days ago | 363 comments
19. Polymarket gamblers threaten to kill me over Iran missile story (www.timesofisrael.com)
    1606 points by defly 12 days ago | 1055 comments
20. Astral to Join OpenAI (astral.sh)
    1488 points by ibraheemdev 9 days ago | 901 comments
21. The EU still wants to scan your private messages and photos (fightchatcontrol.eu)
    1440 points by MrBruh 3 days ago | 390 comments
22. OpenAI agrees with Dept. of War to deploy models in their classified network (twitter.com)
    1407 points by eoskx 28 days ago | 648 comments
23. I am directing the Department of War to designate Anthropic a supply-chain risk (twitter.com)
    1362 points by jacobedawson 28 days ago | 1085 comments
24. Google details new 24-hour process to sideload unverified Android apps (arstechnica.com)
    1194 points by 0xedb 9 days ago | 1258 comments
25. Goodbye to Sora (twitter.com)
    1131 points by mikeocool 4 days ago | 845 comments
26. Thoughts on slowing the fuck down (mariozechner.at)
    1099 points by jdkoeck 3 days ago | 484 comments
27. Judge orders government to begin refunding more than $130B in tariffs (www.wsj.com)
    1062 points by JumpCrisscross 23 days ago | 790 comments
28. I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
    974 points by speckx 25 days ago | 622 comments
29. Migrating to the EU (rz01.org)
    910 points by exitnode 5 days ago | 702 comments
30. Some things just take time (lucumr.pocoo.org)
    847 points by vaylian 7 days ago | 272 comments