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
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
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·1d·
Discuss: r/rust
📚Stack Allocation
Homophily-induced Emergence of Biased Structures in LLM-based Multi-Agent AI Systems
arxiv.org·1d
🪞Homoiconicity
From Shadow to Light: Toward Safe and Efficient Policy Learning Across MPC, DeePC, RL, and LLM Agents
arxiv.org·16h
🪜Recursive Descent
The New Economics of Open Source Data Infrastructure
thenewstack.io·3h
🗄️Database Engines
Operationalizing Data Minimization for Privacy-Preserving LLM Prompting
arxiv.org·16h
🌱Minimal ML
Optimized Minimal 4D Gaussian Splatting
arxiv.org·16h
🔄Loop Optimization
Transductive and Learning-Augmented Online Regression
arxiv.org·16h
🪜Recursive Descent
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
horcrux: Split files into encrypted fragments for Node & React Native (TypeScript library)
dev.to·14h·
Discuss: DEV
Gleam
Evolving Our UI Library: From Custom Components to a Hybrid Radix Approach
dev.to·7h·
Discuss: DEV
🎮Language Ergonomics
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·16h
🔗Concatenative Theory
Build a Perfect Blog with FastAPI: Full-Text Search for Posts
dev.to·2h·
Discuss: DEV
🔄Incremental Lexing
🔁 Idempotency in System Design
dev.to·2d·
Discuss: DEV
📡Network Serialization
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·16h
Effect Inference
94% of RAG Systems Have No Backup Plan: The $2M Disaster That Proves It
dev.to·22h·
Discuss: DEV
🚂Error Propagation
Structure-Preserving MHD-Driftkinetic Discretization for Wave-Particle Interactions
arxiv.org·16h
📡Async Channels