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.
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:
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 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.
or is it assumed that the given dates are ones that fit most Coq devs?
I'd first need to have an idea of the availability of Coq devs before announcing it...
I'll highlight the availability of devs when they answer the general poll.
It shouldn't change the availability of others in the absolute, except for quantum entanglement...
I'm going to do some pinging in the new stream and subscribe people
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.
@Michael Soegtrop one option is to use the GitHub profile status field
I'm sure someone could write a script to query the GitHub API to collect them?
We would need a list of participants with their status.
Yes, a script would help. Best would be if Zulip would support this, but I think they don't.
we already have a CUDW stream
Zulip has status message functionality, but I don't think there's an API to easily query this?
I continue this discussion on the CUDW stream
Last updated: Jun 07 2023 at 00:01 UTC