The Expanse UI Design

Re:The Expanse UI Design by SkyMarshal on Wednesday May 26, 2021 @12:40PM (#27292745)

> but from the fact that the OS running the ship's engines crashes and needs to be restarted every 5 minutes.

I would hope by the 23rd century that they’ve figured out that formally verified micro-kernel OSs are the way to go for mission-critical use cases like that.

[ Parent | on HN ]

Re:The Expanse UI Design by liaukovv on Wednesday May 26, 2021 @04:23PM (#27295614)

Of course they figured it out, unfortunately aint nobody got time to rewrite all the software

[ Parent | on HN ]

Re:The Expanse UI Design by SkyMarshal on Wednesday May 26, 2021 @07:31PM (#27297473)

Haha, yes I’m sure that will still be true a hundred+ years from now. We’re stuck with our initial conditions.

[ Parent | on HN ]

Re:The Expanse UI Design by slver on Thursday May 27, 2021 @06:25AM (#27301200)

You can’t formally verify behavior with subtle and specific hardware failures. Or in general interaction with reality. You can formally verify only internal logic.

[ Parent | on HN ]