Text this: Probabilistic programming