#webppl - Twitter Hashtag

almost 2 years ago

Just committed to my GitHub repo: * #Picat: https://t.co/AhILyp9nDw * #Racket: https://t.co/w5Q5vxA3ON It's about 250 programs, mostly Gamble probabilistic programming models * #WebPPL: https://t.co/kQ1l9Fd9j8 A few new models (ported from my Gamble models)

0

7

1

0

221

Hakan Kjellerstrand @hakankj

almost 2 years ago

Probabilistic models of the one rigged coin problem in https://t.co/nH8DQFapBj . * #Racket/#Gamble: https://t.co/kULguxJZ3I * #WebPPL: https://t.co/xvw9X0bfrA Both show the coin is fair with a probability 0.9071033294021591 and biased with probability 0.09289667059784087.

Daniel Litt

@littmath

almost 2 years ago

You have 10000 coins. 9999 of them are fair; one is rigged so that it always lands on heads. You choose a coin at random and flip it 10 times; it’s heads all ten times. The coin is probably

295

1K

89

781

514K

0

2

0

182

Hakan Kjellerstrand @hakankj

almost 3 years ago

Added quite a few (about 70) #WebPPL models, as well as added quantiles and PDFs for certain distributions (and a general quantile function for simulations). See My WebPPL page: https://t.co/F7exVvrsdm or the GitHub update: https://t.co/RviAMNXdKe

1

4

0

2

273

Hakan Kjellerstrand @hakankj

almost 4 years ago

Here is a #WebPPL model of the Duelling Cowboys problem: https://t.co/ezTSV0TFWS I haven't seen a formula of A surviving when A and B start with random probability. Symbolic Regression (#JGAP) to the rescue: https://t.co/ul8Kz6Cz0C . p(A survives): (0.5*a*(b-2))/(a*(b-1)-b)

0

2

0

Hakan Kjellerstrand @hakankj

almost 4 years ago

Collected quite a few probability distributions in my #WebPPL package (hakank_utils): https://t.co/7nxthW2c6j Also updated eval_program.wppl (running simple WebPPL models from the command line): https://t.co/gnAJQ2IxRS GitHub commit: https://t.co/u7AjtCTEqN

0

1

0

Hakan Kjellerstrand @hakankj

almost 4 years ago

Probabilistic Programming: During the last weeks I've added about 100 #WebPPL models, including ports from SPPL, ProbLog, DC-ProbLog, Figaro and R2: https://t.co/FYLqCchbJQ GitHub commit: https://t.co/FJ81CkUg8X

0

1

0

1

0

vlad🩸🇺🇦 @dovgvlad

over 7 years ago

Tutorial on #probabilistic #programming by Kevin Smith (MIT) using #webppl https://t.co/3nh6RfclFC

1

7

2

0

vlad🩸🇺🇦 @dovgvlad

over 7 years ago

@statwonk @mcmc_stan @pymc_devs @TensorFlow And #webppl and #inferdotnet

0

1

0

vlad🩸🇺🇦 @dovgvlad

over 7 years ago

As it is often the case, I started with a too complex solution. Today it boiled down to very few lines in #webppl #probabilistic #programming

0

4

1

0

vlad🩸🇺🇦 @dovgvlad

over 7 years ago

@AllenDowney Here's my embarrassingly simple solution using #webppl #probabilistic #programming The posterior over number of rolls if of 4 dice is attached. The code is here: https://t.co/XaNPA7vqbX Tbh I don't like my bound of maximum of 20 rolls...

dovgvlad's tweet photo. @AllenDowney Here's my embarrassingly simple solution using #webppl #probabilistic #programming The posterior over number of rolls if of 4 dice is attached. The code is here: https://t.co/XaNPA7vqbX Tbh I don't like my bound of maximum of 20 rolls... https://t.co/vAbWWMWlpG

1

4

1

0

vlad🩸🇺🇦 @dovgvlad

over 7 years ago

@AllenDowney Here are the marginals for the two questions. The #webppl #probabilistic #programming language was used. Source code: https://t.co/27RTuGKspu

dovgvlad's tweet photo. @AllenDowney Here are the marginals for the two questions. The #webppl #probabilistic #programming language was used. Source code: https://t.co/27RTuGKspu https://t.co/QkVrL9LaKi

2

3

0

vlad🩸🇺🇦 @dovgvlad

almost 8 years ago

"Probabilistic language understanding: An Introduction to Rational Speech Act Framework" https://t.co/YFyvSysKFN Why didn't I find this resource earlier? #probabilistic #programming #webppl

0

3

0