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 2025 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 2025 bitcoin
Kraken will require wallet verification in two days
3681 sats \ 48 comments \ @ek 28 Dec 2024 bitcoin
Major Improvement of Initial Block Download (IBD)
3247 sats \ 10 comments \ @bitcoin_devs 28 Feb 2025 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 \ 25k boost \ 7 comments \ @blockstream_official 21 Feb 2024 bitcoin
PSA: i got shotgun-KYC scammed by PayWithMoon.com, lost $1000
4025 sats \ 17 comments \ @conduition 14 Jul 2025 bitcoin
Future of work via Bitcoin ❓
7014 sats \ 38 comments \ @davidw 3 Feb 2024 bitcoin freebie
Best Temporary Burner SMS Verification Services
634 sats \ 2 comments \ @Hamstr 28 Apr 2024 security
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 2025 bitcoin
Question regarding burner numbers purchased with LN
404 sats \ 1 comment \ @scottathan 14 Nov 2023 bitcoin
Blitz wallet says they will soon support receiving SMS codesx.com/BlitzWalletApp/status/1964709095136743755
367 sats \ 2 comments \ @Scoresby 7 Sep 2025 lightning
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
Hawaii Supreme Court Goes Full Clown on 2A... 🤡
1063 sats \ 5 comments \ @Atreus 10 Feb 2024 culture
Word-of-Mouth Wednesdays
3037 sats \ 39 comments \ @Scoresby 11 Jun 2025 meta
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar 2025 lightning
LNemail: Private Disposable Email via Lightninglnemail.net/
2768 sats \ 26 comments \ @lnemail 18 May 2025 privacy
Balaji Srinivasan’s “Network States”
2920 sats \ 33 comments \ @kr 10 Nov 2023 bitcoin
3 Erdos problems solved within a week by GPT 5.2 Prowww.erdosproblems.com/forum/thread/397
650 sats \ 9 comments \ @zuspotirko 11 Jan science tech AI
SIGit - Decentralised Document Signing
1657 sats \ 8 comments \ @sigit 1 Jun 2024 nostr
The age-gated internet is herereason.com/2025/07/28/the-age-gated-internet-is-here/
586 sats \ 26 comments \ @optimism 28 Jul 2025 privacy
Not in The Prophecies: Practical Attacks on Nostrcrypto-sec-n.github.io/
4080 sats \ 7 comments \ @ek 7 Aug 2025 nostr