Zulip Chat Archive

Stream: IMO-grand-challenge

Topic: livestreaming

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

David Renshaw (Mar 29 2021 at 23:53):

hints and help appreciated!

David Renshaw (Mar 30 2021 at 01:24):

gptf is helping!

David Renshaw (Mar 30 2021 at 01:24):

(and @Bhavik Mehta )

David Renshaw (Mar 30 2021 at 02:24):

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

Julian Berman (Mar 30 2021 at 12:47):

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

David Renshaw (Mar 30 2021 at 13:12):

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

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

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: Dec 20 2023 at 11:08 UTC