solna86

Seconded @atiensivu. This is a fantastic addon, and it'd be great if @tumpio or @ArenaL5 could make a new official release. As far as I can see there are lots...

Apologies @ArenaL5 and @tumpio. I just looked quickly into the last commits and since there were a few coming from @ArenaL5, I wrongly assumed you were also maintaining the addon....

I note the master branch still includes a directory full of Isabelle code, and generated docs do talk about Isabelle [support](https://proofgeneral.github.io/doc/master/userman/Isabelle-Proof-General/). Is Isabelle support definitely discontinued? That's pretty sad as...

Thanks. My initial comment about Isabelle support was not intended to raise any controversy. I was just confused because PG's current master docs referred to Isabelle, yet this was supposedly...

I think this is a very important issue that is preventing a more widespread adoption of this addon, which I find exceptionally useful to make browsing more secure and private....

@Gitoffthelawn perhaps you are referring to captcha pages, unless I'm missing something? I am referring to a Terms and Conditions pop up that Google, Google Maps, Youtube, etc show you...

Many thanks, I had overlooked that equivalence. What are some recommended weakly-informative priors for alpha and beta in the Gamma distribution, taking into account that GeneralizedPareto(xi=1/alpha, sigma=beta/alpha) where alpha and...

Thanks. I apologize if my question sounded as an off-topic query about priors. I am quite familiar with that on more general probabilistic systems, and I know this is not...

Many thanks for taking the time to support this @tminka! I have pulled the latest master and built Infer.NET. A mixture model like the one I posted previously, with `Beta(a,...

I thought it would be useful for @ksachdeva to add my outsider view. Infer.NET is less expressive than Pyro and the other languages you mention as it is not a...