GPS does not account for leap seconds (2002) by from Hacker News on 2022-11-16 10:13 (#65WH0) Comments