tag:github.com,2008:https://github.com/springcoil/probabilisticprogrammingprimer/releases Release notes from probabilisticprogrammingprimer 2025-07-18T14:57:07Z