Hackernews posts about Tao

1. Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
   482 points by gurjeet 26 days ago | 326 comments
2. Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
   55 points by helloplanets 12 days ago | 1 comments
3. ChatGPT finds an error in Terence Tao's math research
   42 points by codexon 25 days ago | 8 comments
4. Terence Tao had a paper rejected (mathstodon.xyz)
   6 points by paulpauper 10 days ago | 1 comments
5. The Edge of Mathematics – Terence Tao (www.theatlantic.com)
   4 points by tlyleung 24 days ago | discuss
6. The Edge of Mathematics – Interview with Terence Tao (www.theatlantic.com)
   3 points by haomiao 25 days ago | discuss
7. Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
   2 points by throwerofways67 about 11 hours ago | discuss
8. The Tao of Kung Fu: The Undiscerning Mind [video] (www.youtube.com)
   1 points by jamesgill 8 days ago | discuss
9. Show HN: Attn – Markdown viewer and editor in a <20MB binary (Rust) (github.com)
   2 points by lightsofapollo 16 days ago | discuss
10. The Edge of Mathematics (www.theatlantic.com)
    6 points by hackernj 24 days ago | discuss
11. AI's impact on mathematics is analogous to the car's impact on cities (mathstodon.xyz)
    4 points by birdculture about 17 hours ago | discuss
12. The Edge of Mathematics (www.theatlantic.com)
    4 points by danielmorozoff 23 days ago | discuss
13. So You Want to Do Agentic Development (taoofmac.com)
    3 points by rcarmo 10 days ago | discuss
14. So You Want to Do Agentic Development (taoofmac.com)
    3 points by rcarmo 12 days ago | discuss
15. Notes for March 9–15 (taoofmac.com)
    2 points by rcarmo 5 days ago | discuss
16. So You Want to Do Agentic Development (taoofmac.com)
    2 points by rcarmo 9 days ago | discuss
17. Show HN: Admiran: a pure, lazy functional language and self-hosting compiler (github.com)
    2 points by taolson 12 days ago | discuss
18. Show HN: What % of your commits were written by AI? (technically-your-name-is-on-it.btao.org)
    5 points by tao_oat 17 days ago | 2 comments
19. Just One More Prompt (btao.org)
    2 points by tao_oat 2 days ago | discuss
20. Intermittent errors in skills-related functionality (status.claude.com)
    2 points by taoh 26 days ago | discuss
21. Tony Hoare has died (blog.computationalcomplexity.org)
    2039 points by speckx 11 days ago | 266 comments
22. OpenAI – How to delete your account (help.openai.com)
    1929 points by carlosrg 21 days ago | 363 comments
23. Polymarket gamblers threaten to kill me over Iran missile story (www.timesofisrael.com)
    1600 points by defly 5 days ago | 1055 comments
24. Astral to Join OpenAI (astral.sh)
    1446 points by ibraheemdev 1 day ago | 879 comments
25. OpenAI agrees with Dept. of War to deploy models in their classified network (twitter.com)
    1407 points by eoskx 21 days ago | 648 comments
26. I am directing the Department of War to designate Anthropic a supply-chain risk (twitter.com)
    1362 points by jacobedawson 21 days ago | 1085 comments
27. Google details new 24-hour process to sideload unverified Android apps (arstechnica.com)
    1129 points by 0xedb 1 day ago | 1212 comments
28. Judge orders government to begin refunding more than $130B in tariffs (www.wsj.com)
    1062 points by JumpCrisscross 16 days ago | 789 comments
29. I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
    974 points by speckx 18 days ago | 622 comments
30. The path to ubiquitous AI (17k tokens/sec) (taalas.com)
    847 points by sidnarsipur 29 days ago | 455 comments