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 2025 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 2025 bitcoin
The Pleb Economist #2: Politics is Provably Hard
17.3k sats \ 20 comments \ @SimpleStacker 14 Jan 2025 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
465 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 2025 science
Incentives and coordination to solve hard problems
2905 sats \ 21 comments \ @elvismercury 9 Mar 2024 mostly_harmless
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
Josh doesn't know where Bitcoin gets its value
10.3k sats \ 41 comments \ @Scoresby 6 Feb 2025 bitcoin
Why the Key to a Mathematical Life is Collaborationwww.quantamagazine.org/why-the-key-to-a-mathematical-life-is-collaboration-20250728/
109 sats \ 0 comments \ @0xbitcoiner 29 Jul 2025 science
'Amazing' spinning needle proof unlocks a whole new world of mathswww.newscientist.com/article/2471211-amazing-spinning-needle-proof-unlocks-a-whole-new-world-of-maths/
165 sats \ 0 comments \ @south_korea_ln 12 Mar 2025 science
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
Signing data does not mean that you authored the data
3561 sats \ 25 comments \ @k00b 8 Sep 2024 nostr
Bitcoin Circular Economy - a hard to achieve goal for many people
5074 sats \ 52 comments \ @DarthCoin 16 Jun 2024 bitcoin
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 2025 bitcoin
Ecash ecosystem mapbitcoinscoresby.com/ecash/
7498 sats \ 21 comments \ @Scoresby 10 Jul 2024 bitcoin
Which hard problem did nostr solve?
1147 sats \ 73 comments \ @ek 14 Dec 2025 nostr
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
Let It Be or Hard Fork?thequantuminsider.com/2024/10/11/chinese-scientists-report-using-quantum-computer-to-hack-military-grade-encryption/
473 sats \ 17 comments \ @OT 13 Oct 2024 security
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 2025 AI