A Simplified E-graph Implementation

Re:A Simplified E-graph Implementation by SomewhatLikely on Saturday April 03, 2021 @07:29PM (#26685661)

Here's my honest feedback: I stopped reading after the author started driving into implementation details without explaining what the purpose of an e-graph is. We got the what, but not the why.

[ Parent | on HN ]

Re:A Simplified E-graph Implementation by lqqq on Saturday April 03, 2021 @11:24PM (#26686656)

I find the tutorial quite approachable

https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index...

[ Parent | on HN ]

Re:A Simplified E-graph Implementation by Jtsummers on Saturday April 03, 2021 @07:50PM (#26685781)

This isn't the first time the author has written about E-graphs and they provide several links at the top which get to the meaning of them.

The 'e' stands for 'equivalence'.

https://www.philipzucker.com/egraph-1/

https://www.philipzucker.com/egraph-2/

[ Parent | on HN ]

Re:A Simplified E-graph Implementation by philzook on Saturday April 03, 2021 @08:19PM (#26685926)

Yea, sorry. I appreciate the feedback. Exactly what Jtsummers said, this is not really a standalone post. I did a bit better motivating the egraph in the first post.

[ Parent | on HN ]

Re:A Simplified E-graph Implementation by hvocode on Sunday April 04, 2021 @01:31PM (#26691293)

I was able to dive right in and read it. I don’t think every blog post needs to be a standalone document. I’m always surprised at the whiny comments from HN readers like the one above: for a site that likes to act tech savvy, some folks on here are shockingly incapable of using a basic search engine to do their own background reading.

[ Parent | on HN ]

Re:A Simplified E-graph Implementation by philzook on Saturday April 03, 2021 @08:24PM (#26685938)

If I could predict the ones that will get traction on HN, I'd make sure to give them good intros. Oh well.

[ Parent | on HN ]