Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Information


view this post on Zulip Ali Caglayan (Jan 31 2022 at 13:20):

Registration can be found here, please add you name to the participants section. Feel free to suggest any topics!

https://github.com/coq/coq/wiki/CoqWG-2022-02

view this post on Zulip Karl Palmskog (Feb 15 2022 at 10:18):

can we please put the BBB link and the Coq wiki link in the stream description? (@Cyril Cohen has privileges)

view this post on Zulip Karl Palmskog (Feb 15 2022 at 10:20):

https://bbb.inria.fr/gal-afg-2va-fun and https://github.com/coq/coq/wiki/CoqWG-2022-02

view this post on Zulip Notification Bot (Feb 15 2022 at 10:21):

Cyril Cohen has marked this topic as resolved.

view this post on Zulip Notification Bot (Feb 15 2022 at 14:33):

Karl Palmskog has marked this topic as unresolved.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 18:30):

@Ali Caglayan and all, let's do a reminder for people to fill the activity log https://github.com/coq/coq/wiki/CoqWG-2022-02-15-Activity

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 08:48):

Hi folks, good morning / afternoon / evening; opening the BBB

view this post on Zulip Ali Caglayan (Feb 16 2022 at 13:55):

We will be starting in 5 min.

view this post on Zulip wyn (Feb 16 2022 at 14:00):

which room number is the core stuff in?

view this post on Zulip Gaëtan Gilbert (Feb 16 2022 at 14:00):

main room

view this post on Zulip Ali Caglayan (Feb 16 2022 at 14:00):

The main room

view this post on Zulip Hanneli Tavante (Feb 16 2022 at 16:09):

Is there any stream for DB of Coq objects proposed on the Github page? Maybe I missed it; are you planning a specific session for that?

view this post on Zulip Ali Caglayan (Feb 16 2022 at 17:22):

I don't think that has been created yet, feel free to create the topic!

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:22):

Yes please create it, let's see if we can find time

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:23):

Scheduling has been a bit of challenge we need to think how to improve that moving forward

view this post on Zulip Ali Caglayan (Feb 16 2022 at 17:24):

It's also difficult to schedule effectively due to everybody's differing time zones

view this post on Zulip Ali Caglayan (Feb 17 2022 at 12:08):

Hi, if you have some time could you please fill out the Activity log for yesterday and this morning: https://github.com/coq/coq/wiki/CoqWG-2022-02-15-Activity
Don't worry that it says Tuesday, this page should really be the activity log for the whole event.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 13:21):

@Ali Caglayan in previous events we did one log per day, but seems fine to do a single one, but I suggest we rename it then

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 13:21):

@Théo Zimmermann I'm having trouble downloading the BBB videos, do you have an idea about that (I can share the links fine tho)

view this post on Zulip Théo Zimmermann (Feb 17 2022 at 13:22):

BBB videos cannot be downloaded. They use their custom format. The only export method is to use a screen recorder.

view this post on Zulip Théo Zimmermann (Feb 17 2022 at 13:22):

Sorry I should have mentioned this when we discussed the organization of the Hackathon.

view this post on Zulip Théo Zimmermann (Feb 17 2022 at 13:23):

Maybe you should contact the Inria IT staff to ask if they have any standard trick for this kind of task.

view this post on Zulip Ali Caglayan (Feb 17 2022 at 13:23):

It seems you can download from BBB if you have a paid version

view this post on Zulip Ali Caglayan (Feb 17 2022 at 13:24):

https://support.blindsidenetworks.com/hc/en-us/articles/360004991551-How-do-I-download-a-recording-

view this post on Zulip Ali Caglayan (Feb 17 2022 at 13:24):

Do we qualify?

view this post on Zulip Théo Zimmermann (Feb 17 2022 at 13:25):

Ah OK. Well, I don't know because I've never used Inria's BBB before.

view this post on Zulip Paolo Giarrusso (Feb 17 2022 at 13:39):

The meeting seems down, or is that just me?

view this post on Zulip Paolo Giarrusso (Feb 17 2022 at 13:39):

"The meeting hasn't started yet."

view this post on Zulip MackieLoeffel (Feb 17 2022 at 13:39):

For me as well. What happened?

view this post on Zulip Ali Caglayan (Feb 17 2022 at 13:39):

Sorry about that will be up in a sec

view this post on Zulip Ali Caglayan (Feb 17 2022 at 13:41):

Sorry we are having some technical difficulties give us a few minutes

view this post on Zulip Ali Caglayan (Feb 17 2022 at 13:46):

We are back, and starting at 15:00 CET/Paris (15 min)

view this post on Zulip Gaëtan Gilbert (Feb 17 2022 at 13:47):

s/14/15/

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 14:01):

Théo Zimmermann said:

BBB videos cannot be downloaded. They use their custom format. The only export method is to use a screen recorder.

Ups that's really unfortunate, I will see what I we can do


Last updated: Jan 29 2023 at 15:02 UTC