sjpb

A post a few days ago turned funtional core, imperative shell into deterministic core, non-deterministic shell. And a comment [1] on that discussed turning that into "slop core, artisinal shell". Which makes a lot of sense actually despite feeling the wrong round initially. And maybe what an OS needs to do is to support that, at a higher level. What I think we will need is strong isolation - all the software might be coming from the "same place", but do we trust that place? Certainly not currently!

1. https://news.ycombinator.com/item?id=49784704

given the story there, I'm surprised apple are still allowed to apply end to end encryption the the "baseline categories" such as messages etc in the UK. Anyone understand how that's happened? To be clear I am not saying what I think should happen, just it seems inconsistent with the UK's stance

If you're going to rip off xkcd pictures, I feel it'd be polite at least credit and/or link the original.

> With the way linux is used these days, I'd guess the number of systems with untrusted local users is pretty limited

Things like HPC clusters are multiuser & don't entirely trust their users. If they did we wouldn't need users/groups/permissions etc in the first place.

Well, I think this is what SchedMD do with Slurm? GPL code. You can sign up to the bug tracker & open an issue, but if you don't have a support contract they close the issue. And only those customers get advanced notice of CVEs etc. I'd expect nearly everyone who uses it in production has a support contract.

I loved that idea & tried prototyping one using two "laser" mice instead of the tape/vision approach but the accuracy wasn't anywhere near good enough

Hah, writing that blogpost from that perspective was a really nice move, I enjoyed reading it!