Ali Caglayan (Jan 31 2022 at 13:20): 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
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)
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
Notification Bot (Feb 15 2022 at 10:21):Cyril Cohen has marked this topic as resolved.
Notification Bot (Feb 15 2022 at 14:33):Karl Palmskog has marked this topic as unresolved.
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
Emilio Jesús Gallego Arias (Feb 16 2022 at 08:48):Hi folks, good morning / afternoon / evening; opening the BBB
Ali Caglayan (Feb 16 2022 at 13:55):We will be starting in 5 min.
wyn (Feb 16 2022 at 14:00):which room number is the core stuff in?
Gaëtan Gilbert (Feb 16 2022 at 14:00):main room
Ali Caglayan (Feb 16 2022 at 14:00):The main room
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?
Ali Caglayan (Feb 16 2022 at 17:22):I don't think that has been created yet, feel free to create the topic!
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:22):Yes please create it, let's see if we can find time
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
Ali Caglayan (Feb 16 2022 at 17:24):It's also difficult to schedule effectively due to everybody's differing time zones
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.
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
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)
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.
Théo Zimmermann (Feb 17 2022 at 13:22):Sorry I should have mentioned this when we discussed the organization of the Hackathon.
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.
Ali Caglayan (Feb 17 2022 at 13:23):It seems you can download from BBB if you have a paid version
Ali Caglayan (Feb 17 2022 at 13:24):https://support.blindsidenetworks.com/hc/en-us/articles/360004991551-How-do-I-download-a-recording-
Ali Caglayan (Feb 17 2022 at 13:24):Do we qualify?
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.
Paolo Giarrusso (Feb 17 2022 at 13:39):The meeting seems down, or is that just me?
Paolo Giarrusso (Feb 17 2022 at 13:39):"The meeting hasn't started yet."
MackieLoeffel (Feb 17 2022 at 13:39):For me as well. What happened?
Ali Caglayan (Feb 17 2022 at 13:39):Sorry about that will be up in a sec
Ali Caglayan (Feb 17 2022 at 13:41):Sorry we are having some technical difficulties give us a few minutes
Ali Caglayan (Feb 17 2022 at 13:46):We are back, and starting at 15:00 CET/Paris (15 min)
Gaëtan Gilbert (Feb 17 2022 at 13:47):s/14/15/
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: Jun 11 2023 at 00:30 UTC