📼 Tape Combinators

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

Random samples from a tetrahedron
johndcook.com·4h
💎Information Crystallography
LLMs and reinforcement learning
sicpers.info·1d
⚔️Lean Tactics
The Health Effects of Electromagnetic Radiation
huijzer.xyz·5h·
Discuss: Lobsters, Hacker News
📄PostScript
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·6h·
Discuss: Lobsters, Hacker News
🌐DNS Security
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
Discuss: Hacker News, Hacker News
⚡SIMD Vectorization
Is GRPO Broken?
neelsomaniblog.com·15h·
Discuss: Hacker News
🧮Kolmogorov Bounds
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·3d·
Discuss: Hacker News, r/programming
⚡Homebrew CPUs
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·20h·
Discuss: DEV
🔍Concolic Testing
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·2h·
Discuss: DEV
📊Quantization
The key to conversational speech recognition
datasciencecentral.com·1d
🎵Audio ML
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·18h·
Discuss: Hacker News
⬌Bidirectional Typing
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·2d·
Discuss: DEV
⚡Cache Theory
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·17h·
Discuss: Hacker News
⚡Proof Automation
Property-based testing of batch-invariant operations
mmaaz.ca·5d·
Discuss: Hacker News
🧪Property-Based Testing
VideoMiner: Iteratively Grounding Key Frames of Hour-Long Videos via Tree-based Group Relative Policy Optimization
arxiv.org·3d
⧗Information Bottleneck
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·2d
💻Local LLMs
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning