coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Is it time...

From: "Perry E. Metzger" <perry AT piermont.com>
To: Benjamin Pierce <bcpierce AT cis.upenn.edu>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Is it time...
Date: Sat, 23 Jun 2018 13:42:27 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=perry AT piermont.com; spf=Pass smtp.mailfrom=perry AT piermont.com; spf=None smtp.helo=postmaster AT hacklheber.piermont.com
Ironport-phdr: 9a23:/X6uXB01EfJ4QU2xsmDT+DRfVm0co7zxezQtwd8Zse0TI/ad9pjvdHbS+e9qxAeQG9mDtrQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYwhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okCYHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWRPUMZPWSJcAY2zbYUPAOUdMuhXtIT9u1kDoAGiCQWwGO/j1DlFjWL2060g1OQhFBnL0AI6Ed0QqnTUttX0P7odX+yv0aLGyivMb+9X2Dfy9ofIaB4tquyLULJob8XR01MvFgPeg1WIqIzqISmV1uEKs2id8+psT/6gi2kiqwxopDWk28QiipHRi44Iy13J9D91zYU6KNGiSkN3e8OoHZRWuiqHLYV5WNkiTHttuCsiyr0Jp5q7fC8SxZQn3RHQd/+Hc4yI4h39T+mePy14iGh9eLK+mRmy602gyur6VsmoylpFsi1FktzUunAM0Rzc9NSHR+Ng8kqg2DuDzQPe5+5eLU02j6bXNpEszqY1lpUJsETDGiH2mF/xjK+Tbkgk4van6/79YrTmvZKcL450hR/kMqQrncy/B/g4PhISUGic/OSwzKfj8lHhQLVWkv02lbHUv4zdJcQCv6K2HwtV0ps45BukFDen0NEYnWEdI15feRKHiZLpO1DUL/ziA/e/mQfkrDA+7f3APLTkA5OFFnnOirzsNeJ34FZdxRA4wPhU5okSF6kMJvS1V0Ps4o/2FBg8ZkaMzvz9GZ1QkMs7VH6dDaKDeuuGqVKS/PMHO+iBfooSviq7IP8gsa29xUQlkEMQKPH6laAcb2q1S7E/ex3AMCjcx+wZGGJPhTIQCenjiVmMSzlWPirgR6Mx/DQ8Dp7gBoDGFNn03O6xmRyjF5gTXVhoT0iWGC60JZ2FVu0JbySOZMRml25cDOXze8oazRir8TTC5f9nI+7ToHBKtZvo19x16ufej1cq9DFuCsObzyeGSGQmxm4=

On Fri, 22 Jun 2018 07:19:23 -0400 Benjamin Pierce
<bcpierce AT cis.upenn.edu>
wrote:
> ...to moderate coq-club? It is starting to become a dumping ground
> for random announcements.

I run several large (thousands of subscribers) mailing lists. I've
found over time that simply restricting postings to people who are
actually subscribed to the list has an amazingly salutary effect.

I would suggest automatically rejecting postings from
non-subscribers.

Perry
--
Perry E. Metzger
perry AT piermont.com

Re: [Coq-Club] Is it time..., (continued)
- Re: [Coq-Club] Is it time..., Perry E. Metzger, 06/23/2018