[TYPES] stricter moderation...?
txa at cs.nott.ac.uk
Wed Dec 21 12:09:34 EST 2005
I see your point but the costs in implementing it may be higher than
the benefits, since the exact distinction between on- and off-topic is
highly controversial and hence it is better for the moderator to be
One option would be to split the list in two: one for discussions
(types-discuss) and one for announcements (types-announce) and types
would be the merge of the two but people could opt out of either
sublist. In this case the decision for the moderator is easy -
announcements always go to types-announce.
Eijiro Sumii wrote:
> [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
> Dear all,
> I am afraid this might be a somewhat controversial suggestion, but may
> I propose the TYPES list be moderated a little more strictly? I am
> seeing more and more messages that are not _directly_ and _explicitly_
> related to types (or logics). They are "too many" to just ignore (and
> yet the list is too useful to quit:-). Of course, this means more
> work for Stephanie and I am not sure if others agree - so everything
> depends on how people think. Any ideas...?
> Best regards,
> Eijiro Sumii (http://www.kb.ecei.tohoku.ac.jp/~sumii/)
> Graduate School of Information Sciences, Tohoku University
Dr. Thorsten Altenkirch phone : (+44) (0)115 84 66516
School of Computer Science & IT University of Nottingham
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
More information about the Types-list