You know how every Windows program begins with a small DOS program that says “this can’t be run in DOS mode”? What if you replace that with a small HTML page that loads a wasm VM for the executable’s real target environment
-
-
You can expand this to be more practical by allowing forward calls too (with return back to call point), which also yields bounded loops (via unrolled sequence of calls), etc.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yeah but it doesn’t necessarily get you into a tractable space.
-
If time is bounded by space (as in forward-jumps-only), that may constitute tractable. Esp. if you limit program size significantly.
-
I'm not sure how you're getting from that description into a sub-exponential reasoning problem. But the specifics interest me less than the intent. We currently entertain the argument that one should _intend_ to accommodate things intractable to analysis. IMO that should change.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.