On 09/19/2013 04:29 PM, josef.win...@email.de wrote:
Does OpenBSD plan to varify its (main) components, to
reach the level of zero-bug software?
you mean, painfully reviewing and auditing code?
what do you think they've been trying to do for the last 15 years?
And after that, they have been trying to make sure when there are bugs
anyway, they can't be exploited. Over-all, they've been pretty darned
successful. Certainly more so than the people who have claimed to have
a way to write perfect code.
If not, isn't there any concern that (future) varified OS
will render OBSD redundant one day?
I suspect few openbsd developers will ever be caught sitting around
saying, "I'm bored".
You mean some mathamagical way to PROVE perfection?
don't hold your breath.
Don't get me wrong, I'd love to see a general purpose OS with the basic
reliability of my car, and the ability to do ANYTHING with it without
worrying about the security implications. It would be fun to not worry
about security.
But ... ain't gonna happen.
Been in this crap for 31 years now. All the technology that's been
thrown at the problem of security hasn't changed a thing. We don't want
to train users, so nothing is going to change. We like features and
performance over quality, so again, nothing is going to change.
At this point, it is your turn. Shut up and produce your proven perfect
OS, and show us the result. Don't tell us it's possible, DO IT. It's
that simple. Use any tools you want, write some non-trivial apps that
make it useful for something. I'll even spot you an eight core 2G RAM
system to do what I was doing with 32M RAM and a 486 15 years ago. When
you have it, publish the source code and let us know. I'll be the guy
running the pool for when someone first pops it. My $1 is on "five
hours". I hope I lose.
Nick.
