pull down to refresh

Lean4 helped Terence Tao discover a small bug in his recent papermathstodon.xyz/@tao/111287749336059662
30 sats \ 1 comment \ @hn 27 Oct 2023 tech
related
Chinese mathematicians solve the 65-year-old Kervaire invariant problemwww.scmp.com/news/china/science/article/3309657/chinese-mathematicians-solve-65-year-old-kervaire-invariant-problem
124 sats \ 1 comment \ @ch0k1 12 May 2025 science
The Biggest Problem in Mathematics Is Finally a Step Closer to Being Solvedwww.scientificamerican.com/article/the-riemann-hypothesis-the-biggest-problem-in-mathematics-is-a-step-closer/
271 sats \ 0 comments \ @south_korea_ln 1 Jul 2024 science
Controversial math proof divides experts in bitter academic disputewww.earth.com/news/mochizuki-controversial-math-proof-divides-experts-in-bitter-academic-dispute/
180 sats \ 2 comments \ @south_korea_ln 14 Jun 2025 science
Terence Tao on O1mathstodon.xyz/@tao/113132502735585408
10 sats \ 0 comments \ @hn 14 Sep 2024 tech
A16Z’s Stablecoin Thesis is Wrongmedium.com/@beautyon_/a16zs-stablecoin-thesis-is-wrong-ab90c683e436
624 sats \ 21 comments \ @k00b 4 May 2025 bitcoin
Math’s ‘Bunkbed Conjecture’ Has Been Debunkedwww.quantamagazine.org/maths-bunkbed-conjecture-has-been-debunked-20241101/
562 sats \ 2 comments \ @0xbitcoiner 1 Nov 2024 science
Undergraduate Upends a 40-Year-Old Data Science Conjecturewww.quantamagazine.org/undergraduate-upends-a-40-year-old-data-science-conjecture-20250210/
179 sats \ 5 comments \ @0xbitcoiner 10 Feb 2025 science
One Surprising China Truth
2159 sats \ 9 comments \ @GhostofTruth 15 Nov 2023 meta
Terence Tao: creative strategies, this aspect of LLM tools is still weakmathstodon.xyz/@tao/113142753409304792
31 sats \ 0 comments \ @hn 15 Sep 2024 tech
The Y2038 problem explained
835 sats \ 3 comments \ @bitcoin_devs 12 Oct 2025 bitcoin
Issue #1198: OP_CTV and rough consensus | Marty's Benttftc.io/martys-bent/issue-1198-op_ctv-and-rough-consensus/
25 sats \ 3 comments \ @cryptocoin 26 Apr 2022 bitcoin
Ramsey Solutions on Bitcoin...How Many Inaccuracies Can You Find?!www.ramseysolutions.com/retirement/what-is-bitcoin
113 sats \ 1 comment \ @ebeddor 7 Nov 2023 bitcoin
Terence Tao on how we measure the cosmos | The Distance Ladder Part 1www.youtube.com/watch?v=YdOXS_9_P4U&ab_channel=3Blue1Brown
198 sats \ 1 comment \ @south_korea_ln 24 May 2025 science
Bitcoin Fixes This #103: Curiosity with David Perellwww.youtube.com/watch?v=oIv_IUCEXy0
524 sats \ 0 comments \ @jimmysong 15 Sep 2022 bitcoin
Claim: Chat GPT5 proved a stronger result in a paper and was rightx.com/SebastienBubeck/status/1958198661139009862
121 sats \ 1 comment \ @carter 25 Aug 2025 AI
Issue #1198: One step closer to bitcoin mining permanent funds | Marty's Benttftc.io/martys-bent/issue-1198-one-step-closer-to-bitcoin-mining-permanent-funds/
61 sats \ 3 comments \ @cryptocoin 27 Apr 2022 bitcoin
184 Billion Bitcoin Inflation Bug 📺 – Trader Universityyoutu.be/ylPDkb6jVKc
118 sats \ 0 comments \ @SatoshiNakanodo 27 Nov 2022 bitcoin
The Year in Computer Sciencewww.quantamagazine.org/the-year-in-computer-science-20251216/
85 sats \ 0 comments \ @0xbitcoiner 16 Dec 2025 science
Marty's Bent Issue #1283: Trusted third parties are security holestftc.io/martys-bent/issue-1283-trusted-third-parties-are-security-holes/
65 sats \ 1 comment \ @cryptocoin 22 Nov 2022 bitcoin
Max Keiser & Stacy Herbert: Debunking El ... - EP 577 | Simply Bitcoin 📺www.youtube.com/watch?v=BrVOh_T1ng4
164 sats \ 3 comments \ @cryptocoin 14 Sep 2022 bitcoin
Crypto's Fatal Flaw Discovered?www.youtube.com/watch?v=Y8N6K2CmPq0
31 sats \ 0 comments \ @Rsync25 21 Jun 2024 bitcoin