Probabilistic programming for the web