You don't get low latency by putting things in orbit unless you're competing with things in even higher orbits.

Now if SpaceX created a magic rocket that could defy the laws of physics and do launches for a fraction of the cost sure go ahead. A drastic reduction in the cost of launching satellites and rockets would increase the number of customers. But there really isn't any sign of that. Even if they get that fully reusable rocket working exactly as planned the cost reductions aren't enough to create whole new markets. It's not a paradigm shift it's a solid improvement.

If they get Starship working exactly as planned it's predicted to lower the launch cost by about an order of magnitude over Falcon 9. Falcon 9 generously halved the previous price to orbit.

Falcon 9 has been a pretty big deal, reasonably called a paradigm shift. If Starship delivers it will be a much bigger deal.

I am not. You seem to be going in circles.

If you want to automate proofs by using heuristics, you would need to determine "almost correct".

You do not. You need a policy that rates some choices as better than others. The system learns this, you do not define it. That's what neural MCTS does.

We don't have such a heuristic for theorems without a known proof.

That's why you learn it. If you mean it's unlearnable, that seems highly unlikely. Anyone who's ever learned anything about logical deduction, including things as simple as high school algebra, can tell you that there's a sense some manipulations are better than others and you get better at it with experience.

Google specifically mentions industrial users in their introduction to web serial. Besides, it doesn't matter what it's "targeted" at, it matters what it can do.

Do you know why hobbyists program microcontrollers using virtual com ports? It's not because Adafruit and Sparkfun got together and said "hey, we need a hobbyist stack for programming microcontrollers!" It's because the various types of serial are widely used in industry, have been for forty years, and therefore are already built into everything, including pretty much every microcontroller.

Being able to flash the firmware on your Arduino or WLED controller from a web page is very convenient. Being able to flash the firmware on your walkie talkie, camera, voice controlled devices or mouse and keyboard also very convenient but maybe a source of genuine concern.

Google says the API is "for" educational, hobbyist (okay) and industrial (sounds like an awful idea) users. But people's concerns aren't about what it's intended for but what it could be used for.

this api is about ports that everyday hardware (like e.g. mice and keyboards) hasn't used for decades

Nope. CDC ACM and virtual com ports are pretty common. Lots of industrial devices, equipment configuration including networking gear, cellular modems, etc.

Specifically to the OPs point, while Logitech seems to use a proprietary USB HID protocol, Corsair mouse and keyboard firmware and profile updates seem to go over CDC ACM. I would be very surprised if lots of other manufacturers don't also use it.

The consumer stuff is generally all USB and the ship sailed a long time ago on the browser having access to that.

Browser access to virtual com ports is more an issue for things like industrial control. Somebody is defininitely going to make their SCADA system web based for the "easy updates" and find out.

Still, the ship sailed on that one a long time ago with Chrome too, and more generally a long, long time ago when Google convinced us all it's a great idea for your operating system to download software off the internet every time you want to run something.

Well, technically that is the entire point of some of the major sports in the world, and it would be problematic to say that deliberately causing brain damage for competition is ok in one sport but not in another.

On the other hand, I am not altogether convinced it should be openly encouraged in any sport.

This is a tricky one, because I would also argue that I should have no say in what a person does to their own body for their own reasons, that my firm belief that people should have bodily autonomy when it causes no actual harm to others does not permit me to condemn others for doing stuff to their own body for their own reasons when it does no actual harm to others even if it's a context I don't agree with.

Given that (ethically) I cannot condone wilful irreversable damage but (ethically) cannot condemn personal choises that harm nobody else, the obvious conclusion is that I don't believe such sports should be actively promoted or encouraged, but that what individuals do in the privacy of a private sporting event should not concern those outside until or unless actual harm outside of those events occurs.

WebSerial is about USB. As far as I know it doesn't even support any other kind of serial port.

You'd get a popup to choose the port and grant permissions.

Have you ever flashed a Meshtastic or ESPHome device or updated firmware on a radio transceiver?

That's what they're talking about here.

No, it means natural gas, which is mostly methane.

Gasoline, and petroleum in general, is way too expensive to use to generate electricity except in special circumstances where your options are limited.

Yeah, I hate this in general about EV coverage. Everything fixates on 'time to charge to full' instead of 'miles replenished per time'.

To be useful, miles per minute of charge is a better figure.

Yeah, they could have suspended Air France and Airbus's business license for 17 years and given them parole by now.

Corporations as immortal unpunishable sociopaths will seem like one of the craziest ideas in History.

They switched to Mac, not Hackintosh.

If the company were serious they'd buy supported hardware from System76, Framework, Dell, Lenovo, local shop, whomever.

It is true that buying an untested Windows machine and expecting full Linux support on a traditional distro, isn't guaranteed to work.

A rolling Arch or Gentoo might do better, buy why not get the tested ones? Employee time really isn't worth saving a day's wages on a hardware promp discount.

Boeing has a mechanical linkage between the pilot's and first officer's controls. It's designed so that you can break it in an emergency by forcing the controls. The audible "dual inputs" warning is an Airbus thing where they use sidesticks with no mechanical linkage.