Hacker News Reader

I think Stan uses sampling-based Monte Carlo, whereas PSI is based on static program analysis.

I'm a Stan user and I guess I'm interested to know if this would solve similar problems.