Charlie Brady <charlieb@aurema.com> writes: > On Thu, 3 Feb 2000, Julian Assange wrote: > > > nntpcache.org's registration seems to have gone MIA. Until we find > > who's responsible and dispatch them with maximum prejudice, it looks > > like 203.4.184.34 is the answer. > > Oh no, they've taken our license fees and run off to Brasil!! I *wish* :) 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].
