Wait 'til they realize that Android is distributed under a license that allows people to copy, redistribute, and modify it.

True for the Android in the git repository. Not true for the Android actually on virtually all phones.

A bunch of US states don't have any legal minimum.

Nah, you can read the article but you're still required to foretell doom. Apple will merge iOS and MacOS, Nvidia will stop making video cards, they won't allow you to own a computer anymore, Cheetos will be discontinued, that sort of thing.

You're not talking about datacentres, you're talking about maybe a handful of satellites. Unless we're going full AI techno dystopia, and then just call it skynet. You'd still probably be better off with a regular Starlink and a dude sitting in a shipping container on the other side of the strait.

The Shuttle isn't really a fair comparison though because it was a manned air force asset that the civilian program got to use most of the time. Ariane is not generally held up as being the economical launch option either.

But even if you go with Falcon being 1/5 of Ariane, a working-as-promised Starship is more like 1/10th of Falcon. Describing it as a marginal improvement over paradigm shifting Falcon is backwards.

$1000 - $3000 per kilogram to orbit was pretty revolutionary. $100-$300 will be even more so if it happens.

WebHID is a concern, but it's pretty limited. The HID protocol itself is limited on purpose. WebUSB is absolutely a concern. WebSerial is maybe especially of concern because serial devices generally don't have any security. They're usually very low level and a lot of them are survivors from decades ago.

In general I think it was a bad idea to have the thing that constantly downloads software from the Internet also be the thing with direct access to the hardware. That ship sailed because Google wanted your browser to be also be your OS. Still, it's worth knowing and recognizing that new security risks exist. It is a real possiblity that, for example, one of those people who used to get in trouble for clicking on every link in e-mails clicks on a permission popup and gets a keylogger installed on their keyboard. And as I said elsewhere, somebody is absolutely going to have the bright idea to make their SCADA system web based.

There are a bunch of datacentres in Iran.

Are Americans somehow unaware that their governments have all sorts of "digital IDs" for them, from drivers licenses and passports to the draft they're registered for when they turn 18?

Now imagine that Trump could

If your concern is that one person in your government could delete your ID then you've got bigger concerns than having your ID deleted.

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.