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!