1147
you are viewing a single comment's thread
view the rest of the comments
[-] jeff@programming.dev 9 points 1 year ago

Right. There is no solution to the halting problem, that's been proven. But you just showed you can very easily create a way of practically solving it. Just waiting for 10 seconds does it. That will catch every infinite loop while also having some false positives. And that will be fine in most applications.

My point is that even if a solution to the halting problem is impossible, there is often a very possible solution that will get you close enough for a real world scenario. And there are definitely more sophisticated methods of catching non-halting programs with fewer false positives.

[-] xigoi@lemmy.sdf.org 2 points 1 year ago

And that will be fine in most applications.

Have you never written a useful program that took more than 10 seconds to complete?

[-] bleistift2@feddit.de 5 points 1 year ago

I fully agree with your sentiment. But just in case: If you’re blocking the main thread of a browser for seconds at a time, you should look into that.

[-] xigoi@lemmy.sdf.org 1 points 1 year ago

I'm not talking about web applications.

this post was submitted on 02 Oct 2023
1147 points (98.6% liked)

Programmer Humor

19282 readers
625 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS