Hong Kong

Stream: Geographic locality

[Moin Ahmed Qidwai]

Hi All,
Anyone else from Hong Kong here?

[Kenny Lau]

me and @Shing Tak Lam I believe

[Moin Ahmed Qidwai]

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

[Kenny Lau]

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

[Moin Ahmed Qidwai]

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

[Kenny Lau]

for now you can join the discord server!

[Shing Tak Lam]

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]

Anyone in HK and eager to get a study group ?

[Jam Kabeer Ali Khan]

Hey! sure

[Yang Ming-Tian]

Antoine de Saint Germain said:

Anyone in HK and eager to get a study group ?

:wave:

[Shen Kaizhe]

Sure lol

[Jon Cheah]

Hello!

[Antoine de Saint Germain]

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]

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]

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

[CY Fung]

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]

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]

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]

@Antoine de Saint Germain still there?

[Antoine de Saint Germain]

Yes!

[ZhiKai Pong]

Hi all, I'm in HK from 15-21 January, wondering if anyone wants to have a meet up?

[ZhiKai Pong]

Antoine de Saint Germain said:

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

@Antoine de Saint Germain Are these meetings still going on?

[ZhiKai Pong]

Otherwise, if people have a day job we can meet over the weekend (say 17/1)

[Antoine de Saint Germain]

ZhiKai Pong said:

Hi all, I'm in HK from 15-21 January, wondering if anyone wants to have a meet up?

I will in HK 15-17, we can meet up then!

[Antoine de Saint Germain]

ZhiKai Pong said:

Antoine de Saint Germain said:

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

Antoine de Saint Germain Are these meetings still going on?

So far no, but we should really get it back on :smiling_face:

[ZhiKai Pong]

Antoine de Saint Germain said:

will in HK 15-17, we can meet up then!

Sounds good! I'm happy to come to HKU, but open to meeting elsewhere as well

[ZhiKai Pong]

And if anyone else wants to join please do reply!

[ZhiKai Pong]

@Antoine de Saint Germain I prefer 16/17 (but 15 is ok as well), which day is better for you? Let's say afternoon for an hour or two?

[Antoine de Saint Germain]

Let’s do Friday 16th, at 3pm in HKU?

[ZhiKai Pong]

Sure see you there!