Probabilistic programming allows for automatic Bayesian inference on user-defined probabilistic models. Recent advances in Markov chain Monte Carlo (MCMC) sampling allow inference on increasingly complex models. This class of MCMC. known as Hamiltonian Monte Carlo. https://www.lodiceelpueblo.com/product-category/eye-spray/