pull down to refresh

How to transform code into arithmetic circuitswww.notamonadtutorial.com/how-to-transform-code-into-arithmetic-circuits/
110 sats \ 1 comment \ @cinthia_ledesma 16 Jan 2023 bitcoin
related
Implementing 64-bit Arithmetic Opcodes in Bitcoin Scriptwww.dollarparity.com/implementing-64-bit-arithmetic-opcodes-in-bitcoin-script/
75 sats \ 0 comments \ @dollarparity 13 May 2024 bitcoin_beginners
Multiplication in Bitvm
6973 sats \ 16 comments \ @supertestnet 6 Dec 2023 bitcoin freebie
Introduction to Programmingwww.teamten.com/lawrence/programming/intro/
119 sats \ 0 comments \ @0xbitcoiner 6 May 2024 devs
Implement 64 bit arithmetic op codes in the Script interpreter by Christewartgithub.com/bitcoin/bitcoin/pull/29221
21 sats \ 0 comments \ @Rsync25 11 Jan 2024 bitcoin
BitVM compiler: Generate a logical circuit for BitVMgithub.com/maitrebitcoin/bitcoin-bitvm-compiler
128 sats \ 0 comments \ @Rsync25 28 Oct 2023 bitcoin
BitVM Intro: Create Logic Gates and Circuits in Pythonwww.youtube.com/watch?v=cnijtOVRwgg
221 sats \ 0 comments \ @kristapsk 19 Oct 2023 bitcoin
zkalc: Cryptographic Calculatorzka.lc/
10 sats \ 0 comments \ @Rsync25 21 Nov 2024 tech
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
Clever Concrete Computewww.raspberrypi.com/news/clever-concrete-compute/
684 sats \ 1 comment \ @0xbitcoiner 23 Jan Construction_and_Engineering
LogicGates: Logical gates in Python for different scenarios in BitVMgithub.com/mcbagz/LogicGates
32 sats \ 0 comments \ @Rsync25 26 Nov 2023 bitcoin
Write BitVM programs without learning circuit diagramsgithub.com/supertestnet/8bit-cpu-for-bitvm
2785 sats \ 1 comment \ @kristapsk 30 Nov 2023 bitcoin
Programming for Computations - Pythonlibrary.oapen.org/bitstream/handle/20.500.12657/23103/1007055.pdf?sequence=1&isAllowed=y
53 sats \ 0 comments \ @sdtyv 9 Dec 2023 BooksAndArticles
Atopile – build electronic circuit boards from codeatopile.io/
380 sats \ 1 comment \ @hn 15 Mar 2024 tech
Invert conventional logic
273 sats \ 2 comments \ @cryotosensei 29 Jul 2024 ideasfromtheedge
Multiply Two Integers in Bitcoin Scriptgist.github.com/RobinLinus/29bc91137eded0fa22364e99d185b102
97 sats \ 0 comments \ @Rsync25 22 Oct 2023 bitcoin
Algorithm = Logic and Control [pdf]www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf
50 sats \ 0 comments \ @Rsync25 6 Nov 2024 tech
Programmable Cryptography (Part 1)0xparc.org/blog/programmable-cryptography-1
60 sats \ 0 comments \ @Rsync25 7 Nov 2024 tech
Looo.lol – a binary math sitelooo.lol/
100 sats \ 1 comment \ @hn 6 Jan 2024 tech
How AI code generation works.github.blog/2024-02-22-how-ai-code-generation-works/
21 sats \ 0 comments \ @co574 22 Feb 2024 tech
[Math] Decode The Message
87 sats \ 6 comments \ @0xbitcoiner 3 Nov 2024 Memes
Tapleaf Circuits: Proof-of-Concept Implementation of BitVMwww.nobsbitcoin.com/tapleaf-circuits-poc-bitvm/
483 sats \ 2 comments \ @BitcoinIsTheFuture 11 Oct 2023 bitcoin