damien on Nostr: yeah i meant more in the sense that's it's super close to the "know if a given piece ...

yeah i meant more in the sense that's it's super close to the "know if a given piece of code will ever finish running without _actually_ running it" problem (I know it has a specific name but im blanking right now)