QBS邪教
大部分在用PPL的人都在心理/脑科学系？Usability of Probabilistic Programming Languages
MIT PPL
Gen, SMCP3, Ravi, GenSP?
Staton
LazyPPL
Hakaru
Working Dockerfile (don’t think it works natively on arm-mac)
Exact Bayesian Inference by Symbolic Disintegration
Mark Goldstein presentation notes
NR handout
A good preliminary: Equational reasoning for conditioning as disintegration
Holtzen
Multippl
Lilac
OPLSS 可以直接看（可以跳过前面三节课） 基本上过了一下paper里的section 2
Floating Point Errors
On the significance of the least significant bits for differential privacy 和之后 https://arxiv.org/abs/2112.05307
Ben Sherman的thesis也是用这个来introduce的
Courses
OPLSS 2024 Holtzen
Steven Holtzen 之前还教过两个iteration CS7480 F21 和 CS7480 F23
OPLSS 2019 Staton
22年夏天一开始让我满脑子PPL的课
Other
Joseph Tassarotti 和 Jean-Baptiste Tristan 有一个verify Stan’s density operator 的文章
Alexandra Silva 有很多 verifying network-ish stuff with probabilities (?)
Jules Jacobs 第一篇文章居然是 PPL！！？？（感觉像symbolic disintegration的精神续作）
Justin也开过 好像基本在过那本新书
Nice video intro to Giry monad by Arthur Parzygnat