Zulip Chat Archive

Stream: new members

Topic: Twitch stream of Natural Number Game


Ryan McCorvie (Aug 12 2022 at 22:13):

Hi all! I'm a lean newbie, trying to come up to speed. To this end, I plan to play the natural number game on Sun Aug 14 at 4pm PT (11pm UTC) on my twitch stream. I mean, natural number game is a video game, right? If it sounds interesting, please come watch and join the chat. If this is a success I will try to stream other lean development projects in the future. https://www.twitch.tv/ryan_mccorvie

Junyan Xu (Aug 12 2022 at 22:37):

Kevin Buzzard (Aug 13 2022 at 05:52):

Unfortunately I'll be asleep at that time as will a bunch of the Europeans, but I totally agree that it's a video game

Patrick Johnson (Aug 13 2022 at 15:26):

Streaming Lean gameplay is a nice idea! However, given that Twitch is a platform that encourages sub-only content, I recommend you to keep all Lean related stuff 100% public and free, even in the future.

Ryan McCorvie (Aug 14 2022 at 22:53):

Going live in about 10 mins!
https://www.twitch.tv/ryan_mccorvie

Ryan McCorvie (Aug 15 2022 at 00:35):

thanks to all who joined, got some great assists

Patrick Johnson (Aug 15 2022 at 10:14):

Does twitch allow you to make the recorded video available for those who didn't watch it live?

Ryan McCorvie (Aug 15 2022 at 15:14):

@Patrick Johnson yes I think so, but I'm a newbie at twitch as well as lean, and I forget to toggle that button

Kevin Buzzard (Aug 15 2022 at 19:17):

@Ryan McCorvie you could try the complex number game next! I'll add a link to make it playable via gitpod.


Last updated: Dec 20 2023 at 11:08 UTC