Interesting thread... Sent from my BlackBerry 10 smartphone on the Verizon Wireless 4G LTE network.
From: josef.winger@email.deSent: Thursday, September 19, 2013 4:30 PMTo: misc@openbsd.orgSubject: Verified OS concerns Does OpenBSD plan to varify its (main) components, to reach the level of zero-bug software? If not, isn't there any concern that (future) varified OS will render OBSD redundant one day? /jo