pull down to refresh

Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun 2025 tech
related
Arithmetic over the M31 or BabyBear field in Bitcoin Scriptgithub.com/BitVM/rust-bitcoin-m31-or-babybear
171 sats \ 0 comments \ @Rsync25 24 Mar 2024 bitdevs
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
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
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
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]www.jjj.de/fxt/fxtbook.pdf
85 sats \ 0 comments \ @hn 7 Mar 2025 tech
Preserving a floppy disk with a logic analyzer and a serial cablewww.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats \ 0 comments \ @hn 6 Jul 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar 2025 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan 2025 tech
Making memcpy(NULL, NULL, 0) well-defineddevelopers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats \ 0 comments \ @hn 11 Dec 2024 tech
Computing with Time: Microarchitectural Weird Machinescacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats \ 0 comments \ @hn 25 Nov 2024 tech
NumPy-style broadcasting in Futharkfuthark-lang.org/blog/2024-06-17-automap.html
37 sats \ 0 comments \ @hn 18 Jun 2024 tech
ThreadPlotter – toolkit for punch needle embroidery with X-Y plotters (2020)github.com/LiciaHe/threadPlotter
21 sats \ 0 comments \ @hn 16 Aug 2024 tech
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 2024 tech
Majorana, the search for the most elusive neutrino of allnewscenter.lbl.gov/2012/05/16/majorana-demonstrator/
337 sats \ 0 comments \ @hn 26 May 2024 tech
Arithmetic over the M31 field assuming OP_MUL and OP_DIV in Bitcoin Scriptgithub.com/Bitcoin-Wildlife-Sanctuary/rust-bitcoin-m31-with-muldiv
10 sats \ 0 comments \ @Rsync25 18 May 2024 bitdevs
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)hillspace.justindujardin.com/
230 sats \ 0 comments \ @carter 14 Jul 2025 AI
Computation Is All Around Us, and You Can See It if You Try
242 sats \ 0 comments \ @0xbitcoiner 12 Jun 2024 science
Clever Concrete Computewww.raspberrypi.com/news/clever-concrete-compute/
684 sats \ 1 comment \ @0xbitcoiner 23 Jan 2025 Construction_and_Engineering
To Have Machines Make Math Proofs, Turn Them Into a Puzzlewww.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/
238 sats \ 0 comments \ @0xbitcoiner 11 Nov 2025 AI
Non-computability of solutions of certain equations on digital computers (2022)arxiv.org/abs/2205.12626
31 sats \ 0 comments \ @hn 4 Aug 2024 tech
Mathematical poetry
644 sats \ 6 comments \ @StillStackinAfterAllTheseYears 23 May 2024 BooksAndArticles