11
jwmorse
7y

Dream project: mathematically proven secure OS. It would take forever, and be nearly impossible, but given enough time it is theoretically possible.

Comments
  • 1
    Good luck bringing updates out
  • 0
    Check out L4. It's an embedded microkernel which is formally proven to be correct.
  • 1
    Isn't Kaspersky already in track doing something they dub "unbreakable"? :p
  • 0
    @LicensedCrime put it in quotes for a reason :p
  • 0
    @LicensedCrime I know but a guy can dream. Imagine spending years on it and a hack is produced In a few days.
  • 0
    @filthyranter no kidding and since humans are crazy fallible I guess we can't let any of them use it.
Add Comment