AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Hyper-Rully Ad Footnotes
I understand why it feels like this, uh, ruley ad is necessary. But maybe it's just me being human, but it feels like then you should be able to, not us, but somehow step outside of the ruley ad. The whole point is that by the time it's all possible formal systems, it's, it'slike it is all things you can imagine. Not all computations you can imagine, but like we don't. Well, so that could be other code. Okay. Is it possible to encode all? I mean, once we, is that something that isn't what we can represent formally? Right. So there's nothing because, but that's