3 ms·
> basing their business around product X [...] X was halting-problem-equivalent Now I'm curious: can you tell us more about this product?
by adwn 13y ago
> basing their business around product X [...] X was halting-problem-equivalent
Now I'm curious: can you tell us more about this product?
- a-saleh 13y agoI was talking about this comment at lunch \w coleague, and he claimed, that his coleague found halting problem-equvalence in experimental package manager of fedora :) https://fedoraproject.org/wiki/Features/DNF https://fedoraproject.org/wiki/Features/DNF I haven't yet verified this claim, but when you are using sat solvers for dependency resulution ... it wouldn't suprise me that much if you could describe halting problem in the new & fancy dependency graph :D