Visualising the execution of functional programming languages by stepping through a graphical AST representation:
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: