Zulip Chat Archive

Stream: maths

Topic: Uniform Space Twitch stream

view this post on Zulip Kevin Buzzard (Jun 18 2020 at 13:54):

I've been doing live Twitch streams for the past few weeks on Thursday evenings (5pm UK time, 1600 UTC). They've mostly been on basic stuff so far so I've not mentioned them here, but today I'm going to attempt uniform spaces -- definitions and basic properties -- in Lean, and I thought maybe some mathematicians might be interested. https://www.twitch.tv/kbuzzard

view this post on Zulip Jalex Stark (Jun 18 2020 at 14:03):

if you make an account and hit subscribe, twitch will email you every time kevin goes live

view this post on Zulip Bryan Gin-ge Chen (Jun 18 2020 at 14:07):

Are the videos making their way to YouTube? I think Twitch deletes the recordings after a while.

view this post on Zulip Kevin Buzzard (Jun 18 2020 at 14:08):

https://www.youtube.com/channel/UCtdYf-CsDI215SqaQ3XYx1A (but I didn't upload last week's yet; I have it locally though)

Last updated: May 09 2021 at 10:11 UTC