Thanks for the link, great read. I think I get you here; in the context of a DSL where it's impossible to travel more instructions than X, suddenly you don't have a halting problem anymore as you've artificially limited…
Ahhh this is fantastic thank you; it _is_ hard to reconcile whether problems come with the original topic or whether they are introduced by the abstraction that we _need_ to make in order to quantify a thing/explain it…
Thank you for your insightful answer, in reduction; "Don't fight a god, you won't win, and you'll definitely die in the process!" The approach you describe though is brute force. I don't think (if there even is an…
Thank you for the suggestions, I look forward to reading!
Ahhh thank you it's effectively the known-vs-unknown space; - How long does it take to get from A to B? => Easy if you know where A and B are, and what mode of transport you're taking to get there. - How long does it…
Thank you internet stranger, for introducing me to hard-maths drugs; am hooked!! \o/ I love the idea of this. So the BB problems are individual iterations of the halting problem right? To truly solve the problem one…
This truly leads into "computation"; when we're dealing with known quantities, yes, we can "solve" the halting problem. The second you move into "we don't know the answer yet", the can of worms opens. Thank you.
This is a brilliant explanation thank you.
This is what makes me sad about the AI age; many articles now have the same phrasing, the same analogies, the same quips, structure, the same wording; once you start to see it there's no going back. I actually laughed…
Something has always nagged me about the halting problem, might be my mis-understanding of the problem space but; - You have a piece of software - That software does in memory compute only - The software does not touch…
I'm not a religious person but this seems relevant to your comment; > So I commended the enjoyment of life, because there is nothing better for a man under the sun than to eat and drink and be merry. As someone with…
Here here. 100% in agreement, people seem to have forgotten that the majority hold the bargaining power. You'll always have people who cross "strike lines", but by and large if the entire user base simply said; no, and…
Whoa; TIL. It's terrifying the number of future-time-bombs we keep planting for ourselves.
This is the first thing I've seen on the intertubes for a /long/ time which genuinely makes me smile, thank you op. Checked out https://cssdoom.wtf/ and loved it too, both are far lighter than current affairs. \o/
Thanks for the link, great read. I think I get you here; in the context of a DSL where it's impossible to travel more instructions than X, suddenly you don't have a halting problem anymore as you've artificially limited…
Ahhh this is fantastic thank you; it _is_ hard to reconcile whether problems come with the original topic or whether they are introduced by the abstraction that we _need_ to make in order to quantify a thing/explain it…
Thank you for your insightful answer, in reduction; "Don't fight a god, you won't win, and you'll definitely die in the process!" The approach you describe though is brute force. I don't think (if there even is an…
Thank you for the suggestions, I look forward to reading!
Ahhh thank you it's effectively the known-vs-unknown space; - How long does it take to get from A to B? => Easy if you know where A and B are, and what mode of transport you're taking to get there. - How long does it…
Thank you internet stranger, for introducing me to hard-maths drugs; am hooked!! \o/ I love the idea of this. So the BB problems are individual iterations of the halting problem right? To truly solve the problem one…
This truly leads into "computation"; when we're dealing with known quantities, yes, we can "solve" the halting problem. The second you move into "we don't know the answer yet", the can of worms opens. Thank you.
This is a brilliant explanation thank you.
This is what makes me sad about the AI age; many articles now have the same phrasing, the same analogies, the same quips, structure, the same wording; once you start to see it there's no going back. I actually laughed…
Something has always nagged me about the halting problem, might be my mis-understanding of the problem space but; - You have a piece of software - That software does in memory compute only - The software does not touch…
I'm not a religious person but this seems relevant to your comment; > So I commended the enjoyment of life, because there is nothing better for a man under the sun than to eat and drink and be merry. As someone with…
Here here. 100% in agreement, people seem to have forgotten that the majority hold the bargaining power. You'll always have people who cross "strike lines", but by and large if the entire user base simply said; no, and…
Whoa; TIL. It's terrifying the number of future-time-bombs we keep planting for ourselves.
This is the first thing I've seen on the intertubes for a /long/ time which genuinely makes me smile, thank you op. Checked out https://cssdoom.wtf/ and loved it too, both are far lighter than current affairs. \o/