Hacker News
- The E-graph extraction problem is NP-complete https://effect.systems/blog/egraph-extraction.html 20 comments
Lobsters
- The E-graph extraction problem is NP-complete https://effect.systems/blog/egraph-extraction.html 2 comments compilers , compsci , math