From owner-freebsd-ports  Wed Oct 13 16:25:44 1999
Delivered-To: freebsd-ports@freebsd.org
Received: from suburbia.net (suburbia.net [203.4.184.1])
	by hub.freebsd.org (Postfix) with ESMTP
	id ACCAA14F6B; Wed, 13 Oct 1999 16:25:31 -0700 (PDT)
	(envelope-from proff@suburbia.net)
Received: by suburbia.net (Postfix, from userid 110)
	id 3D0846C4FA; Thu, 14 Oct 1999 09:25:24 +1000 (EST)
To: Josh <jastrckl@LATTE.MEMPHIS.EDU>
Cc: freebsd-ports@freebsd.org, ports@openbsd.org,
	freebsd-audio@freebsd.org, editor@daemonnews.org
Subject: Re: festival-1.4.0 + mbrola (state of the art speech synth) ported to NetBSD
References: <Pine.PMDF.3.95.991013175229.545334904A-100000@LATTE.MEMPHIS.EDU>
Cc: proff@iq.org
From: Julian Assange <proff@iq.org>
Date: 14 Oct 1999 09:25:24 +1000
In-Reply-To: Josh's message of "Wed, 13 Oct 1999 17:52:56 -0500 (CDT)"
Message-ID: <wxemeylu6z.fsf@suburbia.net>
Lines: 12
User-Agent: Gnus/5.070097 (Pterodactyl Gnus v0.97) XEmacs/21.1 (Big Bend)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: owner-freebsd-ports@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

Josh <jastrckl@LATTE.MEMPHIS.EDU> writes:

> "More lines of code than emacs!"
> is this really something to brag about? 

Who said I was bragging ;)

-- 
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].


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message