Hackernews posts about Tao

1. Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
   56 points by helloplanets 26 days ago | 1 comments
2. Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
   25 points by paulpauper 13 days ago | 1 comments
3. Terence Tao had a paper rejected (mathstodon.xyz)
   6 points by paulpauper 24 days ago | 1 comments
4. Debate without hate – taout a portmanteau for "Talk It Out" (www.taout.tv)
   3 points by fcpguru 1 day ago | discuss
5. Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
   3 points by throwerofways67 15 days ago | discuss
6. The Tao of Kung Fu: The Undiscerning Mind [video] (www.youtube.com)
   1 points by jamesgill 23 days ago | discuss
7. Show HN: ML Patron – Run reproducible ML experiments with integrated funding (mlpatron.com)
   2 points by nblintao 6 days ago | 1 comments
8. Show HN: Bridging People Together via Podcasts
   2 points by fcpguru 4 days ago | discuss
9. Show HN: Attn – Markdown viewer and editor in a <20MB binary (Rust) (github.com)
   2 points by lightsofapollo 30 days ago | discuss
10. AI's impact on mathematics is analogous to the car's impact on cities (mathstodon.xyz)
    4 points by birdculture 15 days ago | discuss
11. Autoresearch for Refactoring Code (taoofmac.com)
    3 points by rcarmo 5 days ago | discuss
12. So You Want to Do Agentic Development (taoofmac.com)
    3 points by rcarmo 24 days ago | discuss
13. So You Want to Do Agentic Development (taoofmac.com)
    3 points by rcarmo 27 days ago | discuss
14. Impact of AI on the practice of math analogous to cars on evolution of cities (mathstodon.xyz)
    2 points by ColinWright 12 days ago | discuss
15. Notes for March 9–15 (taoofmac.com)
    2 points by rcarmo 20 days ago | discuss
16. So You Want to Do Agentic Development (taoofmac.com)
    2 points by rcarmo 23 days ago | discuss
17. Show HN: Admiran: a pure, lazy functional language and self-hosting compiler (github.com)
    2 points by taolson 27 days ago | discuss
18. Just One More Prompt (btao.org)
    2 points by tao_oat 17 days ago | discuss
19. Tony Hoare has died (blog.computationalcomplexity.org)
    2043 points by speckx 25 days ago | 268 comments
20. Axios compromised on NPM – Malicious versions drop remote access trojan (www.stepsecurity.io)
    1928 points by mtud 4 days ago | 800 comments
21. Polymarket gamblers threaten to kill me over Iran missile story (www.timesofisrael.com)
    1606 points by defly 19 days ago | 1055 comments
22. Astral to Join OpenAI (astral.sh)
    1489 points by ibraheemdev 16 days ago | 901 comments
23. The EU still wants to scan your private messages and photos (fightchatcontrol.eu)
    1448 points by MrBruh 10 days ago | 393 comments
24. The Claude Code Source Leak: fake tools, frustration regexes, undercover mode (alex000kim.com)
    1364 points by alex000kim 4 days ago | 571 comments
25. Google details new 24-hour process to sideload unverified Android apps (arstechnica.com)
    1196 points by 0xedb 16 days ago | 1263 comments
26. Goodbye to Sora (twitter.com)
    1142 points by mikeocool 11 days ago | 851 comments
27. Thoughts on slowing the fuck down (mariozechner.at)
    1128 points by jdkoeck 10 days ago | 485 comments
28. Judge orders government to begin refunding more than $130B in tariffs (www.wsj.com)
    1062 points by JumpCrisscross 30 days ago | 790 comments
29. Migrating to the EU (rz01.org)
    912 points by exitnode 12 days ago | 702 comments
30. Artemis II is not safe to fly (idlewords.com)
    900 points by idlewords 4 days ago | 632 comments