pull down to refresh

Terence Tao - formalizing a proof in Lean using Claude and o4www.youtube.com/watch?v=zZr54G7ec7A&ab_channel=TerenceTao
0 sats \ 0 comments \ @south_korea_ln 14 May science
related
Building Better Products - Less Is More
109.3k sats \ 16 comments \ @davidw 5 Mar 2024 builders
The State of Nostr with Bob Scully, DK, Oscar Merry, and Moritz Kaminskifountain.fm/episode/vH67sscHX8ZvxATFOyi7
1742 sats \ 3 comments \ @MaxAWebster 22 Nov 2024 nostr
Object oriented programming rant
673 sats \ 7 comments \ @k00b 30 Nov 2024 devs
Show HN: Unsure Calculator – back-of-a-napkin probabilistic calculatorfiliph.github.io/unsure/
444 sats \ 1 comment \ @hn 15 Apr tech bot
StackMath.xyz - Bitcoin Modeling Enginestackmath.xyz/
567 sats \ 5 comments \ @OT 1 May bitcoin
Oops! We Automated Bullshit. | Department of Computer Science and Technologywww.cst.cam.ac.uk/blog/afb21/oops-we-automated-bullshit
600 sats \ 3 comments \ @sebastix 19 Nov 2023 tech
Grad Students Find Inevitable Patterns in Big Sets of Numbers
541 sats \ 0 comments \ @0xbitcoiner 5 Aug 2024 science
Proof of Late Work (PLW): addressing the problem of intermediaries in layer 2
2163 sats \ 9 comments \ @Tehila 2 Feb 2024 bitcoin
Why big and more frequent blocks is a bad engineering design compared to layers
599 sats \ 1 comment \ @l0k18 2 May 2023 bitcoin
Reproducible Build Proofs: Wallet Scrutiny and BitcoinBinary
635 sats \ 9 comments \ @cointastical 6 Aug 2022 bitcoin
Peritas: A Vision for Accessible Multi-sig
442 sats \ 2 comments \ @pup 26 Oct 2024 bitcoin
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb 2024 bitcoin
WikiFreedia: Wikipedia Proof-of-Concept on Nostrwww.nobsbitcoin.com/introducing-wikifreedia/
925 sats \ 4 comments \ @BitcoinIsTheFuture 24 Feb 2024 econ
Kevin Rookie Podcast - John Light on Validity Rollups , ZK-proofs, and LN | E75youtu.be/feODuDF2xv0
417 sats \ 8 comments \ @timechain 21 Oct 2022 bitcoin
Functional programming self-affirmationsnorikitech.com/posts/functional-affirmations/
172 sats \ 0 comments \ @Rsync25 26 Nov 2024 tech
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech bot
Mathematics is the study of anything that obeys the rules of logic
526 sats \ 1 comment \ @ScienceExplorist 23 Dec 2023 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
The Centrality of Stupidity in Mathematicsmathforlove.com/2024/09/the-centrality-of-stupidity-in-mathematics/
121 sats \ 1 comment \ @hn 17 Sep 2024 tech bot
Proof of Work - Peter Todd, Bitcoin Developerwww.youtube.com/watch?v=1nF0yCnRvkU&t=1954s
1729 sats \ 0 comments \ @RideandSmile 22 Jan 2024 bitcoin
@Maths is an Ai API trying to capture sats with replies
181 sats \ 8 comments \ @mallardshead 26 Jul 2023 meta