📼 Tape Algebra

Sequential Computation Models, Magnetic Recording Theory, Linear Processing, Storage Mathematics

Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·18h
📐Compression Bounds
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
💎Information Crystallography
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
High-Quality Video Tape Conversion for Homes and Businesses
forums.anandtech.com·15h
📼Tape Simulation
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·3h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Sales pitch about why you should learn statistics
minireference.com·4h
🧠Intelligence Compression
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·6h
📐Mathematical Art
Categorical systems theory
topos.institute·10h
🔀Category Theory
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Mathematical model of memory suggests 7 senses are optimal
skoltech.ru·1d·
Discuss: Hacker News
🔲Cellular Automata
From RNNs to ChatGPT: The Paper That Changed How AI Thinks 🤖
dev.to·5h·
Discuss: DEV
🎧Learned Audio
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·5h·
Discuss: Hacker News
📐Linear Algebra
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·18h
⚛️Quantum Storage
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·2h·
Discuss: Hacker News
🛡️Error Boundaries
Someone programmed a 65-year old computer to play Boards of Canada's 'Olson'
engadget.com·8h·
Discuss: Hacker News
🎵Gameboy Sound
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·18h
🧮Theorem Proving
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle