On 09/20/13 00:00, thornton.rich...@gmail.com wrote:
Interesting thread... Sent from my BlackBerry 10 smartphone on the Verizon Wireless 4G LTE network.
this is misc@, not twitter. while i finally reply to message by you, i want to ask a question. how about dropping at least the 'Wireless' out of your annoying signature? it would fit in a single line. I've never heard of Wired 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 > With the hardware at large, you're likely a troll for asking. -Artturi
