📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Feeds to Scour
SubscribedAll
Scoured 19444 posts in 203.6 ms
Build a Compiler in Five Projects
kmicinski.com·2h
🔨Compilers
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
mstrYoda/goraphdb: A graph database implemented in Golang
github.com·17h·
Discuss: r/programming
🕸️Neo4j
Automated Customization of LLMs for Enterprise Code Repositories Using Semantic Scopes
arxiv.org·1d
🗣️Domain-Specific Languages
[$] Modernizing swapping: the end of the swap map
lwn.net·1d
🔗Topological Sorting
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·21h
📊Performance Profiling
LangGraph vs CrewAI vs AutoGen: The Complete Multi-Agent AI Orchestration Guide for 2026
dev.to·22h·
Discuss: DEV
⚡Proof Automation
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
[Dev Weekly #97] Astro is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3 Codex Just Dropped, and more
blog.codeminer42.com·22h
🔄Language Evolution
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
Sixteen Claude AI agents working together created a new C compiler
arstechnica.com·12h
🏗️Compiler Archaeology
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·1d·
Discuss: Blogger
⚡CPU Microarchitecture
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·9h·
Discuss: Hacker News
🧮Z3 Solver
Waterloo Style
theprogrammersparadox.blogspot.com·18h·
Discuss: Hacker News
🕹Emulation Theory
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·1d
✨Effect Handlers
Building a battle tested C compiler in a new language using Codex
moonbitlang.com·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·10h
🏗️Compiler Archaeology
The Future of Systems
novlabs.ai·1h·
Discuss: Hacker News
⚙️TLA+
The Rise of Spec Driven Development
dbreunig.com·19h·
Discuss: Hacker News
🔄Reproducible Builds

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help