pull down to refresh

Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
175 sats \ 2 comments \ @0xbitcoiner 20h AI
related
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
howdy! I'm Allen Farrington, AMA.
25.8k sats \ 115 comments \ @allen 3 Aug 2022 bitcoin freebie
What Would Carl Menger Think Of Bitcoin?
3369 sats \ 36 comments \ @siggy47 15 Apr 2024 libertarian
AI mimics neocortex computations with 'winner-take-all' approachtechxplore.com/news/2024-10-ai-mimics-neocortex-winner-approach.html
49 sats \ 0 comments \ @ch0k1 26 Oct 2024 tech
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Singapore tops OECD nations in creative thinking poll
1556 sats \ 44 comments \ @cryotosensei 3 Jul 2024 charts_and_numbers
Knut Svanholm AMA
13.3k sats \ 57 comments \ @knutsvanholm 24 Jan 2023 bitcoin freebie
@SachinMeier's bio
124 sats \ 4 comments \ @SachinMeier 12 Oct 2023 freebie
How do you take on a coding task or project that is out of your league?
5409 sats \ 11 comments \ @bitcoinplebdev 20 Feb 2024 devs
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
Future of work via Bitcoin ❓
7014 sats \ 38 comments \ @davidw 3 Feb 2024 bitcoin freebie
Hawaii Supreme Court Goes Full Clown on 2A... 🤡
1063 sats \ 5 comments \ @Atreus 10 Feb 2024 culture
FBI Searches Property Management Company in Rent Price-Fixing Investigationrentalhousingjournal.com/fbi-searches-property-management-company-in-rent-price-fixing-investigation/
1545 sats \ 19 comments \ @siggy47 5 Jun 2024 econ
Competition and trust in the private provision of money | Article Review
20.7k sats \ 16 comments \ @SimpleStacker 12 Nov 2024 BooksAndArticles
RANT: Cryptography and Algorithm Papers Should Use Code, Not Math Notation
5016 sats \ 23 comments \ @l0k18 20 Jul 2023 tech
Market for electric vehicles has experienced a setback
1706 sats \ 60 comments \ @GhostofTruth 18 Apr 2024 econ
"All Bitcoin transactions are JPEGs"
1528 sats \ 9 comments \ @anon 7 Sep bitcoin
AI will soon be able to audit all published research...theconversation.com/ai-will-soon-be-able-to-audit-all-published-research-what-will-that-mean-for-public-trust-in-science-261363
1021 sats \ 24 comments \ @south_korea_ln 26 Jul science
Object oriented programming rant
673 sats \ 8 comments \ @k00b 30 Nov 2024 devs
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
Are Bitcoin devs the new farmers?
7319 sats \ 30 comments \ @davidw 6 Feb 2024 bitcoin