A bayesian market maker
A dynamic pari-mutuel market for hedging, wagering, and information aggregation