Interesting thread... Sent from my BlackBerry 10 smartphone on the Verizon Wireless 4G LTE network.
From: [email protected]: Thursday, September 19, 2013 4:30 PMTo: [email protected]: 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
