Will we have a negative leap second? [pdf] (2022)(gps.gov)86 points by fanf2 2 years ago | 53 comments
Official U.S. government information about the Global Positioning System (GPS)(gps.gov)95 points by waterheater 3 years ago | 107 comments