[TYPES] new moderator: Gabriel Scherer

[Gabriel Scherer]

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 <gabriel.scherer at gmail.com> 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 <
dimitris at microsoft.com> 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
>