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 2 Dec science
related
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
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
Human Readable Bitcoin Payment Instructionsgithub.com/bitcoin/bips/pull/1551
17.7k sats \ 25 comments \ @bluematt 11 Feb 2024 bitcoin
Allen Farrington AMA
33.4k sats \ 105 comments \ @allenf 20 Sep 2024 AMA
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
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
Josh doesn't know where Bitcoin gets its value
10.3k sats \ 41 comments \ @Scoresby 6 Feb bitcoin
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
Signing data does not mean that you authored the data
3561 sats \ 25 comments \ @k00b 8 Sep 2024 nostr
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
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
Places that accept Bitcoin in Koreanaver.me/GEILUMGI
739 sats \ 8 comments \ @south_korea_ln 26 Oct 2024 bitcoin
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct AI
howdy! I'm Allen Farrington, AMA.
25.8k sats \ 115 comments \ @allen 3 Aug 2022 bitcoin freebie
Join the Open Bitcoin Map — Why Bitcoin Apps Should Integrate BTC Map
1192 sats \ 10k boost \ 5 comments \ @saunter 17 Feb bitcoin
Calling all bitcoin plebs.... Value For Value ⚡⚡⚡
16.6k sats \ 30 comments \ @joemartinmusic 11 Oct 2022 bitcoin freebie