📼 Tape Combinators

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

Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
LLMs and reinforcement learning
sicpers.info·1d
⚔️Lean Tactics
Who Invented the Johnson Decade Counter (and Why)?
eejournal.com·3d·
Discuss: Hacker News
⚡Homebrew CPUs
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·10h·
Discuss: Lobsters, Hacker News
🌐DNS Security
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
Discuss: Hacker News, Hacker News
⚡SIMD Vectorization
The key to conversational speech recognition
datasciencecentral.com·2d
🎵Audio ML
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·4d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
🧬Functional Programming
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·21h·
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
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.org·2d
🧠Learned Codecs
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·6h·
Discuss: DEV
📏Code Metrics
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
GNN Blind Spots: The Hidden Cost of Powerful Graph Models
dev.to·18h·
Discuss: DEV
🕸️Graph Embeddings