You'll see a lot of advanced users advising against compact. The truth is that you have the entire transcripts in your ~/.claude/transcripts (I give claude permission to look there) so when there is some important discussion I don't want to lose, I use claude extract the notes from the transcript. If it's a long transaction it can be big so it might miss things on the first go around - but if you ask it specifically about the topic you're interested in it'll usually find it.
I’ll play devil’s advocate. The beings that made our VMs are clearly superior. But the Halting theorem applies to them too. They too represent floating point numbers with finite precision. Does that mean we can catch them violating conservation laws? Maybe.
In any case, here’s some food for thought: ray tracing is undecidable [1]. If something is undecidable, it is for any form of computation, classical, quantum, or anything. Does this mean we can find some “glitches in the matrix”. It simply means such glitches are there (if we are in a similation). But they might be too infinitesimal for us to identify.
Yes. The halting theorem is a version of God's omnipotence paradox: if God is omnipotent, can he make a rock that's so heavy that he can't lift it? Either way, God's power is limited. Similarly, can God create a universal halting decider? If he can, then we can use that halting decider to create a program whose halting can't be decided. I won't bore you with the details, but the idea is that the "God" I used above can be anything. It can be the writers of the simulation we live in.
> Do they?
No matter who the writers of the simulation are, they are finite beings, and their devices are finite, one way or another. The set of real numbers is infinite and uncountable. So not all numbers can be represented. Any representation of real numbers will make approximations.
In my opinion, the greatest achievement of ASI will be when it concludes, after careful and thorough consideration of all the evidence and laws of nature from the quantum up, that it is impossible that random evolution could be responsible for the quantity and variety of life forms in the amount of time the universe has existed. It won't know where life came from, but it'll know it wasn't natural.
The chinese are great at taking secrets. Chatbots are great places for people to put in secrets. Other people say "we're not going to use your data" - with a Chinese company you're pretty much guaranteed that China mothership is going to have access to it.
The open source model is just the bait to make you think they are sincere and generous - chat.deepseek.com is the real game. Almost no-one is going to run these models - they are just going to post their secrets (https://www.cyberhaven.com/blog/4-2-of-workers-have-pasted-c...)
