This is a long time project of mine (started in 2018) where I had an idea that it is possible to do exact inference of probabilistic programs even when loops (including infinite loops) are involved. I didn't publicize it too much as performance was too abysmal to be practical, but recently with ...
Source: [Hacker News](https://github.com/kccqzy/probabilistic-program-inference/blob/master/README.md)