Zulip Chat Archive

Stream: new members

Topic: how do i join project groups

Shaun Modipane (Jun 12 2021 at 10:00):

hey, i'm still new and i'm looking for for some lean projects i could take part in, any directions will be appreciated.

Kevin Buzzard (Jun 12 2021 at 11:44):

what are your interests?

Shaun Modipane (Jun 14 2021 at 10:29):

I see myself working in AI, capable of solving problems autonomously. Creating interactive math books & I'm looking for a new way of processing beyond the Turing structure.

Huỳnh Trần Khanh (Jun 14 2021 at 11:26):

Are you interested in verifying the correctness of computer programs?

Last updated: Dec 20 2023 at 11:08 UTC