Stream: Coq devs & plugin devs

Topic: Call for feedback: Topic Working Groups


view this post on Zulip Emilio Jesús Gallego Arias (Mar 12 2021 at 10:28):

Hi all, as we discussed one week ago in the call, I have setup some pages regarding the idea of having Topic Working Groups.

Please find a draft here https://github.com/coq/coq/wiki/Topic-Working-Groups and let us know what you think, before we make an announce.

view this post on Zulip Lasse Blaauwbroek (Mar 13 2021 at 16:37):

Is this also meant for people outside the coq developers? If so I might be interested in joining the machine learning group

view this post on Zulip Emilio Jesús Gallego Arias (Mar 13 2021 at 16:59):

The specific goal is to actually bring together both Coq and non-Coq developers, so indeed, you are much welcome to join.

What are your thoughts about the format @Lasse ?

view this post on Zulip Théo Zimmermann (Mar 13 2021 at 17:14):

Coq and non-Coq developers

or rather Coq devs and non-Coq devs ;-)

view this post on Zulip Lasse Blaauwbroek (Mar 13 2021 at 18:00):

I think it is generally a good idea to bring some people together interested in similar topics for a face-to-face (even if over the internet) more regularly than the yearly workshop. (I was already planning on asking if I could join the Coq call sometime in the future to discuss some points more directly with you guys.) The only thing to keep in mind for me is that I could probably only allocate a very small amount of time to such working groups.

view this post on Zulip Pierre-Marie Pédrot (Mar 13 2021 at 18:07):

The Weekly Call is open to anybody, you're definitely welcome to gatecrash!

view this post on Zulip Lasse Blaauwbroek (Mar 13 2021 at 18:08):

Ah, okay I might do that at some point then :-) Thanks

view this post on Zulip Emilio Jesús Gallego Arias (Mar 13 2021 at 19:14):

Indeed, tho many times the Weekly Call is not of interest, the idea of the working groups is to make discussion a bit more focused.

I agree that time / frequency is a problematic constraint, what do you think about the format @Lasse , is a periodic meeting the best idea? should we do instead a mailing list? If a meeting, how often?

view this post on Zulip Théo Zimmermann (Mar 13 2021 at 19:52):

If you come to the Coq Call for a specific topic, don't forget to add it in advance on the wiki page :wink:

view this post on Zulip Lasse Blaauwbroek (Mar 13 2021 at 22:02):

@Emilio Jesús Gallego Arias I feel like there already are more than enough mailing lists, I'm actually kind of drowning in all the Coq-related messages. Text-based communication is great for some kind of communication, but I hate having text-based conversations about long-term strategies/vision/topics that need to consider lots of subtle points. For that I'd rather have a face-to-face.

For a face-to-face meeting, I guess it depends on how many people are interested, the exact topic and how much actual activity is taking place on the topic outside of the meetings. But as a first guess, I would say once a month (your bi-monthly suggestion is ambiguous, which one do you mean?).

view this post on Zulip Emilio Jesús Gallego Arias (Mar 14 2021 at 17:30):

I meant once or twice per month at max, likely once. So indeed let' go for the format of a lightweight semi-regular meetting then.

view this post on Zulip Emilio Jesús Gallego Arias (Mar 14 2021 at 17:31):

I guess I'd announce the first meetings next week, please all give more feedback here .


Last updated: May 28 2023 at 13:30 UTC