They will probably contact the real-life folks that were the basis for the character played by Liam Neeson in Taken.
"I don't know who you are. I don't know what you want. If you are looking for ransom I can tell you I don't have money, but what I do have are a very particular set of skills. Skills I have acquired over a very long career. Skills that make me a nightmare for people like you. If you let my daughter go now that'll be the end of it. I will not look for you, I will not pursue you, but if you don't, I will look for you, I will find you and I will kill you."
- Liam Neeson, Taken.
> the latter is falsified by the fact we can reason about code despite the Halting Problem
i think wokwokwok's point holds true in practice.
Our patience and working-memory is far more limited than what is essential to accurately model all the necessary details of even moderately complex algorithms in our head.
One of the main reasons to limit code-complexity to improve readability/maintainability.
Thanks for putting in the effort to compose this explanation (assuming U did, and not simply asked GPT). But FYI, I did not find it helpful at all. Even after re-reading it twice.
> I've used it to export my cyberpunk 2077 save but I haven't yet tried importing it into the Steam version.
He he. :-)
Reminds me of the folks who ran daily backups, but never tried to restore until they had an actual disaster (and discovered that their backups were corrupt).
Hopefully, these Stadia-exported game saves can be used by other platforms like Steam.
Funny how "attention" in transformers (a.k.a LLMs these days) can help overcome the activation energy barrier due to attention deficit in humans.