📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

diffeological vector space
ncatlab.org·22h
🕸️Algebraic Topology
Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+
mongodb.com·11h·
Discuss: Lobsters, Hacker News, r/programming
🤝Consensus Protocols
SkyPilot automates GPU networking stack on different clouds
blog.skypilot.co·8h·
Discuss: Hacker News
📊Homelab Monitoring
What is isomorphism? | ugBASIC user manual
ugbasic.iwashere.eu·1d·
Discuss: Lobsters, Hacker News
🎮Vintage Gaming
Show HN: I built a parser and lexer generator for Go
dcaiafa.github.io·10h·
Discuss: Hacker News, r/golang
⚙️Parser Generators
Claude 4, Gemini 2.5 Pro, and GPT-4.1: Understanding Their Unique Quirks
eval.16x.engineer·1d·
Discuss: Hacker News
⚡Proof Automation
Quantifying analogy of concepts via ologs and wiring diagrams
arxiv.org·23h
🔗Topological Sorting
Implementing Distributed Locks in Go: A Practical Guide for Backend Devs
dev.to·1d·
Discuss: DEV
🔒Linear Types
A collaborative digital twin built on FAIR data and compute infrastructure
arxiv.org·23h
🔄Lens Laws
5 Advanced RAG Architectures Beyond Traditional Methods
machinelearningmastery.com·15h
🌀Brotli Internals
Single Core Hundred Thousand Concurrency（1751327856613900）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
A customizable and extensible all-purpose diagrams library for Blazor
github.com·1h·
Discuss: Hacker News
💾Database Formats
VEDA: Efficient LLM Generation Through Voting-based KV Cache Eviction and Dataflow-flexible Accelerator
arxiv.org·23h
🚀SIMD Text Processing
WebAssembly for Client-Side Image Processing
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
NativeJIT: A C++ expression –> x64 JIT
github.com·3d·
Discuss: Hacker News
🏭Compiler Backends
Recommending Variable Names for Extract Local Variable Refactorings
arxiv.org·23h
🦀Rust Macros
Learning Constraints Directly from Network Data
arxiv.org·1d
🧠Machine Learning
Outlier Weighed Layerwise Sparsity (OWL): A Missing Secret Sauce for Pruning LLMs to High Sparsity
arxiv.org·23h
💻Local LLMs
Make C++ a better place #4: Go as an alternative
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Correlated Mutations for Integer Programming
arxiv.org·1d
🌸Bloom Variants