📼 Tape Combinators

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

Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·21h
🎯Performance Proofs
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
The Lobster Programming Language
strlen.com·23h·
Discuss: Hacker News
🔗Concatenative Programming
Mojo Vision
docs.modular.com·14h·
Discuss: Hacker News
🔩Systems Programming
NVFP4 Trains with Precision of 16-Bit and Speed and Efficiency of 4-Bit
developer.nvidia.com·1d·
Discuss: Hacker News, Hacker News
🧠Learned Codecs
Minimal Multi-Stage Form Wizard with AI Review
dev.to·1h·
Discuss: DEV
✨Effect Handlers
LLMs: Common terms explained, simply
newsletter.eng-leadership.com·2d·
Discuss: Hacker News, r/programming
🧠Intelligence Compression
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·1d
⚡Proof Automation
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·1d·
Discuss: Hacker News
🎯Performance Forensics
The Awareness Paradox — How Attention Makes Us Brilliant and Blind🧠🔦🤹
dev.to·11h·
Discuss: DEV
🎯Threat Hunting
Linear Dynamics meets Linear MDPs: Closed-Form Optimal Policies via Reinforcement Learning
arxiv.org·14h
🔲Cellular Automata
On the Edge of Memorization in Diffusion Models
arxiv.org·14h
📊Learned Metrics
Understanding Convolutions: The Sliding Window of Insight
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·14h
🤝Consensus Protocols
MSNav: Zero-Shot Vision-and-Language Navigation with Dynamic Memory and LLM Spatial Reasoning
arxiv.org·14h
🌀Hyperbolic Geometry
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·2d·
Discuss: Hacker News
⚙️Compression Benchmarking
Evaluating Movement Initiation Timing in Ultimate Frisbee via Temporal Counterfactuals
arxiv.org·14h
🔲Cellular Automata
E-BayesSAM: Efficient Bayesian Adaptation of SAM with Self-Optimizing KAN-Based Interpretation for Uncertainty-Aware Ultrasonic Segmentation
arxiv.org·14h
🧠Machine Learning
Better Language Model-Based Judging Reward Modeling through Scaling Comprehension Boundaries
arxiv.org·14h
🔗Monadic Parsing