Dirk Rijnsdorp's public data