You're correct it never has. GPS time started 6 Jan 1980 and has ignored every l... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		timeinput on Feb 8, 2020 \| parent \| context \| favorite \| on: Time.gov was upgraded today You're correct it never has. GPS time started 6 Jan 1980 and has ignored every leap second since.

tyldum on Feb 8, 2020 [–]

The painful fact is that it does include the leap seconds before January 6th 1980. Makes it messy to convert between UTC and GPS time.

I think all the online converters I found a couple of years ago failed to get this right.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact