Pierre-Marie Pédrot (Sep 04 2020 at 12:00): Pierre-Marie Pédrot (Sep 04 2020 at 12:00):As you may recall the Coq User and Developer Workshop that was supposed to take place in June was cancelled. Since it is a very helpful event for people trying to get into the intricacies of the Coq development, we are tentatively trying to get an ersatz version of the CUDW this fall.
Pierre-Marie Pédrot (Sep 04 2020 at 12:00):The exact format is not decided yet, but the event will be held remotely and spread over a week. In order to settle for a date, I would like the interested reader to fill in the poll available here:
Pierre-Marie Pédrot (Sep 04 2020 at 12:00):https://framadate.org/xuJDXtc3t5jTkSrK
Pierre-Marie Pédrot (Sep 04 2020 at 12:00):If you have any suggestions or comments about the way the CUDW should happen, be it infrastructure, format, topic, etc. do not hesitate to comment on the dedicated stream.
Pierre-Marie Pédrot (Sep 04 2020 at 12:00):https://coq.zulipchat.com/#narrow/stream/255971-CUDW-2020
Karl Palmskog (Sep 04 2020 at 12:03):@Pierre-Marie Pédrot a general poll is good, but for me the availability/participation of certain Coq devs would be paramount. I think it might be more efficient if we saw the Coq team availability up front.
Karl Palmskog (Sep 04 2020 at 12:04):or is it assumed that the given dates are ones that fit most Coq devs?
Pierre-Marie Pédrot (Sep 04 2020 at 12:14):I'd first need to have an idea of the availability of Coq devs before announcing it...
Pierre-Marie Pédrot (Sep 04 2020 at 12:15):I'll highlight the availability of devs when they answer the general poll.
Pierre-Marie Pédrot (Sep 04 2020 at 12:15):It shouldn't change the availability of others in the absolute, except for quantum entanglement...
Karl Palmskog (Sep 04 2020 at 12:16):I'm going to do some pinging in the new stream and subscribe people
Michael Soegtrop (Sep 05 2020 at 11:49):Btw.: I someone aware of some good tool where people can share a status to others, say working on XYZ? I think if we do this online, this would help. Also a list of active discussion rooms would be good to have.
Karl Palmskog (Sep 05 2020 at 11:50):@Michael Soegtrop one option is to use the GitHub profile status field
Karl Palmskog (Sep 05 2020 at 11:51):I'm sure someone could write a script to query the GitHub API to collect them?
Michael Soegtrop (Sep 05 2020 at 11:51):We would need a list of participants with their status.
Michael Soegtrop (Sep 05 2020 at 11:52):Yes, a script would help. Best would be if Zulip would support this, but I think they don't.
Karl Palmskog (Sep 05 2020 at 11:52):we already have a CUDW stream
Karl Palmskog (Sep 05 2020 at 11:53):Zulip has status message functionality, but I don't think there's an API to easily query this?
Michael Soegtrop (Sep 05 2020 at 11:56):I continue this discussion on the CUDW stream
Last updated: Jun 07 2023 at 00:01 UTC