A fascinating paper in which the authors write a probabilistic program that infers its own source code based only on its past guesses at what its own source code is. It was at the Onward! conference, and is written in a really unusual humanistic style. One of the coolest papers I’ve read all year.

This is an attempt to unify a few threads around type safety that I’ve encountered and put a slightly different spin on them.