Pietro Monticone

icon company University of Trento icon location Trento, Italy icon location Informal Mathematics @UniTrento || Formal Mathematics at Harmonic || Formalising in @LeanProver || Developing in @JuliaLang and @Python.

Results 20 comments of Pietro Monticone

DomainError: Starting point has non-finite density using DynamicHMC backend

Do you have any update? I would be very interested to know.

Update 0-appendix.md

Hi @sparack and @andypiper, are there any issues with this PR? If so, I'd be happy to help.

Clean modules and labs-code

Hi @sparack and @andypiper, are there any issues with this PR? If so, I'd be happy to help.

Update 0-appendix.md

Hi @sparack and @andypiper, are there any issues with this PR? If so, I'd be happy to help.

typos in bookdown

Hi @ASKurz, First of all thank you very much for making this great resource publicly available for free! I'm writing here because I've found a [typo](https://github.com/ASKurz/Doing-Bayesian-Data-Analysis-in-brms-and-the-tidyverse/blob/d70b063cf7b8558c391fad07db4e3c62e516def6/01.Rmd#L45) reading the first pages...

typos in bookdown

I'm referring to the possible correction from "**I** addition to [...]" to "**In** addition to [...]" at line 45.

Help with intializing the `getq` function from the tutorials

Do you have any update? I would be very interested to know.

Fix typos in README, docs and docstrings

Hi @yinleon, are there any issues with this PR? If so, please let me know.

Fixed a typo in README

Gentle ping @autozimu, @stevengj.

Fixed a few typos

Hi @bob-carpenter, can it be merged now?