Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
pieces
❯
Probability
Probability
Graph View
Backlinks
Bayes rare illness testing
Bayes theorem
Independent marginalization for a strong monad
Lotteries
Markov category
Probabilistic mixtures as promonoidals
Sleeping beauty problem
choosing a random stream
coinductively picking a random stream
multiset updates