A faster is_leap_year function (full-range, C++)
benjoffe.com
benjoffe.com
The article outlines the technique, shows related developments before and after its creation, and includes an interactive, human-verifiable "proof".
(The link in the submission is incorrect; apologies for the confusion.)