📼 Tape Algebra

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

I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·4h·
Discuss: Hacker News
⚡Proof Automation
A Manifesto for the Programming Desperado
github.com·11h·
Discuss: Hacker News
💻Programming languages
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·14h·
Discuss: DEV
📡Audio Modulation
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Make a procedurally generated planet
kayleegeorge.github.io·4h·
Discuss: Hacker News
📐Mathematical Art
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Quantum computing is "mission crtical"
federalnewsnetwork.com·14h·
Discuss: Hacker News
⚛️Quantum Tape
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
VideoMiner: Iteratively Grounding Key Frames of Hour-Long Videos via Tree-based Group Relative Policy Optimization
arxiv.org·2d
⧗Information Bottleneck
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·7h·
Discuss: DEV
⚡Incremental Computation
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·23h
⛪Church Encoding
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.org·23h
🔲Cellular Automata
Optimal Stopping in Latent Diffusion Models
arxiv.org·23h
🧠Machine Learning
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·1d·
Discuss: Substack
🧮SMT Solvers
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·23h
📼Cassette Combinators
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·23h
🧠Machine Learning
1k LEDs Is No Limit
xayax.net·1d·
Discuss: Lobsters, Hacker News
⚡Homebrew CPUs
Decoding Cultures: Why Your Video AI Isn't Truly Seeing the World by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🌍Cultural Algorithms