Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Josh Pollock Profile picture
Josh Pollock
@joshmpollock
CS PhD Student @MIT_CSAIL SDG Using PL, HCI, and Viz to build better systems
Jul 12, 2021 • 7 tweets • 3 min read
What do e-graphs and regexes have in common? More than you might think!

Check out the post I wrote with @altan0 on the egg discussion board: github.com/egraphs-good/e….

The key idea is that e-graphs are minimal DFTAs, but what does that mean? 🧵 An e-graph is a data structure for efficiently storing lots of equivalent expressions, and that's really useful for all sorts of PL problems in compilers, optimization, and synthesis. Read @mwillsey's SIGPLAN post for more! blog.sigplan.org/2021/04/06/equ…