jojogeo

Shaka, when the walls fell. :(

Ding dong.... uuuRRRRRhh... woooooooow. We had this on a really old mac a long time ago.

Never have truer words been spoken, I too score poorly on DishwasherBench wife mode. Drives her up the wall.

> Shari-yall

Made me laugh while drinking; messy, but worth it for the smiles I'll have every time I remember it! Outstanding job, internet stranger.

Thank you, that's a really down to earth take on the situation; adds a dash of sense and rationale to my feelings on the topic.

Makes me wonder how many times my parents wondered whether we were going to make it/had to pretend everything was going to be okay.

Agreed. Our 9 year old keeps talking about "When I grow up I'm going to be a chef", he's really set on it. Our 5 year old says she wants to be a "girl scientist".

It tears me up inside to think that we might not even have food and water by the time they get there, let alone the level of pretend we have to maintain so that their childhood is preserved now.

I love this, but for some reason I can't find any way to turn the camera on/it only works with the mouse. Awesome toy though.

Same :(

Would be briefly hilarious though as the squeaky response made it back through to mission control.

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 that language's ability to travel beyond a known/fixed set of states.

The second you wield a language which has constructs like Haskell, where in theory you can iterate over an infinite list of items (thinking about it even any language where for i in input_var is possible); the halting problem hits you in the face like a brick.

Its almost a chicken and the egg problem, where you can't know how long it will run for/whether it will halt without already knowing the answer, but if you knew the answer, you wouldn't need the program to find it.

My head is spinning.

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 to ourselves and others.

Regarding the downcast/upcast; I think it _can_ be possible to do this successfully;

> I have a glass, I throw it at a hard surface. What will happen? Well (duh) the glass will (most likely) break.

This hypothesis completely ignores nearly 100% of all relevant physics and the laws surrounding the problem; the arrangement of air molecules, the arrangement of the molecules in the glass, the physical forces governing me, it reduces the entire equation down to some really basic napkin physics.

But; does the outcome work? Has my interpretation of the universe and its physics actually predicted what will happen?

Probably a stupid example, but I think that a lossy picture of the universe can still yield a correct answer.

I can't physically run a simulation of the entire universe in my brain, as my brain is part of that same universe. Lossy representations/models are a necessity in the thinking-ham bound world in which we exist.

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 answer to this problem) that it can be brute forced; that's where you run into the limits of hardware/computation/energy and start talking about timeframes which exceed the life of the universe.

I think brute force might be a useful tool in places to validate results, but if there _is_ an answer to this problem it's purely mathematical.

Apologies for sounding both excited and naive; these sorts of challenges make me happy in strange ways that no other thing does!

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 take to get from A to _somewhere_ => As long as it takes!!