Hacker News Reader

The kernel needs to maintain leap database for POSIX time too, so that it knows when to do those double-seconds

Typically operating systems don't maintain a database but instead rely on network time servers to let them know that a leap second is about to occur.

Not everyone has a network

The clock of machines is not reliable enough anyways most of the time. You end up having to reset them anyways.