https://dazuozcy.github.io/posts/probability_programming/