Zeller’s congruence is an impressively unlikely constant-time algorithm for finding the day of the week for any date in the Gregorian or Julian calendar.