4 ms·
ML cannot solve the halting problem.
by yters 6y ago
ML cannot solve the halting problem.
- BenoitP 6y agoBut it can optimize heuristics to death.
- aparsons 6y agoHow does pass reordering relate to the halting problem?
- yters 6y agoYou are right. Looks like it is just trying different permutations of the compiler flags, not actually trying to generate optimization proofs using machine learning. The latter is what my comment is aimed at.
- hinkley 6y agoCompression can't solve the pigeonhole problem either. And yet we're using it right now. Most of the interesting stuff I want to accomplish is avoiding intractable problems, if for no other reason than that our peers will accuse us of tilting at windmills or boiling the ocean. Finding the problem you can solve is effectively relaxation.