Comment by maxiepoo

For context, Matt Might is formerly a professor whose research was in programming languages/program analysis. Professors like to code too!