You're assuming they use the UNIX epoch. | Hacker News

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

		steveklabnik on Aug 13, 2009 \| parent \| context \| favorite \| on: World’s first formal machine-checked proof of a ke... You're assuming they use the UNIX epoch.

eru on Aug 13, 2009 [–]

And 32-bit time. They may be using a representation that allows arbitrarily big numbers.

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