The Coq mailing list

[Robin Green <greenrd AT greenrd.org>]

Those who are interested in dependent types may wish to subscribe to
this new Reddit site:

http://www.reddit.com/r/dependent_types

It is open to all, from pragmatic programmers to theoreticians, from
beginners to experts, and for those using any dependently-typed
language or none. (Being open to all also means that anyone can submit
irrelevant links such as spam, but they should be removed quickly, and
reddit.com has quite a good anti-spam system.)

Some background: Reddit is a site for sharing hyperlinks
(and indeed short notes posted directly to the site), and discussing
them. It also allows voting on links and can rank links by the
number of votes, but this is not so relevant for a small community.

Some other relevant reddits include:

http://www.reddit.com/r/types - for anything to do with static type
systems

http://www.reddit.com/r/Coq - for Coq-related links

-- 
Robin