Zulip Chat Archive

Stream: general

Topic: livestreaming

Reid Barton (Sep 23 2018 at 20:02):

More livestreaming: https://www.twitch.tv/colimit
Trying something a little different today: going to try to solve problem 5 from this year's IMO in Lean.

Kevin Buzzard (Sep 23 2018 at 21:07):

What proof are you formalising?

Bryan Gin-ge Chen (Sep 23 2018 at 21:11):

I looked away for a few minutes and suddenly we'd gone from manipulating a sum to padics.

Mario Carneiro (Sep 24 2018 at 03:51):

I don't know how well this will work, but I'll try streaming when I can. Watch me work on quotient modules today: https://www.twitch.tv/digama0

Kenny Lau (Sep 24 2018 at 03:56):

I woke up just in time!

Scott Morrison (Sep 24 2018 at 05:06):

I just watched a bit of the start of Reid's. Dealing with producing the finset {1,2,..., n-1} was pretty painful!

Kenny Lau (Sep 24 2018 at 08:46):

@Mario Carneiro didn't upload the video?

Mario Carneiro (Sep 24 2018 at 08:49):

I'm not sure one was recorded. I'll figure that out for next time

Kevin Buzzard (Sep 24 2018 at 08:50):

@Reid Barton will probably be able to tell you where the option for saving videos is.

Mario Carneiro (Sep 25 2018 at 02:39):

Continuing where I left off yesterday: https://www.twitch.tv/digama0 (should be recorded this time)

Kevin Buzzard (Sep 25 2018 at 07:08):

darn it, missed it this time

Kevin Buzzard (Sep 25 2018 at 07:09):

Chris Hughes live streamed the birth of log on Imperial's intranet yesterday.

Reid Barton (Sep 25 2018 at 14:54):

Continuing Sunday night's stream: https://twitch.tv/colimit

Reid Barton (Sep 29 2018 at 15:05):

Continuing from Tuesday: https://twitch.tv/colimit

Last updated: Dec 20 2023 at 11:08 UTC