Exciting talk on the current state of Eve, perhaps the most innovative view of computing right now: https://www.youtube.com/watch?v=VZQoAKJPbh8 (demo at 46:50).
miniblog.
Related Posts
Computing optimal 8501 instructions for rotations using an SMT solver and Racket with Rosette:
Difftastic is effectively computing the "tree edit distance" between two ASTs, and there's a bunch of papers on this topic. Literature review is hard though: sometimes a paper takes a while to digest, only to realise that they're solving a slightly different problem.
Modern computer systems are hard to bootstrap. If you had to rebuild computing from older tech (say 20/30/40 years old), which would you prefer?