⚡ Fusion Laws

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

The Chip That Spoke Lisp
jxself.org·1d
🖥️Lisp Machines
Issue 492
haskellweekly.news·6d·
Discuss: Hacker News
⚡functional programming
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·2d·
Discuss: Hacker News
⚖️Inference Rules
Higher-Level Design Patterns
qouteall.fun·5d·
Discuss: Hacker News
⚡Algebraic Effects
Why Raft's Single-Log-Entry Configuration Change Doesn't Work (and why Joint Consensus uses 2 entries)
reddit.com·1d·
Discuss: r/compsci
🎯Ring Buffers
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·2d·
Discuss: Hacker News
🌲Tree Rewriting
Automatic resource cleanup in Jetpack ViewModels using AutoCloseable
dev.to·1d·
Discuss: DEV
📦Closure Capture
Radar Trends to Watch: October 2025
oreilly.com·1d
🎭Program Synthesis
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·1d·
Discuss: r/rust
📚Stack Allocation
Kiln RAG Builder: Now with Local & Open Models
reddit.com·1d·
Discuss: r/LocalLLaMA
🏠indieweb
🔁 Idempotency in System Design
dev.to·3d·
Discuss: DEV
📡Network Serialization
Build a Perfect Blog with FastAPI: Full-Text Search for Posts
dev.to·19h·
Discuss: DEV
🔄Incremental Lexing
Symmetry and non-Hermiticity controlled Majorana braiding
journals.aps.org·12h
∫Mathematical DSLs
Uncertainty assessment in satellite-based greenhouse gas emissions estimates using emulated atmospheric transport
arxiv.org·9h
⚡Partial Evaluation
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·2d
📋Souffle Datalog
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·1d
🧩Constraint Solvers
The Tower of Babel in Reverse
lesswrong.com·16h
💫Effect Systems
Efficient Quantum Hermite Transform
arxiv.org·1d
⚡Partial Evaluation
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·1d
🔍ML Language
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·1d
✨Effect Inference