“Due to Haskell’s syntax sugar for monad computations, expressing probability distributions as monads allows you to implement something like a mini probabilistic programming language in less than 100 lines of code.” #probabilistic-programming #Haskell #toread
on 02026-01-06#probabilistic-programming #toread
on 02017-05-19BayesDB, a #probabilistic-programming #database
on 02017-05-19@ccshan talks about how he and #Oleg invented #probabilistic-programming.
on 02016-05-02an overview of #probabilistic-programming systems, #SAT solvers, with a paragraph or so about each.
on 02015-09-18#Oleg and Chung-Chieh Shan have built a #probabilistic-programming system as an embedded DSL in #OCaml, called "HANSEI". Holy shit, they did it in 2008. That’s at least five years ahead of the trend.
on 02015-09-18A simple #probabilistic-programming language #interpreter in #haskell.
on 02015-08-25#Probabilistic-Programming and #Bayesian methods for Hackers in pure #Python. #ebook
on 02015-08-19Overview of all existing #probabilistic-programming systems.
on 02015-08-19#paper on “Picture”, a #probabilistic-programming language for #computer-vision. "Kulkarni 2015". Mentions a “Hamiltonian Monte Carlo” inverse-rendering method that “exploits the gradients of automatically differentiable renderers”, using #automatic-differentiation, I suppose. Doesn't exploit conditional independence. #toread
on 02015-08-19#probabilistic-programming to perform inverse rendering of faces, using a probabilistic #Julia extension called Picture written specifically for the purpose by Tejas Kulkarni (et al.) “provides a general framework that aims to solve nearly all tasks in computer vision”. #Kulkarni-2015 2015-04-13.
on 02015-08-19#Probabilistic-programming allows you to condition the execution of a nondeterministic program on observations, reasoning backwards from the observations to the conditional distribution of the original stochastic variables, thus allowing you to express #statistics models in a Turing-complete form. (However, some PPS languages are not Turing-complete.) Well-known languages are Venture, Figaro, and Berkeley’s BLOG, but there are also Church, Haraku, Chimple/Dimple, Stan, and Infer.net. #toread
on 02015-08-13