Zulip Chat Archive

Stream: Geographic locality

Topic: Hong Kong

Moin Ahmed Qidwai (Jul 11 2020 at 09:36):

Hi All,
Anyone else from Hong Kong here?

Kenny Lau (Jul 11 2020 at 09:39):

me and @Shing Tak Lam I believe

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?

Kenny Lau (Jul 11 2020 at 09:44):

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

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.

Kenny Lau (Jul 11 2020 at 09:56):

for now you can join the discord server!

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 :(

Antoine de Saint Germain (May 14 2024 at 06:26):

Anyone in HK and eager to get a study group ?

Jam Kabeer Ali Khan (Aug 07 2024 at 07:18):

Hey! sure

Yang Ming-Tian (Aug 07 2024 at 07:22):

Antoine de Saint Germain said:

Anyone in HK and eager to get a study group ?

:wave:

Shen Kaizhe (Aug 07 2024 at 07:26):

Sure lol

Jon Cheah (Aug 07 2024 at 07:30):

Hello!

Antoine de Saint Germain (Aug 21 2024 at 03:18):

Little reminder that today at 2pm HKT we have our weekly Lean workshop in HKU. Anyone and everyone welcome ! We'll be working on formalising frieze patterns (c.f. https://github.com/Antoine-dSG/frieze_patterns)

Antoine de Saint Germain (Feb 12 2025 at 09:37):

Our regular meeting are happening again ! In HKU, every Wednesday from 3pm to 5pm, in Room 102 of Elliot Hall. Everyone is welcome

Laurance Lau (Feb 12 2025 at 09:43):

Ah, just learned about this thread. Unfortunately leaving Sunday night...

CY Fung (Nov 23 2025 at 00:54):

Hi! I am new to Lean. I graduated from HKUST, studied physics, and now work as a programmer. I want to contribute to PhysLean in my spare time.

CY Fung (Nov 23 2025 at 10:49):

Interesting to find someone under Prof Xuhua He's research group here. I was Prof He's student for 3 course (including 2 PG courses that he allowed a UG(me) to take) back in HKUST.

ZhiKai Pong (Nov 24 2025 at 02:44):

CY Fung said:

Hi! I am new to Lean. I graduated from HKUST, studied physics, and now work as a programmer. I want to contribute to PhysLean in my spare time.

Hi,

I'm likely to return to Hong Kong over Christmas, will be happy to meet! If there are other lean ppl in HK would love to meet them as well :)

Filippo A. E. Nuccio (Nov 25 2025 at 09:24):

@Antoine de Saint Germain still there?

Antoine de Saint Germain (Nov 25 2025 at 09:24):

Yes!

Last updated: Dec 20 2025 at 21:32 UTC