propagator

Just came across [this paper] today, and it was super-interesting. (I’m assuming the title is a reference to [an earlier one] by Steele and Sussman). You can read the abstract, or [watch Sussman talk…