[TYPES] stricter moderation...?

David J. Pym d.j.pym at bath.ac.uk
Thu Dec 22 10:54:14 EST 2005

Dear Phil,

Obviously, I would quite agree that one would like to avoid
too many mere announcements too far off topic. But once
was there is moderation one never knows what is beng blocked
for what reasons. I would guess that most people will act with
the best of intentions, but even then one sees problems.
I'll take a little in spam in return for transparency.

The problem with free speech is that one can't have just a bit less
of it.
Best, David

Philip Wadler wrote:

>[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>I respectfully disagree with Laurent and David's position.
>The previous policy on TYPES was this: if the relation to types was  
>not obvious, then the poster needed to add a prelude explaining how  
>the workshop is relevant to types.  This is an extension of the  
>philosophy Stephanie mentioned: anyone can post to types, but they  
>need to take some trouble to do so.  This is not censorship, just  
>raising the bar a little higher for those who want to post conference  
>For instance, the recent announcement for DIAS makes no mention of  
>types.  Why are the organizers posting it to TYPES?  If it's because  
>they welcome papers related to types, it would be useful for TYPES  
>readers for them to say so.  If they don't, the message doesn't  
>really belong on TYPES.
>Cheers,  -- P
>On 21 Dec 2005, at 17:58, Laurent Regnier wrote:
>>[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/ 
>>>I am afraid this might be a somewhat controversial suggestion, but  
>>>I propose the TYPES list be moderated a little more strictly?
>>This is controversial indeed. I don't agree with this proposition.
>>One reason is that the the number of mails posted on TYPES is not so
>>big (compared to the number of spams that find their way across my
>>spamassassin filter for example). It takes me only a few seconds per
>>day to sort out which TYPES messages are of interest to me.
>>Second, given the vast community that can be reached via the TYPES  
>>I'm pretty sure that every message posted on the list finds at least
>>one person interested (this is probably underestimated).
>>Last, even if some messages are not directly related to types or
>>logic, most of them are indirectly related; how are we going to define
>>what is direct and what is indirect (this might be even more  
>>Laurent Regnier
>>Institut de Mathématiques de Luminy

Prof. David J. Pym                Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation  Facsimile: +44 (0)1 225 38 3493
University of Bath                Email: d.j.pym at bath.ac.uk
Bath BA2 7AY, England, U.K.       Web: http://www.bath.ac.uk/~cssdjp

Royal Society Industry Fellow, HP Labs, Bristol: david.pym at hp.com 

This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed.

More information about the Types-list mailing list