A faster is_leap_year function (full-range, C++)(benjoffe.com) |
A faster is_leap_year function (full-range, C++)(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.)