News for hackers. Stuff that matters.

A comment on Lua in the Kernel?. Parent comment

Re:Lua in the Kernel? by moring on Friday September 18, 2020 @04:42AM (#24514420)
The halting problem only says that you cannot tell if a program ever stops, i.e. takes a finite number of steps but without any a priori bounds. If you limit the number of steps to N, you can just run N steps of the program on your given input and look if it has stopped already.
[ Parent | on HN ]
Re:Lua in the Kernel? by tinus_hn on Friday September 18, 2020 @02:39PM (#24520380)
The problem only says you can’t tell if the programs stops without actually running it. But here you’re running it anyway.
[ Parent | on HN ]
Re:Lua in the Kernel? by gwd on Friday September 18, 2020 @04:33PM (#24521614)
If you run it and it stops, then it stops. If you run it and it runs forever, then it runs forever. But the point is that you want to know if it's going to run forever before you hit "forever".
[ Parent | on HN ]