I'm a few years late on this, but over on Shithappens just came across the amazing work of Andrew Lipson and Daniel Shiu, who have assembled wonderful