Lumbergh…

It’s for people with that much money to waste. Saudi princes and the like.

Look, War Thunder isn’t going to develop itself.

It was merged into mainline, in 6.1, over a year ago.

https://docs.kernel.org/rust/index.html

Yes, but asking him in this case was basically a courtesy, the code isn’t going into anything he manages. He can reject it, but that’s an opinion, not a decision. It can still be merged if the regular maintainer (or someone senior like Linus himself) approves.

fretting about accidentally configuring an open relay

That’s easy enough to test. Try sending mail from the Internet to an address outside your domain, both from a real sender and a sender spoofing your own domain.

Unwitting? No. They are knowingly and intentionally doing this.

Investment purposes like home mortgages. Never watch “it’s a wonderful life”?

No bank will ever have enough cash to cover all its accounts. There probably are not enough dollar bills in existence for that.

Really, which one? This would be the first I’ve heard of it.

Really? I tried it about a year ago and the official answer from Microsoft was that it was unsupported.

Do alternators fail that often?

Trump is unsettling.

2014?

https://en.wikipedia.org/wiki/Office_of_Personnel_Management_data_breach

Nope. It’s completely outside the normal government system.

Yes.

But that’s not what’s happening here. The guy who said no is not the maintainer of the rust code, and is not expected to touch the rust code at all.

Nutmeggers?

Rwanda and their president Paul Kagame?

Yes, it sets the official name of each place. That’s what everyone here is talking about.

Apply only the part of the name change that’s actually covered by US jurisdiction.

Strictly speaking, per the EO, this is what they should have done. The EO defines the area to be renamed as:

the U.S. Continental Shelf area bounded on the northeast, north, and northwest by the States of Texas, Louisiana, Mississippi, Alabama and Florida and extending to the seaward boundary with Mexico and Cuba in the area formerly named as the Gulf of Mexico

You can see exactly where that seaward boundary is on this map: https://commons.wikimedia.org/wiki/File:US_ECS_Regions_2023.png

The area described is less than half the whole Gulf of Mexico.

Yes, and Congress delegated that authority in 1947 via Public Law 242, creating the US Board on Geographic Names, under the Secretary of the Interior, part of the executive branch. The President has the authority to direct the Secretary.

You can speak as confidently as you like, but you’re still wrong. Feel free to learn: https://www.usgs.gov/us-board-on-geographic-names