search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Advertise Discourse and rework community page. #92

Closed Zimmi48 closed 5 years ago

Zimmi48 commented 5 years ago

What is missing: I'm intending to clearly separate the Coq workshops and CoqPL workshops and make sure that the list is exhaustive.

Zimmi48 commented 5 years ago

I reworked the community page. I created three categories: questions, packages, events. I separated Coq Workshops and CoqPL workshops in two pages to better highlight the number of events we organize (@ybertot you might feel concerned by this change). I tried to list existing and active Coq meetups (there used to be a DeepSpec meetup in the Bay Area but it is not active anymore, so that's why it's not listed there). So far the list of meetups is not long, but I expect that listing them there can help motivate people to start new ones in their cities. Let's note how Idris (which in practice is much less used) has a much larger of meetups, because its users are hobbyists from the industry instead of members of academia. In an effort to increase the diversity of our community, we should try to encourage hobbyists too...

For the record, in the absence of comments, I intend to merge this tomorrow.

Here is a screenshot in case you don't want to build the website yourself:

community

ybertot commented 5 years ago

I have mixed feeling about the idea of separating the yearly events in several categories. I believe this increases the amount of work for little gain. Also, I won't know where to put events that may be very interesting but are not sure to become yearly events.

Zimmi48 commented 5 years ago

@ybertot Let's ditch the "yearly event" wording. But it is my impression that the Coq workshops and CoqPL workshops are clearly defined recurring events that are worth being advertised separately as this helps to show that there is much activity happening around Coq (something that can help give a good impression of the Coq community to new potential users). This list is also meant to encourage people who organize events which we may not know about (e.g. Coq schools) to advertise them as well. Let's continue the discussion in #94.