Zulip Chat Archive

Stream: Lean Together 2021

Topic: YouTube streaming


view this post on Zulip Rob Lewis (Jan 04 2021 at 14:53):

Since we're streaming to YouTube as a convenient way to upload recorded talks, we might as well post the live links here.

view this post on Zulip Rob Lewis (Jan 04 2021 at 14:53):

Starting with Heather Macbeth's talk: https://www.youtube.com/watch?v=DYhR5dIEbJ4

view this post on Zulip Rob Lewis (Jan 04 2021 at 14:54):

These streams will end after each talk. I can't split one recorded live videos into multiple ones from within YouTube (AFAIK).

view this post on Zulip Rob Lewis (Jan 04 2021 at 15:24):

Ed Ayers on widgets: http://www.youtube.com/watch?v=lhWmglwRPs8

view this post on Zulip Rob Lewis (Jan 04 2021 at 16:36):

Leo de Moura and Sebastian Ullrich on Lean 4: http://www.youtube.com/watch?v=VyqAlef5aUs

view this post on Zulip Chris Hughes (Jan 04 2021 at 21:20):

These videos have all just been made private. I was watching the Lean 4 video, but it's stopped working.

view this post on Zulip Rob Lewis (Jan 04 2021 at 21:23):

Sorry. I was editing them to trim the cruft at the beginning and end. It let me edit one or two in place but not all of them.

view this post on Zulip Rob Lewis (Jan 04 2021 at 21:24):

Just pushed new links to the workshop website.

view this post on Zulip Rob Lewis (Jan 04 2021 at 21:24):

https://www.youtube.com/playlist?list=PLlF-CfQhukNnO8z3TcFcoKozif9gbl7Yt

view this post on Zulip Rob Lewis (Jan 05 2021 at 11:50):

Chris Hughes: http://www.youtube.com/watch?v=4a7lt-bCOts

view this post on Zulip Rob Lewis (Jan 05 2021 at 13:00):

Stan Polu (starting in a minute): http://www.youtube.com/watch?v=GlhYIUN1P3Q

view this post on Zulip Rob Lewis (Jan 05 2021 at 14:02):

Jason Rute: http://www.youtube.com/watch?v=W_y22IYIJAE

view this post on Zulip Rob Lewis (Jan 05 2021 at 15:26):

Kody Vajjha: http://www.youtube.com/watch?v=TXE9foGpn7w

view this post on Zulip Rob Lewis (Jan 05 2021 at 15:55):

Yury Kudryashov: http://www.youtube.com/watch?v=EgYtqxCu7Ec

view this post on Zulip Rob Lewis (Jan 05 2021 at 16:04):

A reminder that these videos will be made private later tonight and replaced by versions with the beginnings and ends trimmed. These links are not stable.

view this post on Zulip Rob Lewis (Jan 05 2021 at 16:59):

These links are dead. The playlist and workshop schedule are updated.

view this post on Zulip Kenny Lau (Jan 06 2021 at 15:18):

are there livestreams?

view this post on Zulip Kenny Lau (Jan 06 2021 at 15:18):

@Rob Lewis

view this post on Zulip Johan Commelin (Jan 06 2021 at 15:18):

see the meeting links thread

view this post on Zulip Rob Lewis (Jan 06 2021 at 15:18):

Paula Neeley: http://www.youtube.com/watch?v=1JRlCDdbnA8

view this post on Zulip Rob Lewis (Jan 06 2021 at 15:19):

But @Kenny Lau I hope you're in the Zoom meeting soon! :smile:

view this post on Zulip Kenny Lau (Jan 06 2021 at 15:19):

thanks

view this post on Zulip Rob Lewis (Jan 06 2021 at 15:19):

Oh, you're there now

view this post on Zulip Kenny Lau (Jan 06 2021 at 15:19):

will this link work for my stream?

view this post on Zulip Rob Lewis (Jan 06 2021 at 15:19):

No

view this post on Zulip Rob Lewis (Jan 06 2021 at 15:31):

There will be a link ~15 seconds after Paula's talk ends

view this post on Zulip Kenny Lau (Jan 06 2021 at 15:32):

great

view this post on Zulip Rob Lewis (Jan 06 2021 at 15:35):

Kenny Lau: http://www.youtube.com/watch?v=a1KFp9yJcdk

view this post on Zulip Rob Lewis (Jan 06 2021 at 16:16):

Yasmine Sharoda: http://www.youtube.com/watch?v=QSmGfUrwMv8

view this post on Zulip Rob Lewis (Jan 06 2021 at 17:03):

Leo de Moura and Sebastian Ullrich: http://www.youtube.com/watch?v=_ghNQka7DhQ

view this post on Zulip Rob Lewis (Jan 06 2021 at 18:27):

Joe Hendrix: http://www.youtube.com/watch?v=z5DEuZrDHDs

view this post on Zulip Rob Lewis (Jan 06 2021 at 19:14):

Adam Topaz: http://www.youtube.com/watch?v=8CeieS3oBYE

view this post on Zulip Rob Lewis (Jan 06 2021 at 20:02):

Peter Nelson: http://www.youtube.com/watch?v=6-hKubFIaHM

view this post on Zulip Rob Lewis (Jan 06 2021 at 21:02):

Rob Lewis said:

These links are dead. The playlist and workshop schedule are updated.

And again.

view this post on Zulip Rob Lewis (Jan 07 2021 at 13:38):

Damiano Testa: http://www.youtube.com/watch?v=fTeip9A0C-U

view this post on Zulip Rob Lewis (Jan 07 2021 at 14:04):

Amelia Livingston: http://www.youtube.com/watch?v=fwsT61czrUo

view this post on Zulip Rob Lewis (Jan 07 2021 at 17:30):

I didn't manage to post links to the last two talks since I was chairing. They'll hit the playlist soon.

view this post on Zulip Rob Lewis (Jan 07 2021 at 17:31):

Logan Murphy: http://www.youtube.com/watch?v=_e2fML7QN6g

view this post on Zulip Rob Lewis (Jan 07 2021 at 17:45):

Thomas Browning: http://www.youtube.com/watch?v=bTgvjwrhfCY (sorry, I missed the first 20 seconds)

view this post on Zulip Rob Lewis (Jan 07 2021 at 18:31):

Leo de Moura: http://www.youtube.com/watch?v=y5g8mxoB4gg


Last updated: May 08 2021 at 21:09 UTC