Subject: Re: audio recording
To: Allen Briggs <email@example.com>
From: Julian Assange <firstname.lastname@example.org>
Date: 10/27/1999 13:00:04
Allen Briggs <email@example.com> writes:
> > The best 'free' software of this type for Unix that I've seen is 'DAP'.
> > It's *infinitely* better than xwave for recording and editing audio
> > streams, and it looks _way_ cool, to boot. ;-)
I managed to get this compiled, using the sun target, -DLINUX,
-lossaudio, and some X11 libs hackery etc
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].