Please post topics of interest here.

For the record, here’s something Hong said some time ago: Extrapolating [from Turing], what might be interesting to consider as a community, is to co-develop a shared base library AbstractPPL for various approaches to probabilistic programming such as tracing and source rewriting. It would allow d…

Thanks @phg , the AbstractPPL idea is really interesting. I think it would be helpful to better understand how a given PPL would use this. I’d be happy to talk about Measures.jl. So far, the biggest problem seems to be that the name is already in use . But we have some goals listed in the README , and…

I think the biggest elephant in the room is how to get Gen and Turing talking. Take the below with grains of salt - again, I’m one person, outside of both groups. I have no idea about the internal dynamics of these projects. But here are some of my opinions. I’ve done a good amount of thinking a…

Another possibility: [image] Julia PPL survey paper? Probabilistic programming Would it be feasible for the Julia PPL community to collaborate on a survey article? It could cover things like Why Julia is great for PPL Overview of current approaches and the general design…

I have written up many of my ideas so far here . Any feedback is much appreciated. Again I feel obliged to say that this is not a Turing stance, but only my personal contemplations. Most of it comes from my retrofitting structure onto models written with DynamicPPL through metaprogramming, which is…

[image] McCoy: Can a partnership between MIT and University of Cambridge work this out and present a unified PPL front? I think this is a great idea but likely requires some further discussions beforehand. [image] McCoy: The generative function interface is perfect for the ‘AbstractPPL.j…

[image] trappmartin: I see Probabilistic IR as an experimental idea atm and I would leave it out of the discussion for now. Out of a discussion for a new practical AbstractPPL system – certainly, the idea is pure speculation. But we still can discuss the approach in principle.

Thanks for the write-up @McCoy and for the initiative. I would love to experiment with re-writing some Turing and DynamicPPL internals using Gen’s GFI if it gets separated to its own package. I don’t think it’s impossible and I like the concept of Gen’s GFI and how its extensibility is more battle-t…

Of course, we should discuss the approach. But maybe better in a thread on its own.

Just a note - I’ve opened an issue on the new compiler staging package: https://github.com/Keno/Compiler3.jl/issues/4 Possibly an interesting reference to look at as things pick up. I still don’t quite know what’s going on with the compiler (as much as I try) - but I’ve been trying to keep an eye o…

Community chat 09/20 10 EST

Specific Domains Probabilistic Programming

cscherrer September 15, 2020, 12:53am 5

Another possibility:

Topic		Replies	Views
PPL collaboration Probabilistic Programming	33	5395	April 8, 2020
JuliaCon 2020 Birds of a Feather Probabilistic Programming	24	3436	August 28, 2020
Julia PPL survey paper? Probabilistic Programming	15	2612	September 22, 2020
Shared base library for PPL Probabilistic Programming	9	994	September 5, 2020
Keep it simple stupid vs PPLs like Turing Probabilistic Programming question	5	433	June 2, 2025

Community chat 09/20 10 EST

Related topics