📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Ambient CI, progress this year
blog.liw.fi·17h
🧱Immutable Infrastructure
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·22h·
Discuss: Hacker News
🕸️Mesh Networks
Flag this post
AWK technical notes (2023)
maximullaris.com·5h·
Discuss: Lobsters
📝Shell Parsing
Flag this post
Nim 2.2.6
nim-lang.org·2d·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Our newest model: Chandra (OCR)
datalab.to·15h·
Discuss: Hacker News
🤖Advanced OCR
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·21h·
Discuss: DEV
🌀Differential Geometry
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·2d·
Discuss: Hacker News, r/programming
📊Performance Profiling
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·36m·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
THE LEAN MEAN MEME MACHINE
dev.to·3h·
Discuss: DEV
⚖️Feed Ranking
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·2d·
Discuss: Hacker News
🔒Linear Types
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Flag this post
My Wishlist for PHP in 2026
stitcher.io·3d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·2h·
Discuss: DEV
⚙️Batch Processing
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·23h·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Enhancing Solar Cell Efficiency Through Stochastic Grain Boundary Passivation Optimization
dev.to·9h·
Discuss: DEV
⚙️Tape Engineering
Flag this post