Ask HN: What companies are using probabilistic programming?

Ask HN: What companies are using probabilistic programming?
Probabilistic programming systems (PPS) define languages that discretize modeling and inference such that any generative model can be easily composed and run with a common inference engine. The main advantage over traditional ML systems in deterministic code (i.e. Python) being concise, modular modeling where the developer doesn't have to write custom inference algorithms for each model/problem. For more info see, for example, [1] and [2]. I'm curious though, what applications of PPS are realized in practice? Notably Uber [3] and Google [4] are developing/supporting their own (deep learning focused) PPS, but is it known if/how they're used within these companies? Are the frameworks (Pyro [5] and Edward [6], respectively) used by other companies? [1] Frank Wood (Microsoft) tutorial: https://www.youtube.com/watch?v=Te7A5JEm5UI [2] MIT ProbComp lab's page of resources: https://ift.tt/2Jf5ceK [3] https://ift.tt/2iraFCZ [4] https://ift.tt/2qqHNzC [5] http://pyro.ai/ [6] http://edwardlib.org/