2 ms·
Isn't that in its most general form exactly the halting problem?
by kqr 4y ago
Isn't that in its most general form exactly the halting problem?
- foobiekr 4y agoThe halting problem is for the general case. If you design the application to facilitate it you can demonstrate forward progress in a pretty robust way. Is it perfect? No. But you can do much, much better than “is the kernel up.”