Gate is exploring transferring program state (like Smalltalk images), but leveraging wasm to execute untrusted code. An exciting model!
https://savo.la/introduction-to-gate.html
Execution of untrusted code still feels like a really underexplored space.
miniblog.
Related Posts
It's weird how even pure languages tend to treat the Unix execution model as ambient state.
Are there any PLs that define a main function like this?
fn main(args, stdin, stdout, env) -> exit code
YAML is a funny language: it's not Turing complete, but it can have arbitrary code execution bugs.
Computing AMD-specific instructions on Intel by just brute-forcing the whole execution space and seeing which values differ: