egg: Fast and Extensible Equality Saturation · HackerPapers discussions

egg: Fast and Extensible Equality Saturation — mentioned by jiggawatts

Sat, 16 Dec 2023 19:53:41 GMT

I was about to comment that this reminds me of Aaron Hsu’s Dyalog compiler, but it’s mentioned right there in the README as one of the inspirations. IMHO, compilers are about an order of magnitude slower than they could be, and this type of tree representation could be one key element for fixing that. One interesting approach would be to combine egg[1] with this style of vectorised trees for efficient optimisation passes. [1] https://arxiv.org/pdf/2004.03082.pdf

Paper and discussion history. A mention is not an endorsement.

egg: Fast and Extensible Equality Saturation — mentioned by superlopuh

Fri, 22 Jul 2022 09:29:28 GMT

Yes, at least these egg-based projects are usign this idea, but it looks like it's just one of the options: https://souffle-lang.github.io/docs.html http://www.philipzucker.com/souffle-egg4/ https://arxiv.org/pdf/2004.03082.pdf

Paper and discussion history. A mention is not an endorsement.

egg: Fast and Extensible Equality Saturation — mentioned by romes

Fri, 22 Jul 2022 08:01:21 GMT

Equality graphs (e-graphs) for theorem proving and equality saturation and other equality-related things. They're awesome data structures that efficiently maintain a congruence relation over many expressions > At a high level, e-graphs extend union-find to compactly represent equivalence classes of expressions while maintaining a key invariant: the equivalence relation is closed under congruence. e.g. If I were to represent "f(x)" and "f(y)" in the e-graph, and then said "x == y" (merged "x" and "y" in the e-graph), then the e-graph, by congruence, would be able to tell me that "f(x) == f(y)"…

Paper and discussion history. A mention is not an endorsement.

egg: Fast and Extensible Equality Saturation — mentioned by verdverm

Fri, 26 Mar 2021 03:00:06 GMT

And the paper for reference https://arxiv.org/abs/2004.03082

Paper and discussion history. A mention is not an endorsement.

egg: Fast and Extensible Equality Saturation — mentioned by brzozowski

Sat, 06 Mar 2021 14:58:39 GMT

The author frames this as a contest between two architectures: either spend a lot of effort building custom developer tools, or repurpose the compiler as a server for multiple clients. Both approaches have their tradeoffs: the first, as the author mentions, violates DRY [1]. The second violates the Unix philosophy [2]. However, there is a third way. Both developer tools and compilers can be seen as special cases of a much simpler and more general pattern known as a graph database [3, 4, 5]. [1]: https://en.wikipedia.org/wiki/Don%27t_repeat_yourself [2]…

Paper and discussion history. A mention is not an endorsement.

egg: Fast and Extensible Equality Saturation — HN submission

Fri, 02 Oct 2020 23:18:09 GMT

egg: Fast and Extensible E-graphs

7 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.