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

In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·1d
🧮Combinator Calculus
A very short, very blunt, book note
logicmatters.net·13h
🔗Concatenative Theory
Higher-Level Design Patterns
qouteall.fun·3d·
Discuss: Hacker News
Algebraic Effects
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·20h·
Discuss: Hacker News
⚖️Inference Rules
Issue 492
haskellweekly.news·4d·
Discuss: Hacker News
functional programming
Kiln RAG Builder: Now with Local & Open Models
reddit.com·11h·
Discuss: r/LocalLLaMA
🏠indieweb
sevenDB : reactive yet scalable
reddit.com·1d·
Discuss: r/golang
📋Souffle Datalog
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🌲Tree Rewriting
Intuit’s Numaflow Abstracts Away Infrastructure for ML Engineers
thenewstack.io·16h·
Discuss: Hacker News
📡Erlang BEAM
Index-mcp native Rust
github.com·17h·
Discuss: r/rust
🚂Cranelift Backend
Vector Trifference
arxiv.org·2h
🎯Bit Vectors
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·2h
🎲Parser Fuzzing
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·16h·
Discuss: r/rust
📚Stack Allocation
Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
arxiv.org·2h
🔄Loop Optimization
🔁 Idempotency in System Design
dev.to·2d·
Discuss: DEV
📡Network Serialization
Serverless CI/CD: How I Replaced Jenkins with AWS Lambda and Cut Costs by 93%
dev.to·1d·
Discuss: DEV
🚂Cranelift IR
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Files-are-Not-Just-Data-A-Guide-to-Robust-File-Handling
dev.to·16h·
Discuss: DEV
🎮Language Ergonomics