Allan Olesen <aho@fabel.dk> writes: > Whenever I reboot my computer, nntpcached retrieves 'overview.fmt', > 'active', 'active.times' and 'newsgroups' from all the configured > servers. Is there a way of keeping this info between sessions, so the > update can be avoided? No. nntpcached (and unix!) is meant to be a long-lived process. -- 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].
