pull down to refresh

Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
272 sats \ 0 comments \ @hn 28 Dec 2024 tech
related
How Terry Tao Became an Evangelist for AI in Mathwww.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
1562 sats \ 2 comments \ @0xbitcoiner 9 Jun AI math science
Tao Te Ching translated by Ursula Le Guin (1997)github.com/nrrb/tao-te-ching/blob/master/Ursula%20K%20Le%20Guin.md
251 sats \ 0 comments \ @hn 6 Jul 2024 tech
3 Erdos problems solved within a week by GPT 5.2 Prowww.erdosproblems.com/forum/thread/397
731 sats \ 9 comments \ @zuspotirko 11 Jan science tech AI
Terence Tao's personal blogterrytao.wordpress.com/
263 sats \ 0 comments \ @south_korea_ln 14 Oct 2024 science
Why AI struggles With Math Breakthroughs - Terence Taoyoutu.be/CuF9_w6L-QI
1110 sats \ 12 comments \ @BlokchainB 13 Apr math AI videos
Terence Tao on how we measure the cosmos | The Distance Ladder Part 1www.youtube.com/watch?v=YdOXS_9_P4U&ab_channel=3Blue1Brown
219 sats \ 1 comment \ @south_korea_ln 24 May 2025 science
Information Security: "We Can Do It, We Just Choose Not To"www.hezmatt.org/~mpalmer/blog/2024/06/14/information-security-we-can-do-it-right-we-choose-not-to.html
681 sats \ 5 comments \ @hn 15 Jun 2024 tech
The AI Revolution in Math Has Arrivedwww.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/
355 sats \ 1 comment \ @0xbitcoiner 13 Apr math AI
An illustrated proof of the CAP theoremmwhittaker.github.io/blog/an_illustrated_proof_of_the_cap_theorem/
291 sats \ 3 comments \ @hn 8 Oct 2024 tech
Cybersecurity looks like proof of work nowwww.dbreunig.com/2026/04/14/cybersecurity-is-proof-of-work-now.html
496 sats \ 0 comments \ @hn 15 Apr tech
ReMarkable Paper Proremarkable.com/
221 sats \ 2 comments \ @hn 4 Sep 2024 tech
Thinking out loud about 2nd-gen emailgabrielsieben.tech/2024/05/17/thinking-out-loud-2nd-gen-email/
344 sats \ 2 comments \ @hn 17 May 2024 tech
Mathematics AI Aristotle proves 30 year old Erdos Problem #124
994 sats \ 29 comments \ @gmd 30 Nov 2025 AI
Meta Superintelligence's surprising first paperpaddedinputs.substack.com/p/meta-superintelligences-surprising
259 sats \ 1 comment \ @hn 12 Oct 2025 tech
@ProofOfMoney's bio
288 sats \ 6 comments \ @ProofOfMoney 3 Jul 2025 freebie
OpenAI Submits S-1 Draft to SECopenai.com/index/openai-submits-confidential-s-1/
263 sats \ 0 comments \ @hn 8 Jun tech
Accessible open textbooks in math-heavy disciplinesrichardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/
283 sats \ 1 comment \ @hn 29 Mar 2025 tech
Show HN: myphotos.site – Google photos to a website in 60 secondswww.myphotos.site
301 sats \ 0 comments \ @hn 28 Nov 2024 tech
Ancient Wisdom of the Tao Te Ching
462 sats \ 2 comments \ @billytheked 6 Jan the_stacker_muse BooksAndArticles
From where I leftantirez.com/news/144
386 sats \ 1 comment \ @hn 10 Dec 2024 tech
Elsevier embeds a hash in the PDF metadata that is unique for each downloadsocial.coop/@jonny/107685726645817029
200 sats \ 1 comment \ @hn 10 Jun 2024 tech