pull down to refresh

Turing complete semantics for smart contracts?
10 sats \ 0 comments \ @Bell_curve 31 Oct 2024 bitdevs
related
Bitcoin: A Misunderstood Revolution
10k sats \ 23 comments \ @jimmysong 31 Oct 2023 bitcoin
You Are Not Late (to Bitcoin)
9145 sats \ 31 comments \ @dk 21 Nov 2024 bitcoin
Ordinals are a Fiat Scam
10.4k sats \ 17 comments \ @jimmysong 22 Mar 2024 bitcoin
BitVM Workshop: Smart Contracts With Rich State by Super Testnetwww.youtube.com/watch?v=LwH9fhY4uGA
1967 sats \ 0 comments \ @supertestnet 3 Mar 2024 bitcoin
Launching Sovereign Chat - FOSS AI that answers all questions about Privacygeyser.fund/project/sovereignchat/
2396 sats \ 9 comments \ @Marconius_Solidus 23 Apr 2024 privacy
Have Cryptos Arrived? (Financial Times, Philip Stafford)www.ft.com/content/fc90d99b-8f03-4e30-a6e2-6689db28b632
988 sats \ 6 comments \ @denlillaapan 23 Jun bitcoin
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Smart Contracts? Thoughts from an IP and Contract Attorneywww.stephankinsella.com/2022/02/libertarian-answer-man-smart-contracts/
1215 sats \ 3 comments \ @kepford 19 Apr 2024 bitcoin
Large Language Models Pass the Turing Testarxiv.org/pdf/2503.23674
364 sats \ 11 comments \ @south_korea_ln 15 Apr AI
Tree++: A language for smarter Bitcoin contractsbitvm.org/treeplusplus.html
195 sats \ 0 comments \ @Rsync25 12 Jun 2024 bitdevs
Introduce sCrypt: a Layer-1 Smart Contract Framework for BTCxiaohuiliu.medium.com/introduce-scrypt-a-layer-1-smart-contract-framework-for-btc-b8b39c125c1a
827 sats \ 0 comments \ @Gian 10 Jan 2024 bitcoin
Phantom is Adding Bitcoin Supporttwitter.com/phantom/status/1737133436278546863
239 sats \ 2 comments \ @kr 20 Dec 2023 bitcoin freebie
Simfony IDE: high-level language for writing Bitcoin smart contracts by Liquidsimfony.dev/
131 sats \ 0 comments \ @Rsync25 5 Jun 2024 bitdevs
Automated Prompt Engineeringtowardsdatascience.com/automated-prompt-engineering-78678c6371b9
297 sats \ 0 comments \ @ch0k1 10 Mar 2024 tech
RGB smart contracts by example · Maxim Orlovskygithub.com/orgs/RGB-WG/discussions/218
188 sats \ 2 comments \ @nout 24 Nov 2022 bitcoin
On Cryptographic Contractscitadelium.com/on-cryptographic-contracts/
412 sats \ 0 comments \ @DarthCoin 1 Sep 2022 bitcoin
Grok 3 Beta — The Age of Reasoning Agentsx.ai/blog/grok-3
763 sats \ 7 comments \ @k00b 20 Feb AI
What Is the Simplicity Smart Contracting Language?www.youtube.com/watch?v=n4iLNNF3sU0
6220 sats \ 0 comments \ @pietro1861 25 May 2023 bitcoin
The Risks of Expressive Smart Contracts: Lessons from the Latest Ethereum Hackblog.blockstream.com/the-risks-of-expressive-smart-contracts-lessons-from-the-latest-ethereum-hack/
161 sats \ 2 comments \ @k00b 25 Feb security
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
Bitcoin layer 2 contracts specifications using TLA+github.com/pool2win/bitcoin-contracts-tlaplus
265 sats \ 0 comments \ @Rsync25 1 Oct 2023 bitcoin