Discord

Stream: new members

[Hanting Zhang]

Hi, is there any way to join the Xena Project Discord? All links I can find are expired. @Kevin Buzzard Or is it just an Imperial College thing? Thanks.

[Bhavik Mehta]

I've messaged you an invite link!

[Kyle Williams]

Hi @Bhavik Mehta would you be able to send me the link as well? Thanks

[Hanting Zhang]

Thanks!

[Kevin Buzzard]

It's supposed to be a young mathematician thing

[Justice Almanzar]

I'm new to lean and would love to learn more. Could join the Discord server as well?

[Kevin Buzzard]

What's your background?

[Kevin Buzzard]

I'm looking for undergraduate mathematicians

[Justice Almanzar]

I haven't attended college. I'm very much into programming and just recently started reading on real analysis, and Lean seems like an awesome intersection of interest.

[Kevin Buzzard]

can you do the first level of advanced multiplication world? I feel like we should say it's free entry for maths (or maths + X) UGs and everyone else has to pass some kind of test.

[Justice Almanzar]

Yea I've been doing that up to functions today. No difficulties so far with those but I have some questions about lean types (like inductives and instances), and I'm more comfortable with Discord.

[Jineon Baek]

I'm wondering if joining the Discord server is still possible. I'm a graduate student at UMich and trying to learn Lean for the first time. The Zulip server is great, but I think maybe the Discord server is more suitable for very newbie questions?

[Yaël Dillies]

You are very welcome to ask questions in either place! Maybe @Kevin Buzzard can send you an invite?

[Kevin Buzzard]

Sent!

[Lucas Teixeira]

@Kevin Buzzard Could you send me one as well?

[Kevin Buzzard]

What's your background? The discord is for undergraduate mathematicians interested in Lean.

[Lucas Teixeira]

I'd say that describes my background pretty well

[Lucas Teixeira]

@Hernan Ibarra

[Anupam Nayak]

Can I get an invite as well? I'm also an undergraduate maths student

[Hernan Ibarra]

May I join too @Kevin Buzzard ? I'm an undergrad at Uni of Sheffield

[Kevin Buzzard]

Yes absolutely. Are you mathematicians?

[Hernan Ibarra]

I'm studying maths, yes

[Karim Taha]

@Kevin Buzzard Greetings, Can I join the discord server even if I'm not an undergrad mathematician ?
I'm undergrad software engineering student, I'm interested in type systems, so I learnt Haskell. I'm learning lean as a dependently typed language, which is not supported by Haskell's type system. I would like to join the server, so that I have the chance to do some real projects. I started reading the hitchhikers tutorial, in case there is a required level of experience.

[Antoine Labelle]

I am also an undergraduate math student who would like a link for the discord!

[Faris Hafizhan Hakim]

@Kevin Buzzard Hello, I'm new to Lean, and I'm interested in learning much further. Can I join the Xena Project discord server? I've just finished the natural numbers game a few days ago. However, I'm not an undergraduate student yet. I'm still in my second year in high school. Thanks

[edderiofer]

@Kevin Buzzard Hi, can I have a link to the Discord too? I'm technically not an undergraduate as I already have a degree and am no longer in formal education, but I'm still fairly young.