<![CDATA[meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people]]>meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people

]]>https://board.circlewithadot.net/topic/936e6e29-0845-475b-8200-a7ee5474fce5/meditating-on-when-i-was-still-reading-hacker-news-and-somebody-posted-the-solution-to-the-halting-problem-is-to-simply-terminate-execution-after-a-while-and-it-was-extremely-upvoted-and-i-realized-these-were-not-my-peopleRSS for NodeFri, 01 May 2026 05:48:59 GMTSun, 19 Apr 2026 05:30:00 GMT60<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 16:59:57 GMT]]>@zzt oh dear, I literally spent the first 15s after reading this wondering «  but what if the while never finishes - you never get to the terminate ». Which in a funny way is exactly the problem.

]]>https://board.circlewithadot.net/post/https://mindly.social/users/demallien/statuses/116432437067035924https://board.circlewithadot.net/post/https://mindly.social/users/demallien/statuses/116432437067035924Sun, 19 Apr 2026 16:59:57 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 13:37:00 GMT]]>]]>https://board.circlewithadot.net/post/https://buc.ci/abucci/p/1776605820.236666https://board.circlewithadot.net/post/https://buc.ci/abucci/p/1776605820.236666Sun, 19 Apr 2026 13:37:00 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 12:29:38 GMT]]>@kkarhan @zzt Set up a skyscraper-sized antimatter bomb to go off after, say, 100 instructions. Then you know for a fact that the program will always terminate once it's processed 100 instructions.

]]>https://board.circlewithadot.net/post/https://myside-yourside.net/users/StarkRG/statuses/116431374154306030https://board.circlewithadot.net/post/https://myside-yourside.net/users/StarkRG/statuses/116431374154306030Sun, 19 Apr 2026 12:29:38 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 12:27:06 GMT]]>@davidgerard @zzt Eeyupp, also with .

  • One can literally burn through tons of shitcoins just because one's validator isn't able to saturate it's 10G-NIC and destroy it's NVMe's with IOPS at the same time.
    • And no, I'm not joking: are still a problem, they judt habe less $$$$$$$$ than the !
]]>https://board.circlewithadot.net/post/https://jorts.horse/users/kkarhan/statuses/116431364224547261https://board.circlewithadot.net/post/https://jorts.horse/users/kkarhan/statuses/116431364224547261Sun, 19 Apr 2026 12:27:06 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 12:24:06 GMT]]>@zzt this doesn't work unless one can pre-determine all states of a program and required runtime.

  • If your program/task is simple enough for that, watchdog functionality is easy to support.
    • If not (which is the case with anything not hard-realtime capable!) then that doesn't succeed…

Also HackerNews/Ycombinator is just gsrbage…

]]>https://board.circlewithadot.net/post/https://jorts.horse/users/kkarhan/statuses/116431352391016411https://board.circlewithadot.net/post/https://jorts.horse/users/kkarhan/statuses/116431352391016411Sun, 19 Apr 2026 12:24:06 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 11:43:24 GMT]]>@zzt I am very happy I don't visit that site anymore, but sad I miss out on such computer science breakthroughs 😔

]]>https://board.circlewithadot.net/post/https://infosec.exchange/ap/users/116008105892376686/statuses/116431192382260052https://board.circlewithadot.net/post/https://infosec.exchange/ap/users/116008105892376686/statuses/116431192382260052Sun, 19 Apr 2026 11:43:24 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 11:08:54 GMT]]>@zzt I mean, I can easily solve the halting problem in any algorithm on any computer. Give me a hammer and I'll make sure it halts.

]]>https://board.circlewithadot.net/post/https://hachyderm.io/users/datarama/statuses/116431056698506655https://board.circlewithadot.net/post/https://hachyderm.io/users/datarama/statuses/116431056698506655Sun, 19 Apr 2026 11:08:54 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 11:05:02 GMT]]>@zzt @davidgerard

This is the community of utter twonks that the head of platform at Ubuntu asked "what do you want to see in Ubuntu $NEXT?"

Link Preview Image
Ask HN: What do you want to see in Ubuntu 17.10? | Hacker News

favicon

(news.ycombinator.com)

The result was killing Unity, the end of the phones and tablets, returning to GNOME, and a legion of other epic mistakes.

