The NBA grades its own officiating in the final two minutes of close games and publishes the results. Eighty-nine thousand graded calls later, the errors have a shape — and the question everyone wants answered turns out to be the one the data is worst at.
A library for evaluating well-formed formulas, built to find out how much of an introductory logic course automates cleanly. Written in 2016; the demos here run the real parser.