Hi, where could I find the recorded audio of the talk today by Emilio? I still want to watch it.
Was it recorded? If yes, then the recording will become available after a processing time that could take up to a day or so.
It was recorded, but unfortunately the audio was not :/
So you can try to salvage some info from the video recording alone.
that is... not ideal.
Emilio wanted to put it up on YouTube, so maybe we'd get a new recording? (OTOH, recording videos is hell IME)
Ah, so it was recorded but not using BBB feature for this? Not ideal indeed.
We didn't find how to activate the BBB recording actually.
OK, sorry that I was late for Emilio's talk and couldn't help with this!
Courtesy of @Yves Bertot we now have the (unfortunately mute) recording of yesterday's plenary session.
It is available at http://www-sop.inria.fr/members/Yves.Bertot/videos/Coq-dev-setup-emilio.mp4
Last updated: Jun 11 2023 at 00:30 UTC