[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I'll join in thanking Dimitrios for the nice moderation work -- I'm impressed with the level of dedication and care he put in maintaining this forum -- as well as previous moderators, listed in the "Types-list History" section at the bottom of https://lists.seas.upenn.edu/mailman/listinfo/types-list . I received, from Dimitrios and others, advice and encouragement to be firm in the moderation of both lists. In particular, people want types-announce to send as few announcements as possible, strictly limited to topics relevant to the types and PL community. I will be following this model, but of course people may have different opinions about what is "relevant enough". If you receive a types-announce email that you think does not belong on types-announce, it would be very helpful if you sent me <[email protected]> a private email to let me know -- feel free to just say "I would not have accepted this email.", I wouldn't mind. Receiving this sort of feedback will help me tune my filter, and also help me justify my decisions to senders of similar announces in the future. Happy typing On Mon, Oct 30, 2017 at 11:02 AM, Dimitrios Vytiniotis < [email protected]> wrote: > > > Dear all, > > > > It has been my great pleasure to act as the moderator of the TYPES forum > and the TYPES/announce mailing list over the past 3.5 years but I feel it > is now a good time for a successor. Going forward, I am very happy to > announce that Gabriel Scherer (from INRIA) has kindly agreed to take up the > job and serve as the next moderator – I am sure he will do a great job! > > > > Kind regards, > > Dimitrios Vytiniotis >
