@anon
sign up
@anon
sign up
pull down to refresh
Russell O'Connor on formal verification and libsecp256k1
brink.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 Core
docs.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 Network
arxiv.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 codes
x.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 Investigation
rentalhousingjournal.com/fbi-searches-property-management-company-in-rent-price-fixing-investigation/
1545 sats
\
19 comments
\
@siggy47
5 Jun 2024
econ
Word-of-Mouth Wednesdays
3037 sats
\
39 comments
\
@Scoresby
11 Jun
meta
LNemail: Private Disposable Email via Lightning
lnemail.net/
2768 sats
\
26 comments
\
@lnemail
18 May
privacy
Computer Scientists Combine Two ‘Beautiful’ Proof Methods
www.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats
\
0 comments
\
@0xbitcoiner
6 Oct 2024
science
Balaji Srinivasan’s “Network States”
2920 sats
\
33 comments
\
@kr
10 Nov 2023
bitcoin
OpenAI board rejects Elon Musk-led $97 billion purchase offer
www.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 shape
x.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
The age-gated internet is here
reason.com/2025/07/28/the-age-gated-internet-is-here/
586 sats
\
26 comments
\
@optimism
28 Jul
privacy
more