pull down to refresh

Turing complete semantics for smart contracts?
10 sats \ 0 comments \ @Bell_curve 31 Oct 2024 bitdevs
related
Turing Completeness and Smart Contract Security (2019)medium.com/kadena-io/turing-completeness-and-smart-contract-security-67e4c41704c
64 sats \ 0 comments \ @Bell_curve 1 Nov 2024 bitcoin
The World Depends on 60-Year-Old Code No One Knows Anymorewww.pcmag.com/articles/ibms-plan-to-update-cobol-with-watson
21 sats \ 0 comments \ @oliverweiss 29 Dec 2023 tech
$1 Million Bitcoin (BTC) Advocate Samson Mow Sends Crucial Message to Communityu.today/1-million-bitcoin-btc-advocate-samson-mow-sends-crucial-message-to-community
153 sats \ 6 comments \ @ch0k1 3 Feb 2024 bitcoin
FOSS politics or Not FOSS politics, that is the question
41 sats \ 10k boost \ 2 comments \ @theariard 25 Apr 2025 bitcoin
Phantom is Adding Bitcoin Supporttwitter.com/phantom/status/1737133436278546863
239 sats \ 2 comments \ @kr 20 Dec 2023 bitcoin freebie
Has the adoption of bitcoin been what you expected it to be after 15 years?
63 sats \ 1 comment \ @B_for_Bitcoin 16 Jul 2024 bitcoin
Replacing trust with cryptographic proofs
427 sats \ 0 comments \ @DiedOnTitan 4 Oct 2025 bitcoin
Have Cryptos Arrived? (Financial Times, Philip Stafford)www.ft.com/content/fc90d99b-8f03-4e30-a6e2-6689db28b632
988 sats \ 6 comments \ @denlillaapan 23 Jun 2025 bitcoin
WTF is Bitcoin?
4496 sats \ 25 comments \ @72757cc6bc 2 Feb bitcoin
Nic Carter: quantum computers are a problem bitcoiners must deal with RIGHT NOW!murmurationstwo.substack.com/p/bitcoin-and-the-quantum-problem-part-47f
2335 sats \ 37 comments \ @Scoresby 28 Nov 2025 bitcoin
You Are Not Late (to Bitcoin)
9145 sats \ 31 comments \ @dk 21 Nov 2024 bitcoin
Opinion: Why there will never be another Bitcoin
98 sats \ 1 comment \ @jakoyoh629 25 May 2024 bitcoin_beginners
Bitcoin: The Digital Commune We’ve All Been Waiting For
547 sats \ 0 comments \ @CarlTuckerson 24 Apr 2025 bitcoin
The financial world was on its knees
67 sats \ 0 comments \ @hasherstacker 2 Nov 2025 bitcoin_beginners
Why Bitcoin Over Any Other Cryptocurrency?
38 sats \ 13 comments \ @kurszusz 22 Nov 2023 bitcoin
Bitcoin smart contracts
27 sats \ 1 comment \ @orto 27 Aug 2023 bitcoin
Bitcoin Smart Contractswww.sazmining.com/blog-post/bitcoin-smart-contracts
25 sats \ 0 comments \ @cryptocoin 13 Oct 2022 bitcoin
Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
51 sats \ 0 comments \ @Rsync25 20 Dec 2024 bitdevs
Programming languages are just contracts between programmers and computers
209 sats \ 6 comments \ @tonyaldon 19 Jan AI
On Cryptographic Contractscitadelium.com/on-cryptographic-contracts/
412 sats \ 0 comments \ @DarthCoin 1 Sep 2022 bitcoin
Bithoven: A Formally Verified, Imperative Smart Contract Language for Bitcoindelvingbitcoin.org/t/bithoven-a-formally-verified-imperative-smart-contract-language-for-bitcoin/2189
136 sats \ 102 boost \ 1 comment \ @Scoresby 21 Jan bitcoin