Zulip Chat Archive

Stream: Lean Together 2019

Topic: Videos


view this post on Zulip Rob Lewis (Jan 07 2019 at 08:32):

Videos of the lectures will be available here: https://lean-forward.github.io/lean-together/2019/#videos
Of course, the university A/V people are having trouble setting up the streaming. It will be working eventually. Hopefully before this afternoon.

view this post on Zulip Koundinya Vajjha (Jan 07 2019 at 08:44):

Will there be videos of just the lectures or the tutorial sessions as well?

view this post on Zulip Rob Lewis (Jan 07 2019 at 10:10):

Lectures and tutorials.

view this post on Zulip Rob Lewis (Jan 07 2019 at 12:54):

The stream has been fixed.

view this post on Zulip Rob Lewis (Jan 07 2019 at 14:35):

If anyone is watching the stream/videos: is the sound from questions being captured?

view this post on Zulip Koundinya Vajjha (Jan 07 2019 at 15:50):

I was trying to watch the stream but it wouldn't load.

view this post on Zulip Koundinya Vajjha (Jan 07 2019 at 15:50):

But I didn't try after your message that it was fixed.
I'll try again tomorrow!

view this post on Zulip Koundinya Vajjha (Jan 07 2019 at 15:50):

Were the talks recorded?

view this post on Zulip Johan Commelin (Jan 07 2019 at 15:51):

Yes, all talks have been recorded.

view this post on Zulip Johan Commelin (Jan 07 2019 at 15:51):

You could try right now.

view this post on Zulip Rob Lewis (Jan 07 2019 at 15:51):

The morning wasn't streamed because the A/V people were struggling with the internet. It was recorded but I don't think they've uploaded it.

view this post on Zulip Rob Lewis (Jan 07 2019 at 15:51):

The current session is streaming.

view this post on Zulip Koundinya Vajjha (Jan 07 2019 at 15:56):

Sound's coming through loud and clear. Will report on audience questions when they happen :grinning:

view this post on Zulip Koundinya Vajjha (Jan 07 2019 at 16:13):

Can't really hear audience questions - Mario's was fairly clear, probably because he was sitting closest to the mike.

view this post on Zulip Koundinya Vajjha (Jan 07 2019 at 16:39):

Can we have the speaker repeat the audience questions, if possible?

view this post on Zulip Koundinya Vajjha (Jan 08 2019 at 13:05):

Is the stream active?

view this post on Zulip Rob Lewis (Jan 08 2019 at 13:06):

By request of the speaker, this talk isn't being recorded.

view this post on Zulip Rob Lewis (Jan 08 2019 at 13:20):

Assia Mahboubi's talk at 4:00pm will not be recorded either.

view this post on Zulip Rob Lewis (Jan 14 2019 at 17:17):

Right now the videos are streaming from the VU A/V department's site. @Kevin Buzzard had asked me about getting copies of the videos for teaching purposes. They would also be nice to archive. The A/V people just quoted me €35 to send the video files... anyone have a clever idea how to extract the video from the stream instead?

view this post on Zulip Kevin Buzzard (Jan 14 2019 at 17:18):

Hah! I don't need copies of the videos, I have been talking to some A/V people here and we're going to make something better; being able to access the videos like I can now currently do, is fine for me.

view this post on Zulip Rob Lewis (Jan 14 2019 at 17:20):

I mean, I'd like the videos, if only for insurance against them disappearing from the university servers. But €35 seems steep!

view this post on Zulip Sebastian Ullrich (Jan 14 2019 at 17:35):

You can open the following links in VLC (Ctrl+N):

You can also save them via Ctrl+R

view this post on Zulip Kevin Buzzard (Jan 14 2019 at 17:36):

Presumably you're going to bill him €35 for this information.

view this post on Zulip Sebastian Ullrich (Jan 14 2019 at 17:39):

30€, mates' rates

view this post on Zulip Amin Bandali (Jan 14 2019 at 20:21):

Thanks for the links, Sebastian. I'm able to stream the video using VLC, but for some reason it doesn't pick up the audio tracks, and the Audio Track submenu in the Audio menu is grayed out

view this post on Zulip Amin Bandali (Jan 14 2019 at 20:21):

Any thoughts?

view this post on Zulip Rob Lewis (Jan 14 2019 at 20:57):

How about €30 worth of beer next time you're in Amsterdam?

view this post on Zulip William Whistler (Jan 14 2019 at 21:03):

I had the same issue with VLC. If you append (format=mpd-isoff) to Sebastian's URLs, you get the audio as well. For example: https://av-stream.vu.nl/MediasiteDeliver/AVC/SSVideo/27894c3a-8a4d-4768-a042-1f62e5345a6c/30f3dac8-9226-4b73-8da5-2ecec7d24e43.ism/manifest(format=mpd-isoff)

view this post on Zulip Simon Hudon (Jan 14 2019 at 22:47):

@Rob Lewis Isn't €30 worth of beer one sad shooter of beer in Amsterdam?

view this post on Zulip Rob Lewis (Jan 14 2019 at 23:27):

Maybe two sad shooters or one okay bottle.


Last updated: May 08 2021 at 21:09 UTC