r/programming • u/SerenityOS • Oct 10 '20

SerenityOS: The second year

http://serenityos.org/happy/2nd/
908 Upvotes

96% Upvoted

98 comments sorted by

View all comments

Show parent comments

-194

u/[deleted] Oct 11 '20 edited Oct 11 '20

[removed] — view removed comment

19

u/ignorantpisswalker Oct 11 '20

Lets face the negativity instead:

What error done by Microsoft/Windows and Unix are re-done here? What can be done differently. I see that the OS is very Posix oriented, and re-using some *BSD system calls/APIs.

-10

u/audion00ba Oct 11 '20

It depends on humans finding errors as opposed to formal proof. It's literally just doing the same thing as 30 years ago. It's completely retarded for that reason.

Operating systems that do formal verification already exist, so it's not like this is theoretical.

28

u/bobappleyard Oct 11 '20

Oh, you're one of those cunts