3 ms·
> 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 fig
by SkyMarshal 5y ago
> 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.
- liaukovv 5y agoOf course they figured it out, unfortunately aint nobody got time to rewrite all the software
- SkyMarshal 5y agoHaha, yes I’m sure that will still be true a hundred+ years from now. We’re stuck with our initial conditions.
- slver 5y agoYou can’t formally verify behavior with subtle and specific hardware failures. Or in general interaction with reality. You can formally verify only internal logic.