📼 Tape Combinators

Sequential Programming Models, Linear Processing, Magnetic Computation, Storage Abstractions

Random samples from a tetrahedron
johndcook.com·49m
💎Information Crystallography
LLMs and reinforcement learning
sicpers.info·1d
⚔️Lean Tactics
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
The Health Effects of Electromagnetic Radiation
huijzer.xyz·2h·
Discuss: Lobsters, Hacker News
📄PostScript
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·3h·
Discuss: Lobsters, Hacker News
🌐DNS Security
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
There will soon be AI agents working on our behalf
blog.cip.org·13h·
Discuss: Hacker News
🔲Cellular Automata
Is GRPO Broken?
neelsomaniblog.com·12h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·8h·
Discuss: DEV
💻Local LLMs
Optimal Stopping in Latent Diffusion Models
arxiv.org·1d
🧠Machine Learning
My First Week of Vibecoding
underreacted.leaflet.pub·10h·
Discuss: Hacker News
🎯Gradual Typing
LinVideo: A Post-Training Framework towards O(n) Attention in Efficient Video Generation
arxiv.org·1d
🧠Learned Codecs
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·2d·
Discuss: Hacker News, r/programming
⚡Homebrew CPUs
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·17h·
Discuss: DEV
🔍Concolic Testing
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization