3 ms·
This is easy to fix. The SpacetimeDB folks could just add a phase to analyze the application developer’s code before running it to prove that it will definitely
by JSR_FDED 2mo ago
This is easy to fix. The SpacetimeDB folks could just add a phase to analyze the application developer’s code before running it to prove that it will definitely halt.
- toolslive 2mo agothe halting problem?
- cmrdporcupine 2mo agoi think that's the joke, my friend