3 ms·

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.

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.

Jtsummers 6y ago
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-1/ https://www.philipzucker.com/egraph-2/ https://www.philipzucker.com/egraph-2/
- philzook 6y ago
  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.
  - philzook 6y ago
    If I could predict the ones that will get traction on HN, I'd make sure to give them good intros. Oh well.
  - hvocode 6y ago
    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.
lqqq 6y ago
I find the tutorial quite approachable https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index.html https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index...