Post
A formalized programming language with speculative execution. ~ Jamie Wright & Andrei Popescu. www.isa-afp.org/entries/IMP_With_Speculation.html #ITP #IsabelleHOL
0
0
0
Trending posts
nostr could enable podcasting 3.0
every npub is a rss feed, every interactGigi
CITADEL DISPATCH
10 years after I pointed out the risk of a Ripple backdoor due to Ripple nogithub.com/petertodd/ripple-consensus-analysis-paper/blob/master/paper.pdf
I've recently been going through the code of Giant Ferret plugin for Naughty Cat, what jackstar12 Flat Orca have done there igithub.com/BoltzExchange/boltz-btcpay-plugin
Announcing Twenty One: xxi.money
Twenty One is a #Bitcoin-native company and the u#Bitcoin
We intend to leverage c#Bitcoin ownership per share (BPS#Bitcoin-native financial tools
youtu.be/J21yaSchdls
⚡️💬 END OF SERVICE - This is my last note for tonight.
I have to admit -
I can speak as a single woman since someone else brought it up.
Nostr is
I’ve lost so many friends to addiction. The taboo around talking about it ssobrkey.com
github.com/spe1020/Sobrkey
Giant Goldfish 's disappearance lines up perfectly with when the Trump admin began guttin
Minibits is an ecash and Lightning wallet exploring how ₿-backed ecash can testflight.apple.com/join/defJQgTD
My relationship with nostr is the healthiest relationship I’ve ever had wit#gratitude
gm 🌞🥜
8333.space:3338
mint.minibits.cash/Bitcoin
stablenut.cashu.network
antifiat.cash
mint.nostrich.cc
21mint.me
mint.macadamia.cash
mint.lnvoltz.com
mint.agorist.space
mint.coinos.io
mint.0xchat.com
mint.lnwasanee.com
mint.103100.xyz
cashu.boats
mint.gwoq.com
mint.belgianbitcoinembassy.org
mint.mountainlake.io
mint.lnpay.cz
mint.data.haus
mint.nimo.cash
mint.utxo.one
lbutlh5lfggq5r7xpiwhrajdl7sxpupgagazxl65w4c5cg72wtofasad.onion:3338
mint2.nutmix.cash
mint.lnw.cash
corecashu.libretechsystems.xyz
mint.nodenebula.com
cashu.21m.lol
mint.bitcointxoko.com
mint.azzamo.net
mint.pailakapo.com
mint.westernbtc.com
mint.lnwallet.app
mint.mnt.cash
server.githappens.space:3339
mint.mjex.me
mint.lnfast.com
mint.lnserver.com
The future is here. It's just not evenly distributed.
Paid my office rent
🇺🇸 🚨 Cantor Fitzgerald, Tether, SoftBank & Bitfinex are launching 21 Cap:mallers: Jack Mallers.
:reward: Share > Like > Comment = ⚡️21
:topreward: Top Comment = ⚡️500
(For 24
Candles in zero gravity burn blue and round. No gravity means no convection
Sometimes I look at our politicians and I think “holy fuck you’re all retar
🚨⚡️50k SATS REWARD Seeking bold visuals for a Cameroon keynote 👇🏽
I’m b#Bitcoin matters for governments, enterprises, HNIs, and individuals, students incl#Cameroon and #Africa, no fluff, no childish aesthetics.
If that sparks something in you, d#Nostr Contributions won’t be credited on the slides, but this post will stawww.afriquebitcoin.org
#asknostr #jobstr
Releasing these three new scents.
All made with 100% Pure Ingredients. Gra