deleted by creator

so I can totally ditch chromium/electron

GNOME Web isn’t Chromium-based and does support PWAs, so it might work for your usecase.

And .box has been registered as a generic TLD now, so you could run into external .box domains.

That’s the real AI apocalypse:

• People outsourcing decisions to predictive text because they believe it thinks
• AI hallucinations becoming commonly accepted as truth, as generated articles bury actual knowledge in a flood of bull droppings

Ah, I see. Looks like that should enable people to take individual domains off the list, too, if they want their extensions to work on just some of them.

For Fedora users it changes nothing at all. Fedora is upstream from Enterprise Linux. There’s no practical reason you’d want to switch to a different distribution, just maybe a personal one if you strongly dislike what Red Hat is doing to the RHEL clones.

Is there a list somewhere of these “quarantined” domains?

uBlock Origin seems to be included in the whitelist, so I’m sure the point of this isn’t to show you ads.

A FreeRTOS derivative has gone through the effort of getting certified for safety critical applications, but that derivative is sadly proprietary. Even if FreeRTOS itself can’t meet that bar, though, the work wouldn’t have to start from scratch.

Ad blocking works well now, though it doesn’t do much to block tracking and analytics. I don’t use Web much, so I can’t testify to whether it feels fast, but version 44 is supposed to have some big performance improvements. When I put it through BrowserBench it did better than Firefox on JetStream (web application performance), but it got badly beaten in MotionMark (animation and rendering performance). It does play YouTube videos now! I’d give it another go if you were interested before.

deleted by creator

They’ve been trying them in US cities for a while too. One got a bit of media attention after telling someone using its emergency call button to ‘step out of the way’ and then wandering off humming a tune.