From owner-freebsd-questions@FreeBSD.ORG Fri Nov 19 21:53:15 2010 Return-Path: Delivered-To: freebsd-questions@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 99CC61065672 for ; Fri, 19 Nov 2010 21:53:15 +0000 (UTC) (envelope-from amvandemore@gmail.com) Received: from mail-fx0-f54.google.com (mail-fx0-f54.google.com [209.85.161.54]) by mx1.freebsd.org (Postfix) with ESMTP id 2655B8FC16 for ; Fri, 19 Nov 2010 21:53:14 +0000 (UTC) Received: by mail-fx0-f54.google.com with SMTP id 19so3293954fxm.13 for ; Fri, 19 Nov 2010 13:53:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:content-type; bh=jvOaMOhJ78QLZ/enNI9+7WDamRLLlbddxAkklX1v3Fk=; b=ij24a2vMuVZbjK2EfidGhRMAMMEqtllTjiemW2Biw38HhdUY+3fhKFRA++hWFd0wlw iNmvKPGOrE6rIrKwMT0qzaqAHYvQUYaBGOT30y/VN6e88RFUgcvs289R+JN6b7CTn8Xo cN8ezRQdNs6aW+ctia2kdmO0DQWUqTImhpE7c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=msxU97loPSbTskxhypoNkHfbOwn429OZWQwVzl7fHn2r8vz8ARk8nsAmuH06ZdfEkk aAuqc0/nWE0PfWsS7JA943TlVCnIWBZl/cOZyYh+4rhk+qxajrwtbB2Fudt6Cw6nFj9n xmFA0GDW/aLf6+RMIcCx/XEa/w5y2p6yAIThw= MIME-Version: 1.0 Received: by 10.223.79.13 with SMTP id n13mr2380344fak.139.1290203591722; Fri, 19 Nov 2010 13:53:11 -0800 (PST) Received: by 10.223.121.138 with HTTP; Fri, 19 Nov 2010 13:53:11 -0800 (PST) In-Reply-To: <20101119163648.19c9e66a@scorpio> References: <201011192054.oAJKsOPk011590@mail.r-bonomi.com> <20101119163648.19c9e66a@scorpio> Date: Fri, 19 Nov 2010 15:53:11 -0600 Message-ID: From: Adam Vande More To: FreeBSD Content-Type: text/plain; charset=ISO-8859-1 X-Content-Filtered-By: Mailman/MimeDel 2.1.5 Subject: Re: openssl version - how to verify X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 19 Nov 2010 21:53:15 -0000 On Fri, Nov 19, 2010 at 3:36 PM, Jerry wrote: > On Fri, 19 Nov 2010 15:08:26 -0600 > Adam Vande More articulated: > > > While I agree with your point in this context, the statement "The > > number of _UNDISCOVERED_ bugs, on the other hand, is an infinite > > one." is false. > > > > > http://www.unsw.edu.au/news/pad/articles/2009/sep/microkernel_breakthrough.html > > It was later discovered that the software used to certify the kernel > 100% bug-free was not itself bug-free thereby nullifying results. > > Link or another "Jerry Fact" -- Adam Vande More