4 comments

  • usrbinenv 47 minutes ago
    I understand why in 1979 and perhaps until mid 1990s capability OS architecture might have been irrelevant and excessive. But after that, it sounds like the only architecture suitable for the internet age, where you can download and run anything from anywhere. Instead, we're stuck with legacy systems, which now contain layers of layers of abstractions and security measures. User rights, anti-virus software, vetting (signatures, hashes, app-store verification) - all become obsolete or near-obsolete in a capability-based system where a program simply doesn't have access to anything by default. Part of the appeal of virtualization is also due to the fact that it isolates programs (for instance, I only run npm inside Docker container these days, because chances are some package will contain malware at some point).

    Part of it is inertia, but part of it is ignorance. Enthusiasts spend tons of money and effort building another GPU enabled terminal or safe programming languages - and maybe that's fine, but I wonder what we could've accomplished if people were simply aware what a well-designed capability OS could be like, because this is literally the only OS paradigm in existence (that I know of) that's even worth any serious effort.

    • jdougan 27 minutes ago
      If you go through old CS OS texts on the matter, they really didn't have the same understanding of capabilities as the later object-capabilities (ocap) model. Typically they would show an access control matrix, note that acls were rows and capabilities columns and note that they are duals of one another. They're the same, acls are easier to manage, done.

      OP is arguably the first paper that introduces ocaps. Sme of the issues are discussed in "Capability Mythts Demolished" https://papers.agoric.com/assets/pdf/papers/capability-myths...

    • myaccountonhn 3 minutes ago
      Why do signatures/hashes/app-store verification become obsolete with a capability-based system?

      If a binary has the capability to withdraw money from my account, I don't want that capability given to just any binary.

    • haunter 41 minutes ago
      > it sounds like the only architecture suitable for the internet age, where you can download and run anything from anywhere

      Wasn’t that the reason why Microsoft went allout against Java? Write once, run anywhere. JVM was a “trojan horse” and theoretically could have dominated the world.

      • usrbinenv 33 minutes ago
        I didn't mean it in the Java way. I meant that whatever operating system you're on, you can download random programs from the internet (compiled specifically for your OS or portable) and run it on your machine. It doesn't matter what they're written in or how they're run, it's possible on any OS connected to the internet and an OS with capabilities as first class citizens would isolate any program by default, denying it access to anything by default and severely limiting program's ability to cause harm, intentionally or unintentionally.
    • Joel_Mckay 25 minutes ago
      The Market has spoken, and people use standard consumer CPU/GPU-bodge architecture in cloud data centers. Sure there are a few quality of life features different from budget retail products, but we abandoned what Sun solved with a simple encrypted mmu decades ago.

      The paper adds little to TCSEC/"Orange Book"/FOLDOC publications. Yet the poster doesn't deserve all the negative karma.

      On a consumer CPU/GPU/NPU, software just isn't going to be enough to fix legacy design defects. Have a great day. =3

  • lkos 1 hour ago
    I would honestly like to understand why Miagg's comment has been flagged.
    • dmoy 56 minutes ago
      Might be people just flagging so mods can make an "Is this an LLM not?" determination. I see a lot of new accounts get flagged like this (and scanning the previous comments, ehhhhh yea maybe?).

      Idk, just guessing

    • jdougan 45 minutes ago
      At a guess, looking at his history, it's AI slop. Basic facts appear correct though.
      • darkwater 35 minutes ago
        Which history? it's their only comment.

        It's probably a bot nonetheless, which poses the question: why do people do that? What do they gain by posting resume comments on HN with LLM bots?

        • jdougan 31 minutes ago
          I'm seeing about 9 comments, all flagged dead. Do you have showdead on?
          • darkwater 16 minutes ago
            Sorry sorry, my bad, I read "Karma: 1" in their profile and my brain thought "Number of comments: 1".
  • Miagg 1 hour ago
    [flagged]