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
@zzt "just prove that the universe will stop eventually" clown take
-
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
@zzt _Bool will_halt(void *prog) { return true; }
-
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
@zzt if I were a problem I would simply halt
-
@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
@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
-
@zzt if I were a problem I would simply halt
-
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
It might have been a joke.
-
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
@zzt remember that this is literally the solution the Ethereum Virtual Machine uses, your badly coded function runs out of money
-
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
@zzt The solution to the grandfather paradox is "just don't do that"
-
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
This is the community of utter twonks that the head of platform at Ubuntu asked "what do you want to see in Ubuntu $NEXT?"
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_.
-
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
@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.
-
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
@zzt I am very happy I don't visit that site anymore, but sad I miss out on such computer science breakthroughs
-
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
@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…
- If your program/task is simple enough for that, watchdog functionality is easy to support.
-
@zzt remember that this is literally the solution the Ethereum Virtual Machine uses, your badly coded function runs out of money
@davidgerard @zzt Eeyupp, also with #Solana.
- 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: #CryptoBros are still a problem, they judt habe less $$$$$$$$ than the #AIbros!
- 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.
-
@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…
- If your program/task is simple enough for that, watchdog functionality is easy to support.
-
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
"I will respond to my inability to decide something by changing the rules, deciding a different thing, pretending that I've decided the original thing, and rallying a bunch of people to pretend with me" sums up a lot of modern dysfunction, seems to me.
-
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
@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.
-
R relay@relay.mycrowd.ca shared this topic
