Also guix system image perhaps.

that is a side-effect of the DICE strategy, not a result of AVF.

Okay, but what about the other two points? Aren't these related to AVF:

a vulnerability in one of them does not affect the security of the others

There is other TEE attack surface, but it's small

Still, would be better (from the POV of some of us) .

primary security benefit of the VM move is

Well, as you say, only 'primary'. And previously one could've set a vulnerable DRM against another secure one.

VMs are a little easier to standardize and update

This is also a bigger deal than it sounds, because earlier, incovenience (to the user and/or coder) would've had stayed an abusive authority's hand.

There are so many ways for video to be pirated

Alas! If that were the only motive for DRM!

adding VMs doesn't change anything here

won't make DRM stronger

Are you sure? All these sound like any 'centralization' will be easier and more circumvention-proof:

architecture which will make it possible to remotely verify whether a device is up to date

a vulnerability in one of them does not affect the security of the others

VMs are a little easier to standardize and update

Couldn't this be abused to, effectively, bring closed-source components into Android as a separate OS, without violating its license?

For a reasonable (if nerdy) alternative that preserves the flexibility, try out Emacs SES. The data can be pulled easily, into org-mode for e.g. by something like:

#+BEGIN_SRC elisp
(with-current-buffer "test.ses"
(mapcar #'cdr (cdr (ses-range TopLeft BottomRight *))))
#+END_SRC

And parts of the pipeline can be swapped with more efficient programs if needed later. (Such a 'Strangler Pattern' may be tried during adoption as well)

...the first step is to realize his mistakes honestly. Alas, that hasn't happened here. History has no lack of role models (Paul the apostle, for e.g.), but he might've to venture out of the classics.

it can't just be better, it has to be significantly better. Rust isn't currently even as good as C

I wish someone would give Prescheme a try, for this. Compiles to C anyway for now, so the path should be easier.

I Hope They Do Go After Search

Focussing on particulars like 'search', 'youtube' or 'products' is beside the point, IMO. The lasting solution to this monopolism is going after the source of their network externalities: in the case of internet companies, the one arising out of 'memory' (or data storage) that the founders of the World Wide Web neglected. Why can't the Regulated Asset Base (RAB, of the 'utility') simply involve developing and enforcing a protocol for that on the lines of IPFS et. al.?

That's because there are no more "features" that need to be added.

Especially not WebAssembly support please: the Javascript Trap likely made worse through obfuscation.

Fix bugs. Improve security. Make everything runs as fast and as smoothly as possible.

Amen.

It's cheating to do programming too easily.

older versions of the blame view on a line by line basis

...simply use 'C-x v g' followed by 'a's.

Two counter-arguments in favor of the FSF:

• Certifications are meant for ordinary people: being confusing is the last thing they need to be (us tech nerds understand all this anyway)
• Being even partially 'non-free' leaves a door open for bad behavior in the future: what if, when users realize that, they question the certification they'd followed in the first place? (see previous point).

GNU Guix could be big part of the solution.

Add Guix to the list (uses GNU Shepherd).

...an endgame here of getting users to generate data useful for some kind of AI training? Perhaps for some futuristic predictive interface, or more sinister^H^H^H^H^H^H^H^H ambitiously, automation of computer-based human labor. That would explain their persistence.