The e-graph data structure | Hacker News Reader