Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules

In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·2d
🧮Combinator Calculus
A very short, very blunt, book note
logicmatters.net·1d
🔗Concatenative Theory
Claude Code uses WebFetch vs. WebSearch (observations, schemas, prompts)
mikhail.io·1d·
Discuss: Hacker News
💬Interactive REPLs
🎲 What makes a game tick? Part 5
mropert.github.io·13h
🗑️Dead Code
an proxy-less approach to plumbing private MCPs
reddit.com·1h·
Discuss: r/selfhosted
🛡️Capability VMs
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·1d·
Discuss: r/rust
📚Stack Allocation
Ubuntu Blog: OpenStack cloud – happy 15th anniversary!
ubuntu.com·15h
🌱Forth Kernels
Evolving Our UI Library: From Custom Components to a Hybrid Radix Approach
dev.to·9h·
Discuss: DEV
🎮Language Ergonomics
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·18h
🔗Concatenative Theory
Build a Perfect Blog with FastAPI: Full-Text Search for Posts
dev.to·4h·
Discuss: DEV
🔄Incremental Lexing
🔁 Idempotency in System Design
dev.to·2d·
Discuss: DEV
📡Network Serialization
Concatenate observation with received messages
dev.to·13h·
Discuss: DEV
📡Erlang
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·18h
Effect Inference
94% of RAG Systems Have No Backup Plan: The $2M Disaster That Proves It
dev.to·1d·
Discuss: DEV
🚂Error Propagation
Structure-Preserving MHD-Driftkinetic Discretization for Wave-Particle Interactions
arxiv.org·18h
📡Async Channels
Beating the L1 cache with value speculation (2021)
mazzo.li·1d·
🔮Branch Predictors
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·18h
Gleam
Curriculum-Augmented GFlowNets For mRNA Sequence Generation
arxiv.org·18h
🐪MinCaml
Quantum Reverse Shannon Theorem Simplified
arxiv.org·18h
📡Binary Protocols