Egg: Using egraphs to build program optimizers and synthesizers | Hacker News Reader