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

The Chip That Spoke Lisp
jxself.org·19h
🖥️Lisp Machines
Higher-Level Design Patterns
qouteall.fun·4d·
Discuss: Hacker News
Algebraic Effects
Issue 492
haskellweekly.news·5d·
Discuss: Hacker News
functional programming
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·1d·
Discuss: Hacker News
⚖️Inference Rules
Why Raft's Single-Log-Entry Configuration Change Doesn't Work (and why Joint Consensus uses 2 entries)
reddit.com·18h·
Discuss: r/compsci
🎯Ring Buffers
Radar Trends to Watch: October 2025
oreilly.com·18h
🎭Program Synthesis
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·1d·
Discuss: r/LocalLLaMA
🏠indieweb
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·1d·
Discuss: r/rust
📚Stack Allocation
Automatic resource cleanup in Jetpack ViewModels using AutoCloseable
dev.to·21h·
Discuss: DEV
📦Closure Capture
🔁 Idempotency in System Design
dev.to·3d·
Discuss: DEV
📡Network Serialization
Build a Perfect Blog with FastAPI: Full-Text Search for Posts
dev.to·12h·
Discuss: DEV
🔄Incremental Lexing
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·20h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Symmetry and non-Hermiticity controlled Majorana braiding
journals.aps.org·5h
Mathematical DSLs
Intuit’s Numaflow Abstracts Away Infrastructure for ML Engineers
thenewstack.io·1d·
Discuss: Hacker News
📡Erlang BEAM
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·1d
🌱Minimal ML
Dynamic Scheduling in Fiber and Spaceborne Quantum Repeater Networks
arxiv.org·2h
🌱Green Threads
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·11h·
Discuss: DEV
📦Monorepos