4 ms·

Here is a short (5 min) video explaining E-Graphs: https://www.youtube.com/watch?v=ap29SzDAzP https://www.youtube.com/watch?v=ap29SzDAzP There is also a longer

Here is a short (5 min) video explaining E-Graphs: https://www.youtube.com/watch?v=ap29SzDAzP https://www.youtube.com/watch?v=ap29SzDAzP There is also a longer (30 min) video that goes into details. I recommend watching them! Also consider this blogpost: https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/ https://blog.sigplan.org/2021/04/06/equality-saturation-with...

minetest2048 5y ago
> https://www.youtube.com/watch?v=ap29SzDAzP https://www.youtube.com/watch?v=ap29SzDAzP This video isn't available anymore
- gugagore 5y ago
  Oops, sorry: https://www.youtube.com/watch?v=ap29SzDAzP0 https://www.youtube.com/watch?v=ap29SzDAzP0