📼 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
Efficient and accurate search in petabase-scale sequence repositories
nature.com·3d·
Discuss: Hacker News
🔄Burrows-Wheeler
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Lobsters Interview with Zdsmith
lobste.rs·1d·
Discuss: Lobsters
🔗Concatenative Programming
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·5d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Let's Write a Macro in Rust
hackeryarn.com·1d·
Discuss: Hacker News
🦀Rust Macros
1k LEDs Is No Limit
xayax.net·2d·
Discuss: Lobsters, Hacker News
⚡Homebrew CPUs
Building Repo Bench
repoprompt.com·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·4d
🧮Kolmogorov Bounds
The Conveyor Belt Protocol: Understanding Iterators
dev.to·19h·
Discuss: DEV
🧬Functional Programming
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
GNN Blind Spots: The Hidden Cost of Powerful Graph Models
dev.to·21h·
Discuss: DEV
🕸️Graph Embeddings
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·1d·
Discuss: Hacker News
⚡Incremental Computation
The Markovian Thinker
arxiv.org·2d
🧠Intelligence Compression
Refactoring: A way to write better Code
dev.to·21h·
Discuss: DEV
⚙️Operational Semantics
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings