pull down to refresh

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
related
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Kraken will require wallet verification in two days
3681 sats \ 48 comments \ @ek 28 Dec 2024 bitcoin
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
Major Improvement of Initial Block Download (IBD)
3247 sats \ 10 comments \ @bitcoin_devs 28 Feb bitcoin
Lyn Alden on pirating *Broken Money*
1668 sats \ 21 comments \ @StillStackinAfterAllTheseYears 20 Mar 2024 econ
Miner Extractable Value (MEV) & Programmable Money: The Good, The Bad & The Ugly
3972 sats \ 7 comments \ @blockstream_official 21 Feb 2024 bitcoin
Best Temporary Burner SMS Verification Services
634 sats \ 2 comments \ @Hamstr 28 Apr 2024 security
PSA: i got shotgun-KYC scammed by PayWithMoon.com, lost $1000
4025 sats \ 17 comments \ @conduition 14 Jul bitcoin
Blitz wallet says they will soon support receiving SMS codesx.com/BlitzWalletApp/status/1964709095136743755
367 sats \ 2 comments \ @Scoresby 7 Sep lightning
Question regarding burner numbers purchased with LN
404 sats \ 1 comment \ @scottathan 14 Nov 2023 bitcoin
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
Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Scriptdelvingbitcoin.org/t/proposal-op-stark-verify-native-stark-proof-verification-in-bitcoin-script/2056
631 sats \ 7 comments \ @Scoresby 14 Oct bitcoin
Word-of-Mouth Wednesdays
3037 sats \ 39 comments \ @Scoresby 11 Jun meta
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
LNemail: Private Disposable Email via Lightninglnemail.net/
2768 sats \ 26 comments \ @lnemail 18 May privacy
Balaji Srinivasan’s “Network States”
2920 sats \ 33 comments \ @kr 10 Nov 2023 bitcoin
OpenAI board rejects Elon Musk-led $97 billion purchase offerwww.cnn.com/2025/02/14/tech/openai-board-rejects-musk-purchase-offer/index.html
363 sats \ 0 comments \ @ch0k1 15 Feb news
Civkit Reputation system starting to take shapex.com/gregory_nico/status/1787813343475966460
370 sats \ 0 comments \ @nicosey 8 May 2024 bitcoin
SIGit - Decentralised Document Signing
1657 sats \ 8 comments \ @sigit 1 Jun 2024 nostr