anonymous_user9

The author's argument is that the current system in the US isn't working, so we do need an equivalent of a system that actually works.

That seems sensible. When their AIs inevitably fuck up, those people are going to blame the banks and demand fraud protection etc.

> when defence spending was naïvely thought to be immoral.

Glad that's been settled!

No, because the simulated computer does not exist in the real world. The host's physical characteristics only affect the simulation if they cause the host computer to malfunction.

I'm not sure if I completely follow you, but I'd like to ask: Why is it a problem if there's a divergence between UT1 and UTC? Besides astronomers, who cares if the sun is directly overhead a few minutes later than it "should" be?

UTC is still fixed to the sun. Without leap seconds, it will be hundreds of years before the divergence between UTC and the sun is perceptible in daily life. Even then, I can't think of anything where that would matter.

I think there is a good alternative available, UT1. UTC was always divergent from UT1 anyway, so this change shouldn't affect anyone who actually needs precise solar timekeeping.

More importantly, there are many good reasons to drop leap seconds, such as the massive increase in complexity they impose on all time-related code.

Standards should serve people, which is why leap seconds should never have existed. Imagine: "Sure some airliners crashed, and half the internet went offline for a couple days, but if you drive to the right longitude line, the sun will be exactly overhead at 12:00:00, and here in town it's overhead at 12:23:48. That's worth anything. I'd hate to live in a world where it was overhead at 12:23:49, or that'd be over my great-great-great grandchildren at 12:23:47."

IMO it's not a simple thing, even at a surface level.

"A minute has 60 seconds" is simple.

"A minute has 59, 60, or 61 seconds. Consult CGPM publications or your national timekeeping authority to find out." is not simple at all.

Yes, for all we know they're exploiting a bug in Lean.

Driving e-ink displays faster usually wears them out more quickly.

The USA is far wealthier, uses more carbon per-person, and is responsible for more historical emissions than China or India. We have an obligation to reduce our gluttony before asking others to go without.

Are you saying that calling people racist is the worst bigotry?

Those of us using our human minds to extract meaning from specifications and manuals don't want to look at LLM slop either.

What happened to the remaining 39 months of his term? Are you saying he should've instantly fulfilled every campaign promise the moment he took office?

> Mandami have never run a business, or worked for a business, and it shows.

In record-high approval ratings, multiple reforms supported by small businesses, and fast progress on many huge initiatives?