Sep 17, 2020

https://www.gwern.net/docs/math/1996-hoare.pdf

1996 is in the URL.

This is less a science thing and more an Internet culture thing, IMO.

Documentation norms online have changed with variablized URLs full of computed data