Date: Thu, 31 Aug 2006 19:42:17 -0700 From: Darrin Chandler <dwchandler@stilyagin.com> To: Miod Vallat <miod@online.fr> Cc: misc@openbsd.org, Gilles Chehade <veins@evilkittens.org>, "Marc G. Fournier" <scrappy@freebsd.org>, freebsd-chat@freebsd.org, netbsd-users@NetBSD.org, miros-discuss@mirbsd.org Subject: Re: The future of NetBSD Message-ID: <20060901024217.GP20373@zloy.stilyagin.com> In-Reply-To: <20060831225719.GG25515@ribeyre.gentiane.org> References: <98f5a8830608301731s2b0663e3g94b0bd32f8a06a78@mail.gmail.com> <c6d37fe0608310259k12fe629eve59e59042fcfdb4c@mail.gmail.com> <Pine.BSM.4.64L.0608311312190.8977@odem.66h.42h.de> <950621ad0608310654h78ae0023g346abd108815ae72@mail.gmail.com> <20060831110112.J82634@hub.org> <f34ca13c0608310843p4e28b57eoec2f60737c034ddb@mail.gmail.com> <20060831184715.B82634@hub.org> <44F7619B.8010609@evilkittens.org> <20060831192632.T82634@hub.org> <20060831225719.GG25515@ribeyre.gentiane.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Thu, Aug 31, 2006 at 10:57:20PM +0000, Miod Vallat wrote: > > I'd rather have Adaptec provide a source code driver for their cards > > directly, then have Scott Long have to fight with unavailability of > > documentation itself ... if the driver works, what do we need > > documentation for? > > To fix the driver. > > A given piece of source code can only been believed correct until it is > proven to be broken (unless you're Knuth, but he did not write device > drivers). Even Knuth: "Beware of bugs in the above code; I have only proved it correct, not tried it." -DEK -- Darrin Chandler | Phoenix BSD Users Group dwchandler@stilyagin.com | http://bsd.phoenix.az.us/ http://www.stilyagin.com/ |
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20060901024217.GP20373>