This post accompanies a pair of talks given at CMU in November 2018.

Coming soon: my notes from the talk, and possibly a screencast.

Links