Zulip Chat Archive

Stream: Geographic locality

Topic: Hong Kong


view this post on Zulip Moin Ahmed Qidwai (Jul 11 2020 at 09:36):

Hi All,
Anyone else from Hong Kong here?

view this post on Zulip Kenny Lau (Jul 11 2020 at 09:39):

me and @Shing Tak Lam I believe

view this post on Zulip Moin Ahmed Qidwai (Jul 11 2020 at 09:44):

Awesome!
Have you been using Lean for long? Just playing or using it for some projects?

view this post on Zulip Kenny Lau (Jul 11 2020 at 09:44):

I have been using Lean for 3 years and I contribute to mathlib.

view this post on Zulip Moin Ahmed Qidwai (Jul 11 2020 at 09:54):

That is great. Maybe we could have a meetup in Hong Kong once the Covid situation levels off a bit.

view this post on Zulip Kenny Lau (Jul 11 2020 at 09:56):

for now you can join the discord server!

view this post on Zulip Shing Tak Lam (Jul 11 2020 at 11:19):

Kenny Lau said:

me and Shing Tak Lam I believe

I'm indeed from HK but I can't go back atm :(


Last updated: Jul 29 2021 at 22:11 UTC