The e-graph-based optimization technique gained popularity but has been superseded by more efficient methods. In 2021, the egg paper was selected as a CACM Research Highlight.
#EqualitySaturation #EGraph #CodeOptimization
#EqualitySaturation #EGraph #CodeOptimization
More efficient equality saturation methods replaced egg in 2021
Source: Lobsters
realfeedapp.com
October 10, 2026 at 2:00 PM
The e-graph-based optimization technique gained popularity but has been superseded by more efficient methods. In 2021, the egg paper was selected as a CACM Research Highlight.
#EqualitySaturation #EGraph #CodeOptimization
#EqualitySaturation #EGraph #CodeOptimization
Lambda MicroEgg | Discussion
Lambda MicroEgg
It’s an egraph that supports well-scoped alpha aware binders.
www.philipzucker.com
September 24, 2026 at 5:40 AM
Lambda MicroEgg | Discussion
Lambda MicroEgg
It’s an egraph that supports well-scoped alpha aware binders.
www.philipzucker.com
September 24, 2026 at 5:27 AM
Lambda MicroEgg
It’s an egraph that supports well-scoped alpha aware binders.
www.philipzucker.com
September 20, 2026 at 4:10 PM
A new blog post www.philipzucker.com/lambda_mille... Lambda Microegg. A s-exp frontend to a small rust e-graph implementation that supports binders and capture avoiding substitution. Good clean fun. WASM demo here: www.philipzucker.com/lambda-micro...
Lambda MicroEgg
It’s an egraph that supports well-scoped alpha aware binders.
www.philipzucker.com
September 20, 2026 at 1:51 PM
A new blog post www.philipzucker.com/lambda_mille... Lambda Microegg. A s-exp frontend to a small rust e-graph implementation that supports binders and capture avoiding substitution. Good clean fun. WASM demo here: www.philipzucker.com/lambda-micro...
And the Reddit serendipity algorithm spins on...
September 15, 2026 at 7:56 AM
And the Reddit serendipity algorithm spins on...
arxiv.org/pdf/2606.10644 I thought using ASP for egraph extraction was onworkable, but apparently setting 2 threads makes it viable. They should consider changing those defaults if it's that radical
arxiv.org
August 10, 2026 at 8:34 PM
arxiv.org/pdf/2606.10644 I thought using ASP for egraph extraction was onworkable, but apparently setting 2 threads makes it viable. They should consider changing those defaults if it's that radical
😉. I think the Daily Tall Tale-egraph would combust, if it remembered the real source of all the evergreen imagery in our “Christian” celebrations. If we want to look at riding roughshod over things…
November 19, 2025 at 8:51 AM
😉. I think the Daily Tall Tale-egraph would combust, if it remembered the real source of all the evergreen imagery in our “Christian” celebrations. If we want to look at riding roughshod over things…
You know what they say;
Tel-ephone.
Tel-egraph.
Tell Uhura. 😊🖖🏾
Hail yes!
If they miss it, they'll have to just stay mad about it, until next year! 😉
Tel-ephone.
Tel-egraph.
Tell Uhura. 😊🖖🏾
Hail yes!
If they miss it, they'll have to just stay mad about it, until next year! 😉
November 19, 2025 at 9:21 PM
You know what they say;
Tel-ephone.
Tel-egraph.
Tell Uhura. 😊🖖🏾
Hail yes!
If they miss it, they'll have to just stay mad about it, until next year! 😉
Tel-ephone.
Tel-egraph.
Tell Uhura. 😊🖖🏾
Hail yes!
If they miss it, they'll have to just stay mad about it, until next year! 😉
Google yet again drowning me in rightwing adjacent techbro clickbait because obviously as a white guy in his 40s my account is tagged "Idiot Who Will Choke Down As Much of This Shit As We Can Feed Him"
That said, I don't want to miss a single moment of schadenfreude as it all crashes and burns
That said, I don't want to miss a single moment of schadenfreude as it all crashes and burns
July 5, 2023 at 4:57 PM
Google yet again drowning me in rightwing adjacent techbro clickbait because obviously as a white guy in his 40s my account is tagged "Idiot Who Will Choke Down As Much of This Shit As We Can Feed Him"
That said, I don't want to miss a single moment of schadenfreude as it all crashes and burns
That said, I don't want to miss a single moment of schadenfreude as it all crashes and burns
A new blog post "Lifting Terms: Making Well Scoped Syntax Dumber" www.philipzucker.com/thin_term/ Basically, add a field to regular terms that says what scope you're in and which variables you use. Lifting e-graphs minus the e-graph.
Lifting Terms: Making Well Scoped Syntax Dumber
I have been writing posts about Lifting Egraphs video as an intriguing way of adding variables and scope into an egraph. But pulling back a little, I can see that the simpler thing to talk about first...
www.philipzucker.com
July 10, 2026 at 9:23 PM
A new blog post "Lifting Terms: Making Well Scoped Syntax Dumber" www.philipzucker.com/thin_term/ Basically, add a field to regular terms that says what scope you're in and which variables you use. Lifting e-graphs minus the e-graph.
[New Blog Post] Alpha Equivalent Hash Consing with Thinnings www.philipzucker.com/thin_hash_co... #logic #datastructure
Alpha Equivalent Hash Consing with Thinnings
Another step on a journey to a thinning egraph.
www.philipzucker.com
March 27, 2026 at 3:55 AM
[New Blog Post] Alpha Equivalent Hash Consing with Thinnings www.philipzucker.com/thin_hash_co... #logic #datastructure
[New Blog Post] An Inequality Union Find Inspired by Atomic Asymmetric Completion www.philipzucker.com/asymmetric_c... #logic #automatedtheoremproving
An Inequality Union Find Inspired by Atomic Asymmetric Completion
Atomic asymmetric completion is a union find. Ground term asymmetric completion is a refinement egraph.
www.philipzucker.com
December 22, 2025 at 9:02 PM
[New Blog Post] An Inequality Union Find Inspired by Atomic Asymmetric Completion www.philipzucker.com/asymmetric_c... #logic #automatedtheoremproving
[New Blog Post] Primitive, Leveled, and Quantifier Union Finds www.philipzucker.com/prim_level_uf/ #logic #egraph
Primitive, Leveled, and Quantifier Union Finds
There is an interesting and simple union find variation that allows primitives into the union find.
www.philipzucker.com
November 29, 2025 at 8:42 PM
[New Blog Post] Primitive, Leveled, and Quantifier Union Finds www.philipzucker.com/prim_level_uf/ #logic #egraph
[New Blog Post] A Slotted Hash Cons for Alpha Invariance www.philipzucker.com/slotted_hash... #hashing #egraph #lambda
A Slotted Hash Cons for Alpha Invariance
Slotted e-graphs https://dl.acm.org/doi/10.1145/3729326 are a data structure that compactly stores many equivalent terms in an alpha invariant aware way. I’ve been very excited by them but also very c...
www.philipzucker.com
September 15, 2025 at 6:07 PM
[New Blog Post] A Slotted Hash Cons for Alpha Invariance www.philipzucker.com/slotted_hash... #hashing #egraph #lambda
[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic www.philipzucker.com/egraph-mt2/
Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context
It’s interesting, while I was writing https://www.philipzucker.com/brute_eggmt/ I was hating the post, but immediately after dumping it out I began to appreciate that I had achieved something quite us...
www.philipzucker.com
May 26, 2025 at 3:36 PM
[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic www.philipzucker.com/egraph-mt2/
[New Blog Post] Egg-style Equality Saturation using only Z3 www.philipzucker.com/z3_eq_sat/ #z3 #smt #egg
Egg-style Equality Saturation using only Z3
An egraph is a data structure for storing many ground equalities at once in a highly shared way. Egg style equality saturation searches over this egraph for patterns and asserts nondestructive rewrite...
www.philipzucker.com
January 28, 2025 at 3:27 AM
[New Blog Post] Egg-style Equality Saturation using only Z3 www.philipzucker.com/z3_eq_sat/ #z3 #smt #egg
The acyclic e-graph: Cranelift's mid-end optimizer
Discussion | lobsters | Author: asb
Discussion | lobsters | Author: asb
The acyclic e-graph: Cranelift's mid-end optimizer
Today, I'll be writing about the aegraph, or acyclic egraph, the data structure at the heart of Cranelift's mid-end optimizer. I introduced this approach in 2022 and, after a somewhat circuitous path involving one full rewrite, a number of interesting realizations and "patches" to the initial ide...
cfallin.org
April 10, 2026 at 8:48 AM
The acyclic e-graph: Cranelift's mid-end optimizer
Discussion | lobsters | Author: asb
Discussion | lobsters | Author: asb
It’s the World at One-egraph
Headline on The World at One just now:
"Sir Keir Starmer has denied putting the Labour Party before the country by ending the two-child benefit cap".
Can we please go back to reporting the actual news, not someone's partisan take on it?
"Sir Keir Starmer has denied putting the Labour Party before the country by ending the two-child benefit cap".
Can we please go back to reporting the actual news, not someone's partisan take on it?
November 27, 2025 at 1:21 PM
It’s the World at One-egraph
A technical writeup on lifting terms into well-scoped syntax for e-graphs, simplifying scope for equality saturation.
Submit to upvote on HN
https://news.ycombinator.com/submitlink?u=https%3A%2F%2Fwww.philipzucker.com%2Fthin_term%2F&t=Lifting%20Terms%3A%20Making%20Well%20Scoped%20Syntax%20Dumber
Submit to upvote on HN
https://news.ycombinator.com/submitlink?u=https%3A%2F%2Fwww.philipzucker.com%2Fthin_term%2F&t=Lifting%20Terms%3A%20Making%20Well%20Scoped%20Syntax%20Dumber
Lifting Terms: Making Well Scoped Syntax Dumber
I have been writing posts about Lifting Egraphs video as an intriguing way of adding variables and scope into an egraph. But pulling back a little, I can see that the simpler thing to talk about first...
www.philipzucker.com
July 11, 2026 at 4:16 AM
A technical writeup on lifting terms into well-scoped syntax for e-graphs, simplifying scope for equality saturation.
Submit to upvote on HN
https://news.ycombinator.com/submitlink?u=https%3A%2F%2Fwww.philipzucker.com%2Fthin_term%2F&t=Lifting%20Terms%3A%20Making%20Well%20Scoped%20Syntax%20Dumber
Submit to upvote on HN
https://news.ycombinator.com/submitlink?u=https%3A%2F%2Fwww.philipzucker.com%2Fthin_term%2F&t=Lifting%20Terms%3A%20Making%20Well%20Scoped%20Syntax%20Dumber
Expect little else from the Heil-egraph
Banning trans women in sport changes nothing for anyone except a handful of trans women. Cis women will still be raped by their coaches. Cis women will still be paid less. Cis women will still be second to cis men.
But Oliver Brown hates women, so he's happy with that.
But Oliver Brown hates women, so he's happy with that.
January 20, 2025 at 1:26 PM
Expect little else from the Heil-egraph
📌 New bookmark!
What’s in an e-graph? | Max Bernstein
This post follows from several conversations with CF Bolz-Tereick, Philip Zucker, Chris Fallin, and Max Willsey.
https://bernsteinbear.com/blog/whats-in-an-egraph/
What’s in an e-graph? | Max Bernstein
This post follows from several conversations with CF Bolz-Tereick, Philip Zucker, Chris Fallin, and Max Willsey.
https://bernsteinbear.com/blog/whats-in-an-egraph/
What’s in an e-graph? | Max Bernstein
This post follows from several conversations with CF Bolz-Tereick, Philip Zucker, Chris Fallin, and Max Willsey.
bernsteinbear.com
September 11, 2024 at 11:14 PM
📌 New bookmark!
What’s in an e-graph? | Max Bernstein
This post follows from several conversations with CF Bolz-Tereick, Philip Zucker, Chris Fallin, and Max Willsey.
https://bernsteinbear.com/blog/whats-in-an-egraph/
What’s in an e-graph? | Max Bernstein
This post follows from several conversations with CF Bolz-Tereick, Philip Zucker, Chris Fallin, and Max Willsey.
https://bernsteinbear.com/blog/whats-in-an-egraph/
Out of curiosity, do you think uv’s resolver is a special case of an egraph?
Since uv is so well tuned for performance, I wonder if folks from the egg project could adopt patterns that you’ve discovered. 🤔
egraphs-good.github.io
Since uv is so well tuned for performance, I wonder if folks from the egg project could adopt patterns that you’ve discovered. 🤔
egraphs-good.github.io
egg
'egg' is an open-source, high performance e-graph and equality saturation toolkit.
egraphs-good.github.io
December 1, 2024 at 10:05 PM
Out of curiosity, do you think uv’s resolver is a special case of an egraph?
Since uv is so well tuned for performance, I wonder if folks from the egg project could adopt patterns that you’ve discovered. 🤔
egraphs-good.github.io
Since uv is so well tuned for performance, I wonder if folks from the egg project could adopt patterns that you’ve discovered. 🤔
egraphs-good.github.io