Stream: coq-community devs & users

Topic: CUDW 2020 [poll]


view this post on Zulip 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.

view this post on Zulip 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:

view this post on Zulip Pierre-Marie Pédrot (Sep 04 2020 at 12:00):

https://framadate.org/xuJDXtc3t5jTkSrK

view this post on Zulip 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.

view this post on Zulip Pierre-Marie Pédrot (Sep 04 2020 at 12:00):

https://coq.zulipchat.com/#narrow/stream/255971-CUDW-2020

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Sep 04 2020 at 12:04):

or is it assumed that the given dates are ones that fit most Coq devs?

view this post on Zulip 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...

view this post on Zulip Pierre-Marie Pédrot (Sep 04 2020 at 12:15):

I'll highlight the availability of devs when they answer the general poll.

view this post on Zulip 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...

view this post on Zulip Karl Palmskog (Sep 04 2020 at 12:16):

I'm going to do some pinging in the new stream and subscribe people

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Sep 05 2020 at 11:50):

@Michael Soegtrop one option is to use the GitHub profile status field

view this post on Zulip Karl Palmskog (Sep 05 2020 at 11:51):

I'm sure someone could write a script to query the GitHub API to collect them?

view this post on Zulip Michael Soegtrop (Sep 05 2020 at 11:51):

We would need a list of participants with their status.

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Sep 05 2020 at 11:52):

we already have a CUDW stream

view this post on Zulip 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?

view this post on Zulip Michael Soegtrop (Sep 05 2020 at 11:56):

I continue this discussion on the CUDW stream


Last updated: Feb 04 2023 at 03:30 UTC