"Recent question about futures markets on software bugs: what's the business model?" https://blog.zgp.org/bug-futures-business-models/