[furyofantares]

I would absolutely take the cost of work schedules being adjusted by an hour once every 6667 years over the cost of 6667 years of programmers having to deal with leap seconds and everyone else having to deal with the fallout of any bugs from that.

How long has the 9-5 even existed? Less than 200 years? At no point in 6667 years would anyone notice any consequences of the drift, culture and work schedules change so much faster than that.