Uniform Space Twitch stream

Stream: maths

[Kevin Buzzard]

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

[Jalex Stark]

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

[Bryan Gin-ge Chen]

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

[Kevin Buzzard]

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