https://trishul.us/research/probabilistic-programming/