Zulip Chat Archive
Stream: Lean Together 2021
Topic: YouTube streaming
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.
Rob Lewis (Jan 04 2021 at 14:53):
Starting with Heather Macbeth's talk: https://www.youtube.com/watch?v=DYhR5dIEbJ4
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).
Rob Lewis (Jan 04 2021 at 15:24):
Ed Ayers on widgets: http://www.youtube.com/watch?v=lhWmglwRPs8
Rob Lewis (Jan 04 2021 at 16:36):
Leo de Moura and Sebastian Ullrich on Lean 4: http://www.youtube.com/watch?v=VyqAlef5aUs
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.
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.
Rob Lewis (Jan 04 2021 at 21:24):
Just pushed new links to the workshop website.
Rob Lewis (Jan 04 2021 at 21:24):
https://www.youtube.com/playlist?list=PLlF-CfQhukNnO8z3TcFcoKozif9gbl7Yt
Rob Lewis (Jan 05 2021 at 11:50):
Chris Hughes: http://www.youtube.com/watch?v=4a7lt-bCOts
Rob Lewis (Jan 05 2021 at 13:00):
Stan Polu (starting in a minute): http://www.youtube.com/watch?v=GlhYIUN1P3Q
Rob Lewis (Jan 05 2021 at 14:02):
Jason Rute: http://www.youtube.com/watch?v=W_y22IYIJAE
Rob Lewis (Jan 05 2021 at 15:26):
Kody Vajjha: http://www.youtube.com/watch?v=TXE9foGpn7w
Rob Lewis (Jan 05 2021 at 15:55):
Yury Kudryashov: http://www.youtube.com/watch?v=EgYtqxCu7Ec
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.
Rob Lewis (Jan 05 2021 at 16:59):
These links are dead. The playlist and workshop schedule are updated.
Kenny Lau (Jan 06 2021 at 15:18):
are there livestreams?
Kenny Lau (Jan 06 2021 at 15:18):
@Rob Lewis
Johan Commelin (Jan 06 2021 at 15:18):
see the meeting links thread
Rob Lewis (Jan 06 2021 at 15:18):
Paula Neeley: http://www.youtube.com/watch?v=1JRlCDdbnA8
Rob Lewis (Jan 06 2021 at 15:19):
But @Kenny Lau I hope you're in the Zoom meeting soon! :smile:
Kenny Lau (Jan 06 2021 at 15:19):
thanks
Rob Lewis (Jan 06 2021 at 15:19):
Oh, you're there now
Kenny Lau (Jan 06 2021 at 15:19):
will this link work for my stream?
Rob Lewis (Jan 06 2021 at 15:19):
No
Rob Lewis (Jan 06 2021 at 15:31):
There will be a link ~15 seconds after Paula's talk ends
Kenny Lau (Jan 06 2021 at 15:32):
great
Rob Lewis (Jan 06 2021 at 15:35):
Kenny Lau: http://www.youtube.com/watch?v=a1KFp9yJcdk
Rob Lewis (Jan 06 2021 at 16:16):
Yasmine Sharoda: http://www.youtube.com/watch?v=QSmGfUrwMv8
Rob Lewis (Jan 06 2021 at 17:03):
Leo de Moura and Sebastian Ullrich: http://www.youtube.com/watch?v=_ghNQka7DhQ
Rob Lewis (Jan 06 2021 at 18:27):
Joe Hendrix: http://www.youtube.com/watch?v=z5DEuZrDHDs
Rob Lewis (Jan 06 2021 at 19:14):
Adam Topaz: http://www.youtube.com/watch?v=8CeieS3oBYE
Rob Lewis (Jan 06 2021 at 20:02):
Peter Nelson: http://www.youtube.com/watch?v=6-hKubFIaHM
Rob Lewis (Jan 06 2021 at 21:02):
Rob Lewis said:
These links are dead. The playlist and workshop schedule are updated.
And again.
Rob Lewis (Jan 07 2021 at 13:38):
Damiano Testa: http://www.youtube.com/watch?v=fTeip9A0C-U
Rob Lewis (Jan 07 2021 at 14:04):
Amelia Livingston: http://www.youtube.com/watch?v=fwsT61czrUo
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.
Rob Lewis (Jan 07 2021 at 17:31):
Logan Murphy: http://www.youtube.com/watch?v=_e2fML7QN6g
Rob Lewis (Jan 07 2021 at 17:45):
Thomas Browning: http://www.youtube.com/watch?v=bTgvjwrhfCY (sorry, I missed the first 20 seconds)
Rob Lewis (Jan 07 2021 at 18:31):
Leo de Moura: http://www.youtube.com/watch?v=y5g8mxoB4gg
Last updated: Dec 20 2023 at 11:08 UTC