pull down to refresh

‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hardwww.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/
67 sats \ 1 comment \ @0xbitcoiner 22h science
related
A geometry masterpiece: Yale prof solves part of math’s ‘Rosetta Stone’news.yale.edu/2024/11/01/geometry-masterpiece-yale-prof-solves-part-maths-rosetta-stone
430 sats \ 10 comments \ @south_korea_ln 3 Nov 2024 science
The part of Bitcoin you *have* to trustgithub.com/libbitcoin/libbitcoin-system/wiki/Axiom-of-Resistance
3681 sats \ 56 comments \ @Scoresby 26 Nov bitcoin
The Pleb Economist #2: Politics is Provably Hard
17.3k sats \ 20 comments \ @SimpleStacker 14 Jan econ
Human Readable Bitcoin Payment Instructionsgithub.com/bitcoin/bips/pull/1551
17.7k sats \ 25 comments \ @bluematt 11 Feb 2024 bitcoin
Some Mathematicians Don’t Believe in Infinitywww.scientificamerican.com/article/what-if-infinity-didnt-exist/
636 sats \ 4 comments \ @south_korea_ln 11 Aug science
Signing data does not mean that you authored the data
3561 sats \ 25 comments \ @k00b 8 Sep 2024 nostr
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 science
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
Ecash ecosystem mapbitcoinscoresby.com/ecash/
7498 sats \ 21 comments \ @Scoresby 10 Jul 2024 bitcoin
Incentives and coordination to solve hard problems
2905 sats \ 21 comments \ @elvismercury 9 Mar 2024 mostly_harmless
The "perfect map" paradox: Why scientific models can never be completebigthink.com/13-8/the-perfect-map-paradox-why-scientific-models-can-never-be-complete/
373 sats \ 4 comments \ @south_korea_ln 23 Jul 2024 science
Prove You're Not AI
2112 sats \ 49 comments \ @kr 25 Aug AI
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
New Proofs Probe the Limits of Mathematical Truthwww.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
51 sats \ 0 comments \ @0xbitcoiner 3 Feb science
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct AI
Cryptography Tricks Make a Hard Problem a Little Easierwww.quantamagazine.org/cryptography-tricks-make-a-hard-problem-a-little-easier-20240418/
200 sats \ 0 comments \ @jakoyoh629 20 Apr 2024 crypto freebie
Literature Map - The Tourist Map of Literaturewww.literature-map.com/
371 sats \ 8 comments \ @DEADBEEF 12 May 2024 BooksAndArticles
Is it ok to shill new BTC venues?
5744 sats \ 19 comments \ @purpurato 27 Sep 2023 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
i have an npub. how am i supposed to find the relay?
18.6k sats \ 40 comments \ @anon 17 Feb 2024 nostr
Grad Students Find Inevitable Patterns in Big Sets of Numbers
541 sats \ 0 comments \ @0xbitcoiner 5 Aug 2024 science