News for hackers. Stuff that matters.
Re:The E-graph extraction problem is NP-complete by tekknolagi on Saturday June 24, 2023 @11:32AM (#36459538)
This is a breathtakingly rude comment. The blog post author is not some random grad student looking at another's work; he is actively working on egglog & is one of the key people driving work in the e-graphs space.
Re:The E-graph extraction problem is NP-complete by emmender on Saturday June 24, 2023 @05:13PM (#36462702)
My apologies, I didnt intend to be rude..

Any discovery is a step forward (whether it is news or not)..