4 ms·This same thing happens with sports records too. Gwern is a treasure of the internet.by _superposition_ 23d agoThis same thing happens with sports records too. Gwern is a treasure of the internet.