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

The Chip That Spoke Lisp
jxself.org·4h
🖥️Lisp Machines
Higher-Level Design Patterns
qouteall.fun·4d·
Discuss: Hacker News
Algebraic Effects
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·1d·
Discuss: Hacker News
⚖️Inference Rules
Issue 492
haskellweekly.news·5d·
Discuss: Hacker News
functional programming
Radar Trends to Watch: October 2025
oreilly.com·3h
🎭Program Synthesis
Why Raft's Single-Log-Entry Configuration Change Doesn't Work (and why Joint Consensus uses 2 entries)
reddit.com·3h·
Discuss: r/compsci
🎯Ring Buffers
Automatic resource cleanup in Jetpack ViewModels using AutoCloseable
dev.to·6h·
Discuss: DEV
📦Closure Capture
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·2d·
Discuss: Hacker News
🌲Tree Rewriting
Kiln RAG Builder: Now with Local & Open Models
reddit.com·20h·
Discuss: r/LocalLLaMA
🏠indieweb
Intuit’s Numaflow Abstracts Away Infrastructure for ML Engineers
thenewstack.io·1d·
Discuss: Hacker News
📡Erlang BEAM
Vector Trifference
arxiv.org·12h
🎯Bit Vectors
Serverless CI/CD: How I Replaced Jenkins with AWS Lambda and Cut Costs by 93%
dev.to·2d·
Discuss: DEV
🚂Cranelift IR
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.com·3h
🔗Category Theory
Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
arxiv.org·12h
🔄Loop Optimization
Files-are-Not-Just-Data-A-Guide-to-Robust-File-Handling
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Active pattern formation emergent from single-species nonreciprocity
arxiv.org·12h
📡Async Channels
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Mechanisms for Quantum Advantage in Global Optimization of Nonconvex Functions
arxiv.org·12h
Partial Evaluation
🔁 Idempotency in System Design
dev.to·2d·
Discuss: DEV
📡Network Serialization