alt Hacker NewsI 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.
Replies
njcornell • yesterday at 7:34 PM
You can use my script p-noteq-np.sh too if that helps.
➕ show 1 reply
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...