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

The Chip That Spoke Lisp
jxself.org·6h
🖥️Lisp Machines
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·2d
🧮Combinator Calculus
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
Automatic resource cleanup in Jetpack ViewModels using AutoCloseable
dev.to·9h·
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·23h·
Discuss: r/LocalLLaMA
🏠indieweb
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·1d·
Discuss: r/rust
📚Stack Allocation
The Stack Unpacked Episode 4: to Query or Not to Query
dev.to·1d·
Discuss: DEV
🗄️Database Engines
Mechanisms for Quantum Advantage in Global Optimization of Nonconvex Functions
arxiv.org·14h
Partial Evaluation
Detecting Semantic Clones of Unseen Functionality
arxiv.org·14h
🔍Comby
Expand Neurons, Not Parameters
arxiv.org·14h
🗺️Region Polymorphism
LLM Data Detox: Erasing the Past for a Brighter AI Future
dev.to·4h·
Discuss: DEV
🌱Minimal ML
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·14h
🪜Recursive Descent
The New Economics of Open Source Data Infrastructure
thenewstack.io·1h
🗄️Database Engines
Operationalizing Data Minimization for Privacy-Preserving LLM Prompting
arxiv.org·14h
🌱Minimal ML
Optimized Minimal 4D Gaussian Splatting
arxiv.org·14h
🔄Loop Optimization