Multiplicative Modular Nim (MuM)
arxiv.org·17h
🧮Algebraic Datatypes
Hierarchical Modeling (H-Nets)
cartesia.ai·2h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Ex-Dyson engineer to launch LTO tape holographic rival that uses cheap $5 laser diode, promises 200TB cartridges on 100m reels — but read/write speeds are unkno...
techradar.com·4h
⚛️Quantum Tape
Cactus Language • Stylistics 4
inquiryintoinquiry.com·6h
🌳Context free grammars
Researchers demonstrate error-resistant quantum gates using exotic anyons for computation
phys.org·1d
⚛️Quantum Tape
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·15m·
Discuss: Hacker News
🎯Interactive Provers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·21h·
Discuss: Hacker News
🔍Type Inference
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
We’ve discovered a new kind of magnetism. What can we do with it?
newscientist.com·5h
🧲Magnetic Recording
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·6h
🖥️Terminal Renaissance
Edsger W. Dijkstra on IPW's
cs.utexas.edu·1h·
Discuss: Hacker News
🇷🇺Soviet Computing
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·23h·
Discuss: Hacker News
🛡️Preservation Proofs
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
🧮Theoretical Computer Science
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·4d·
Discuss: Hacker News
🌐Computational Topology
Passionate enthusiast builds a fully functional processor out of old memory chips — hand-solders every wire, writes 1800 lines of assembler code, and makes it p...
tomshardware.com·1d
🧲RISC-V Archaeology