Zulip Chat Archive

Stream: IMO-grand-challenge

Topic: livestreaming


view this post on Zulip David Renshaw (Mar 29 2021 at 23:53):

I'm going to mess around with some IMO problems tonight on twitch. Live now: https://www.twitch.tv/dwrensha

view this post on Zulip David Renshaw (Mar 29 2021 at 23:53):

hints and help appreciated!

view this post on Zulip David Renshaw (Mar 30 2021 at 01:24):

gptf is helping!

view this post on Zulip David Renshaw (Mar 30 2021 at 01:24):

(and @Bhavik Mehta )

view this post on Zulip David Renshaw (Mar 30 2021 at 02:24):

I feel like that was very educational for me. Thanks everyone!

view this post on Zulip Julian Berman (Mar 30 2021 at 12:47):

missed the stream but if you end up sharing the VOD would love to watch

view this post on Zulip David Renshaw (Mar 30 2021 at 13:12):

I currently do not have VODs enabled, but I'll consider it in the future.

view this post on Zulip David Renshaw (Mar 30 2021 at 13:16):

This is what we accomplished last night: https://github.com/dwrensha/mathematical-puzzles-in-lean/commit/0a5801bccd438a8acd49301634328deb59e431ce

view this post on Zulip Julian Berman (Mar 30 2021 at 15:57):

Awesome, thanks for sharing will have a look and hope to make the next one.


Last updated: Aug 05 2021 at 03:12 UTC