Mark Kilfoil <kilfoilm@nbnet.nb.ca> writes: > authentications supported. Sheesh.. Teach me for not *first* > signing up to the mailing list a month before I make changes. ;) > > Mark Kilfoil. The next beta should have PAM support, which still leaves BSDI & FreeBSD style auth support to go (any others? I suppose we could support libwrap too, but it doesn't really offer anything above what nntpcache has already, other than familiarity). -- 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].
