Subject: Re: Better than..
To: der Mouse <mouse@Rodents.Montreal.QC.CA>
From: Julian Assange <proff@iq.org>
List: port-i386
Date: 02/11/2000 04:54:28
der Mouse <mouse@Rodents.Montreal.QC.CA> writes:
> GPLing them will actually make it more difficult for NetBSD to support
> them (except, possibly, as LKMs), as we'd then have to reimplement
> truly free (or I should say, more nearly truly free) versions of them.
> (We don't accept GPLed code in the kernel.)
There is no reason we can not use gnu/sys to do this in the way we are
currently for softupdates. Personally I find license ideology getting
in the way of features idiotic.
Cheers,
Julian.
--
Stefan Kahrs in [Kah96] discusses the
notion of completeness--programs which never go wrong can be
type-checked--which complements Milner's notion of
soundness--type-checked programs never go wrong [Mil78].