3 ms·

> Consider OpenBSD, the most secure OS you can obtain on an open market. It's funny the author imagines someone (nation states?) have built and deployed hyper-

> Consider OpenBSD, the most secure OS you can obtain on an open market. It's funny the author imagines someone (nation states?) have built and deployed hyper-secure operating systems, but they aren't sharing.

gumby 3y ago
Some exist in the defense sector. Also civilian aerospace; there is no business case to bother to share.
- relaxing 3y ago
  Go ahead and name some. I assume you're imagining embedded realtime applications rather than server or desktop OS's; civilian aerospace has no business case to develop their own when Green Hills, VxWorks, Wind River, et al. are right there.
  - gumby 3y ago
    Not imagining, from high safety/reliability consulting for some Airbus subs, Alcatel-Alstom et al. They also use GHS and WRS of course. Different subsystems have different vendors and stacks, and sometimes those large OSes are overkill.
7373737373 3y ago
I find it surprising that you believe that, I'd expect the opposite Also, I doubt that OpenBSD is the most secure (open) system out there. What about seL4, Genode and the likes?
- RogerL 3y ago
  Those weren't around in 2005, the time that was written (which is not me defending the claim about OpenBSD in 2005, I have no idea).
  - gwern 3y ago
    seL4 didn't exist, but the commercial variants of L4 did exist although they were meant for licensing to embedded companies so AFAIK you could neither download nor buy on the open market. (As the L4s were probably better known around 2005 than they are now, it's possible Eliezer was referring to those specifically.)
  - relaxing 3y ago
    The conventional wisdom at the time was indeed that OpenBSD was the most secure server OS.
- relaxing 3y ago
  You think someone goes to the trouble of developing an operating system from scratch, device drivers from scratch, all new applications from scratch, and then training their staff to use, and then maintaining it? For what benefit? At that level of paranoia you'd run disconnected from public networks and security from remote hackers is a non-issue.

gumby 3y ago

Some exist in the defense sector. Also civilian aerospace; there is no business case to bother to share.

relaxing 3y ago
Go ahead and name some. I assume you're imagining embedded realtime applications rather than server or desktop OS's; civilian aerospace has no business case to develop their own when Green Hills, VxWorks, Wind River, et al. are right there.
- gumby 3y ago
  Not imagining, from high safety/reliability consulting for some Airbus subs, Alcatel-Alstom et al. They also use GHS and WRS of course. Different subsystems have different vendors and stacks, and sometimes those large OSes are overkill.

7373737373 3y ago

I find it surprising that you believe that, I'd expect the opposite Also, I doubt that OpenBSD is the most secure (open) system out there. What about seL4, Genode and the likes?

RogerL 3y ago
Those weren't around in 2005, the time that was written (which is not me defending the claim about OpenBSD in 2005, I have no idea).
- gwern 3y ago
  seL4 didn't exist, but the commercial variants of L4 did exist although they were meant for licensing to embedded companies so AFAIK you could neither download nor buy on the open market. (As the L4s were probably better known around 2005 than they are now, it's possible Eliezer was referring to those specifically.)
- relaxing 3y ago
  The conventional wisdom at the time was indeed that OpenBSD was the most secure server OS.
relaxing 3y ago
You think someone goes to the trouble of developing an operating system from scratch, device drivers from scratch, all new applications from scratch, and then training their staff to use, and then maintaining it? For what benefit? At that level of paranoia you'd run disconnected from public networks and security from remote hackers is a non-issue.