"New programming constructs for probabilistic AI" by Marco Cusumano-Towner