pull down to refresh

How to transform code into arithmetic circuitswww.notamonadtutorial.com/how-to-transform-code-into-arithmetic-circuits/
111 sats \ 1 comment \ @cinthia_ledesma 16 Jan 2023 bitcoin
related
Atopile – build electronic circuit boards from codeatopile.io/
480 sats \ 1 comment \ @hn 15 Mar 2024 tech
Tapleaf Circuits: Proof-of-Concept Implementation of BitVMwww.nobsbitcoin.com/tapleaf-circuits-poc-bitvm/
484 sats \ 2 comments \ @BitcoinIsTheFuture 11 Oct 2023 bitcoin
Implementing 64-bit Arithmetic Opcodes in Bitcoin Scriptwww.dollarparity.com/implementing-64-bit-arithmetic-opcodes-in-bitcoin-script/
170 sats \ 0 comments \ @dollarparity 13 May 2024 bitcoin_beginners
Arithmetic over the M31 or BabyBear field in Bitcoin Scriptgithub.com/BitVM/rust-bitcoin-m31-or-babybear
186 sats \ 0 comments \ @Rsync25 24 Mar 2024 bitdevs
BitVM Intro: Create Logic Gates and Circuits in Pythonwww.youtube.com/watch?v=cnijtOVRwgg
222 sats \ 0 comments \ @kristapsk 19 Oct 2023 bitcoin
Opcodes Explained
3868 sats \ 4 comments \ @nym 1 Apr 2024 bitcoin
BitVM compiler: Generate a logical circuit for BitVMgithub.com/maitrebitcoin/bitcoin-bitvm-compiler
129 sats \ 0 comments \ @Rsync25 28 Oct 2023 bitcoin
Researchers isolate memorization from problem-solving in AI neural networksarstechnica.com/ai/2025/11/study-finds-ai-models-store-memories-and-logic-in-different-neural-regions/
430 sats \ 1 comment \ @0xbitcoiner 11 Nov 2025 AI
Write BitVM programs without learning circuit diagramsgithub.com/supertestnet/8bit-cpu-for-bitvm
2795 sats \ 1 comment \ @kristapsk 30 Nov 2023 bitcoin
Multiplication in Bitvm
6973 sats \ 16 comments \ @supertestnet 6 Dec 2023 bitcoin freebie
Stark Proof for BitVM Circuit Executiongithub.com/neocarmack/STARK/blob/main/STARK%20proof%20for%20BitVM%20circuit%20execution.pdf
944 sats \ 0 comments \ @Rsync25 15 Nov 2023 bitcoin
Prime Fields, Text Manglers and Progress Report on Indra
6263 sats \ 0 comments \ @l0k18 1 May 2023 bitcoin
Circuit Tracing: Revealing Computational Graphs in Language Modelstransformer-circuits.pub/2025/attribution-graphs/methods.html
110 sats \ 0 comments \ @carter 2 Apr 2025 AI
Improved Linear Key Recovery Attackseprint.iacr.org/2024/113
1639 sats \ 2 comments \ @jakoyoh629 26 Jan 2024 crypto
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)hillspace.justindujardin.com/
260 sats \ 0 comments \ @carter 14 Jul 2025 AI
MOSbius: A New Way to Learn Analog Circuit Designspectrum.ieee.org/mosbius-learning-analog-system-design
143 sats \ 0 comments \ @deSign_r 17 Aug 2025 Design
DARPA Research Leads to Discovery Of World's First Logical Qubit Circuitthedebrief.org/darpa-research-makes-a-groundbreaking-discovery-in-quantum-computing-developing-the-worlds-first-logical-qubit-circuit/
74 sats \ 0 comments \ @ch0k1 5 Jan 2024 news
Transformer based AI will not lead us to AGI/ASI and is just a hype machine
3139 sats \ 18 comments \ @cy 2 Jul 2025 AI
Anthropic Open-sources its circuit-tracing toolswww.anthropic.com/research/open-source-circuit-tracing
140 sats \ 0 comments \ @carter 30 May 2025 tech
Learn the Math of Elliptic Curve Cryptographywww.youtube.com/playlist?list=PLaAxhhFb7OVElRJ8Su_C2Xu2uA7WiBKKz
1084 sats \ 2 comments \ @Fundamentals 23 Feb Education
Do you want to try vibe coding? Here's an easy way to get started
693 sats \ 10 comments \ @Signal312 26 May 2025 devs