Hacker News Reader

Can anyone explain how this contrasts to Stan or other PP?

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.