Jared TobinA Simple Embedded Probabilistic Programming LanguageWhat does a dead-simple embedded probabilistic programming language look like? The simplest thing I can imagine involves three components:Oct 18, 2016Oct 18, 2016
Jared TobinMaking a MarketSuppose you’re in the derivatives business. You are interested in making a market on some events; say, whether or not your friend Jay will…Apr 21, 2016Apr 21, 2016
Jared TobinEncoding Statistical Independence, StaticallyApplicative functors are useful for encoding context-free effects. This typically gets put to work around things like parsing or…Feb 15, 2016Feb 15, 2016
Jared TobinA Tour Of Some Useful Recursive TypesOne starts to see common ‘shapes’ in algebraic data types after working with them for a while. Take the natural numbers and a standard…Dec 9, 20152Dec 9, 20152
Jared TobinPractical Recursion SchemesRecursion schemes are elegant and useful patterns for expressing general computation. In particular, they allow you to ‘factor recursion…Sep 6, 20152Sep 6, 20152