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.roneverhart.com/Luvy-Duvy-Neapolitan-Freeze-Dried-Ice-Cream-Sandwich/