Comment by in_a_society
5 hours ago
I don't see why it should be all that difficult. All you have to do is first find a library that implements a decent solution to the halting problem and you're off to the races.
5 hours ago
I don't see why it should be all that difficult. All you have to do is first find a library that implements a decent solution to the halting problem and you're off to the races.
Its funny because you can write a halting problem oracle by calling out to an LLM and have it return yes / no / not sure and get it to work reliably for almost all real code, like that is an entirely practical thing to do in 2026.
All we need now is some sort of program to evaluate halting problem oracles...
You can use my script p-noteq-np.sh too if that helps.
I checked out your script but it looks like it's just a wrapper for ! ( p-eq-np.sh )