But Meta's not actually ceding the point. They're essentially arguing that (1) leap seconds are an esoteric concept that only astronomers care about, and that (2) we shouldn't care about their esoteric concerns, so (3) we should therefore dispose of leap seconds.
The GP's point is that astronomers find leap seconds annoying too, so Meta's argument is based on a faulty premise.
Ok sure, I don't think I quite got that from what GP wrote, but I can see that as a valid argument: "There are actually valid uses for leap seconds, but just not within astronomy. Meta's claiming that leap seconds were made for astronomy so that we assume that's why they exist and ignore the other real reasons leap seconds exist and the benefits they provide."
> If the actual leap seconds do not benefit astronomers, and do not benefit anyone else, they are purely a tax on us all.
May as well dispense with the calendar entirely and just measure time in powers of ten.
An day is about 80 kiloseconds, and a year about 30 megaseconds.
Maybe many gigaseconds into the future our descendants will learn about old Earth time keeping in school, along with Roman numerals and the imperial system.
Astronomers whose software uses UTC and isn’t able to change to UT1, and who don’t need precision less than 1 second, but more than 3-5 seconds or so will be worse off. This seems like much less net inconvenience than what the tech industry has to deal with when it comes to leap seconds.
I hear the argument that we have to deal with this eventually to keep time in track with mean solar time, but the adjustments are so small that I don’t see any real impact on regular people.
You could very likely fund fixing the software of every astronomer on the planet for less than the cost of one outage caused by adding/removing a leap second when you look at Meta + Google + a few telcos.
The GP's point is that astronomers find leap seconds annoying too, so Meta's argument is based on a faulty premise.