For reference, that's 4720 light feet or 1440 light metres.

I was pretty surprised to learn the US totally banned it for cars about 5 years before the UK/EU.

For context, the EU is a big place. You need every 27 countries to agree to get anything done, or a big push from the parliament. When it comes to environment regulations, EU regulations are pretty much the common denominator. The fact that this is still more stringent than the UK’s regulations says more about the UK than it does about the EU, unfortunately.

It's been a private company for over a decade and a half. This is pretty common in many European countries. e.g. Germany's postal system is wholly owned by DHL.

It’s the other way around, DHL is owned by Deutsche Post AG.

Is RDMA only going to be on the studio, or is it coming to anything with a thunderbolt 5 port on it?

Looks like it's been updated since you posted this.

I know it's still active because I see someone with that handle posting on bluesky regularly.

Can you buy a phone number from a different country? (genuinely curious, I live somewhere I can buy a sim card with cash, and saw some in the impulse-purchase section of a store earlier today)

Okay, now I’m curious. If the pins are just connected across all ports, how does the AVR tell which CEC-speaking device is on which port? Chip select or similar pins?

Answering my own question: CEC is electrically unrelated to DDC/EDID. The EDID data tells each source its physical address, and then the devices negotiate over CEC to choose logical addresses and announce their physical addresses. This is one way to design a network, but it’s not what I would have done.

I wonder if a malfunction in this process is responsible for my AVR sometimes auto-switching to the wrong source.

Every device has a logical address that is included in messages.

It's electrically similar, but not directly compatible. (if you know better than me, please let me know)

For some reason, GPU makers don't usually expose the CEC interface for the HDMI ports on their cards. Even the raspberry pi's ability to support it wasn't standard/default for years.

The common workaround if you had a kodi PC or something was to buy one of these things: https://www.pulse-eight.com/p/104/usb-hdmi-cec-adapter and run a HDMI cable through it. Because CEC is open drain like i2c is, connecting to it anywhere in your network of devices should work. (the HDMI spec mandated that the CEC pin needs to be connected, even if you aren't using it, from the first version) Just connect it to a spare HDMI port anywhere and you're off to the races.

It's cool that that exists, and also feels silly to spend $50 + need to buy/run an extra HDMI cable just to make your TV turn on when your device does.

Real shame these gaming-tailored devices don't support it natively. I wonder if the DP vs HDMI licensing battle is involved.

Works for me most of the time. A couple of months ago, there was a period where a subset of the exit IPs were blocked for a short period each.