📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

A path toward removal of kernel high-memory support
lwn.net·1d
🔩Systems Programming
A profile in courage
denovo.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
CSV Injection - silverstripecmsv6.0.0
seclists.org·2d
📡RSS Extensions
Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·12h·
Discuss: Hacker News
🖥️Terminal Renaissance
Fill Harmonics, the crossword puzzle music machine
parkerhiggins.net·2d·
Discuss: Hacker News
🎹MIDI Archaeology
Does the world need another distributed queue?
techblog.cloudkitchens.com·1d·
Discuss: r/programming
🌊Streaming Systems
Axum Backend Series - Introduction | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚡gRPC
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🌀Brotli Internals
Agentic AI Runs on Tools
simplicityissota.substack.com·2d·
Discuss: Substack
⚡Incremental Computation
ch-vmm for microVM’s in Kubernetes
reddit.com·10h·
Discuss: r/kubernetes
❄️Nix Flakes
Interrupts and Commands in LangGraph: Building Human-in-the-Loop Workflows
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Develop-Fair Use for Artificial Intelligence: A Sino-U.S. Copyright Law Comparison Based on the Ultraman, Bartz v. Anthropic, and Kadrey v. Meta Cases
arxiv.org·1d
⚖️Emulation Ethics
Early Feedback on “Build a Reasoning Model (From Scratch)”
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
LangChain's New Middleware: The Missing Piece for Production-Ready Agents?
dev.to·7h·
Discuss: DEV
⚙️TLA+
The Backwards Way to $10K MRR: Build SEO First, Product Second
dev.to·16h·
Discuss: DEV
🔍BitFunnel
Adaptive Closed-Loop Electroceutical Stimulation for Personalized Metabolic Regulation via Bayesian Optimization
dev.to·2d·
Discuss: DEV
⚡Effectful Programming
UrbanMIMOMap: A Ray-Traced MIMO CSI Dataset with Precoding-Aware Maps and Benchmarks
arxiv.org·2d
📊Count-Min Sketch
Build, Run, Chat: Creating a Self-Hosted LLM Setup
dev.to·1d·
Discuss: DEV
🏠HomeLab
General Demographic Foundation Models for Enhancing Predictive Performance Across Diseases
arxiv.org·1d
🧠Machine Learning
Water Demand Forecasting of District Metered Areas through Learned Consumer Representations
arxiv.org·1d
🧠Machine Learning