Absolute complete suicidal fool, asking this maelstrom of toxic nerd masculinity for _guidance_.

]]>https://board.circlewithadot.net/post/https://social.vivaldi.net/users/lproven/statuses/116431041494803687https://board.circlewithadot.net/post/https://social.vivaldi.net/users/lproven/statuses/116431041494803687Sun, 19 Apr 2026 11:05:02 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 10:44:06 GMT]]>@zzt The solution to the grandfather paradox is "just don't do that"

]]>https://board.circlewithadot.net/post/https://meow.social/users/robinsyl/statuses/116430959191478436https://board.circlewithadot.net/post/https://meow.social/users/robinsyl/statuses/116430959191478436Sun, 19 Apr 2026 10:44:06 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 10:02:32 GMT]]>@zzt remember that this is literally the solution the Ethereum Virtual Machine uses, your badly coded function runs out of money

]]>https://board.circlewithadot.net/post/https://circumstances.run/users/davidgerard/statuses/116430795737377359https://board.circlewithadot.net/post/https://circumstances.run/users/davidgerard/statuses/116430795737377359Sun, 19 Apr 2026 10:02:32 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 09:47:10 GMT]]>@zzt

It might have been a joke.

]]>https://board.circlewithadot.net/post/https://iosdev.space/users/jonhendry/statuses/116430735313472554https://board.circlewithadot.net/post/https://iosdev.space/users/jonhendry/statuses/116430735313472554Sun, 19 Apr 2026 09:47:10 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 08:39:22 GMT]]>@jwz
Stop —

— Hammer time

@zzt

]]>https://board.circlewithadot.net/post/https://mastodon.social/users/dzwiedziu/statuses/116430468701773068https://board.circlewithadot.net/post/https://mastodon.social/users/dzwiedziu/statuses/116430468701773068Sun, 19 Apr 2026 08:39:22 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 07:15:00 GMT]]>@hipsterelectron hacker news would prompt an llm with “does this program halt do not guess do not hallucinate” and manage 49% accuracy on a bunch of well-known toy programs and then write a thinkpiece about “you see all programs have already been written and that’s why this works” and then 700 upvotes

]]>https://board.circlewithadot.net/post/https://mas.to/users/zzt/statuses/116430136937078368https://board.circlewithadot.net/post/https://mas.to/users/zzt/statuses/116430136937078368Sun, 19 Apr 2026 07:15:00 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 06:48:03 GMT]]>@zzt if I were a problem I would simply halt

]]>https://board.circlewithadot.net/post/https://mastodon.social/users/jwz/statuses/116430030967853346https://board.circlewithadot.net/post/https://mastodon.social/users/jwz/statuses/116430030967853346Sun, 19 Apr 2026 06:48:03 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 06:00:04 GMT]]>@zzt _Bool will_halt(void *prog) { return true; }

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/astraleureka/statuses/116429842309940723https://board.circlewithadot.net/post/https://social.treehouse.systems/users/astraleureka/statuses/116429842309940723Sun, 19 Apr 2026 06:00:04 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 05:51:44 GMT]]>@zzt "just prove that the universe will stop eventually" clown take

]]>https://board.circlewithadot.net/post/https://eldritch.cafe/users/trenchworms/statuses/116429809545350095https://board.circlewithadot.net/post/https://eldritch.cafe/users/trenchworms/statuses/116429809545350095Sun, 19 Apr 2026 05:51:44 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 05:41:26 GMT]]>@zzt it's possible to meaningfully extend the idea if you can codify input complexity and progress towards a solution. in many cases this is extremely difficult. i spent two years on what should have been a phd thesis for a parser compiler which achieves this for undecidable grammars.

it took me almost a whole year to determine what was happening which is that it reduces undecidability to a certain compile-time-recognizable graph module and then consequently enables computational limits to be enforced upon just that section—or, the grammar writer can rewrite the grammar in an attempt to avoid this. this is vaguely similar to shift-reduce conflicts in abstract except that it's much less likely and is linked to features of the grammar that the writer can understand.

anyway nobody has ever done anything like it as far as i can tell and hacker news would instead just decide to stop computing based upon overall parser iterations because they're really not very good at manipulating and generating novel formalisms

]]>https://board.circlewithadot.net/post/https://circumstances.run/users/hipsterelectron/statuses/116429769023827466https://board.circlewithadot.net/post/https://circumstances.run/users/hipsterelectron/statuses/116429769023827466Sun, 19 Apr 2026 05:41:26 GMT<![CDATA[Reply to meditating on when I was still reading hacker news and somebody posted “the solution to the halting problem is to simply terminate execution after a while” and it was extremely upvoted and I realized these were not my people on Sun, 19 Apr 2026 05:31:58 GMT]]>turing hates this one weird trick

]]>https://board.circlewithadot.net/post/https://mas.to/users/zzt/statuses/116429731810822107https://board.circlewithadot.net/post/https://mas.to/users/zzt/statuses/116429731810822107Sun, 19 Apr 2026 05:31:58 GMT