Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
romes
on June 24, 2023
|
parent
|
context
|
favorite
| on:
The E-graph extraction problem is NP-complete
Great to see this! Funnily, I was
just now
working on a problem to which I'm trying to apply e-graphs (using my -- shameless plug -- haskell e-graphs/eqsat library[1])
[1]
https://github.com/alt-romes/hegg
nextaccountic
on June 24, 2023
[–]
Just curious, what's the problem you are solving?
Consider applying for YC's Summer 2025 batch! Applications are open till May 13
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
[1] https://github.com/alt-romes/hegg