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
BitVM Intro: Create Logic Gates and Circuits in Pythonwww.youtube.com/watch?v=cnijtOVRwgg
222 sats \ 0 comments \ @kristapsk 19 Oct 2023 bitcoin
Write BitVM programs without learning circuit diagramsgithub.com/supertestnet/8bit-cpu-for-bitvm
2795 sats \ 1 comment \ @kristapsk 30 Nov 2023 bitcoin
Opcodes Explained
3868 sats \ 4 comments \ @nym 1 Apr 2024 bitcoin
Garbled Circuits explained
882 sats \ 2 comments \ @bitcoin_devs 7 Mar 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
Multiplication in Bitvm
6973 sats \ 16 comments \ @supertestnet 6 Dec 2023 bitcoin freebie
LLM weights small enough to fit in a bitcoin tx
4307 sats \ 2 comments \ @rijndael 2 Jun AI bitcoin
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
ECDSA.fail - can you break ECDSA?www.ecdsa.fail/
1147 sats \ 4 comments \ @Scoresby 2 Jun tech bitcoin
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)hillspace.justindujardin.com/
260 sats \ 0 comments \ @carter 14 Jul 2025 AI
Improved Linear Key Recovery Attackseprint.iacr.org/2024/113
1639 sats \ 2 comments \ @jakoyoh629 26 Jan 2024 crypto
PrismML — 1-bit and Ternary Bonsai Image 4B: Image Generation for Local Devicesprismml.com/news/bonsai-image-4b
252 sats \ 1 comment \ @DEADBEEF 28 May AI
Google researchers produce new quantum computer model requiring 20x fewer qubitsresearch.google/blog/safeguarding-cryptocurrency-by-disclosing-quantum-vulnerabilities-responsibly/
907 sats \ 13 comments \ @Scoresby 31 Mar news tech
Learn the Math of Elliptic Curve Cryptographywww.youtube.com/playlist?list=PLaAxhhFb7OVElRJ8Su_C2Xu2uA7WiBKKz
1084 sats \ 2 comments \ @Fundamentals 23 Feb Education
How Terry Tao Became an Evangelist for AI in Mathwww.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
1562 sats \ 2 comments \ @0xbitcoiner 9 Jun AI math science
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
Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoin - Alpen Labeprint.iacr.org/2026/812
516 sats \ 0 comments \ @Scoresby 20 May bitcoin
Do you want to try vibe coding? Here's an easy way to get started
693 sats \ 10 comments \ @Signal312 26 May 2025 devs