Programmatic Prediction markets — LessWrong