search

coq / coq.github.io

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

Create developer map page #89

Open Zimmi48 opened 5 years ago

Zimmi48 commented 5 years ago

In the WG, there was discussion about missing visibility of the development team: we said that we should have a page listing current (and past) developers. At some other point, during the discussion on diversity in the Coq community, it was said that it would be good to have a page mapping developers and their topics of interests. Both requirements could probably be adequately combined (and replace the CREDITS file in the main repo). Here is an example of such a page: https://www.sagemath.org/development-map.html

gares commented 5 years ago

I like the globe, but I'm afraid the it would look quite empty in our case. I'm not for hiding problems, but does not look like a good advertisement either.

Why not a boring list of faces? https://speckyboy.com/50-webpage-layouts-showcasing-company-teams-employees/

ejgallego commented 5 years ago

Indeed an alphabetically ordered list of faces would be the best thing IMO, with a short sentence for each one of us and a link.

Zimmi48 commented 5 years ago

Faces, sure why not? But something else will show up: lots of males, few females (and that's if we don't include just the current core team), like the "We're cute" page in your showcase.

ejgallego commented 5 years ago

Well the map is cute however it would be focused in 3 points so it wouldn't be too nice diversity-wise.

IMO the developer list is more of a communication priority than other facets that of course are also important. But it seems critical to provide such info to the general public.

ybertot commented 5 years ago

Making a world map is interesting for communities that have an international spread. In the case of Coq, the development team is small so this may not be the right target for such a map, but the user community is larger. If we take authors of maintained developments, it will be more widely spread. For instance, maintainers of the coq-released opam package have about 50 different mail addresses, mostly in France, but with a few in the US and in Korea. This may not be the right database to use, though.

Zimmi48 commented 5 years ago

Indeed, the Sage software has such a spread because it is by itself a distribution of lots of libraries from lots of authors, so it compares more to the Coq package index than to the Coq software itself.