Zulip Chat Archive

Stream: Geographic locality

Topic: Sydney, AU


view this post on Zulip Qian Hong (wechat: fracting) (Apr 14 2020 at 01:55):

Hello World!

view this post on Zulip Mukesh Tiwari (Apr 14 2020 at 12:05):

Hi Qian, mukesh here.

view this post on Zulip Mukesh Tiwari (Apr 14 2020 at 12:06):

I am currently in Melbourne, and I think we met in DeepSpec summer school, Princeton.

view this post on Zulip Qian Hong (wechat: fracting) (Oct 01 2020 at 19:34):

Hi Mukesh! Sorry I missed the thread. Long time no see! :)

view this post on Zulip Joshua Moses (May 06 2021 at 12:44):

Hi

view this post on Zulip Scott Morrison (May 06 2021 at 12:49):

(Hi from Canberra!)

view this post on Zulip Scott Morrison (May 06 2021 at 12:49):

(not that Scott Morrison :-)

view this post on Zulip Mukesh Tiwari (Jun 19 2021 at 08:20):

Hi Scott, You probably don't know me, but I know you. I was a PhD student at the Logic Group, ANU, Canberra and Dirk was my supervisor.

view this post on Zulip Mukesh Tiwari (Jun 19 2021 at 08:33):

@Qian Hong (wechat: fracting) I am glad that finally you saw my message :)
@Joshua Moses Hi Joshua, nice to meet you.

Btw, there is a formal methods gathering, Formal Methods in Australia/New Zealand on 30 Sep - 1 Oct 2021 at The University of Queensland, St Lucia, https://wp.csiro.au/cdng/ (It's not updated yet, but hopefully, once it is finalise I will update here).

view this post on Zulip Qian Hong (wechat: fracting) (Jun 21 2021 at 16:55):

@Mukesh Tiwari cool, that's just in a few months, sounds exciting!

view this post on Zulip Martin Gossow (Dec 05 2021 at 04:03):

Hello! Recently graduated student from USYD here, hoping to get into Lean over the summer

view this post on Zulip Stuart Hungerford (Sep 24 2022 at 05:32):

I’m on the Central Coast north of Sydney and looking forward to using Lean 4 for self-study of maths concepts.

view this post on Zulip Stuart Hungerford (Sep 24 2022 at 05:33):

Even aside from mathlib Lean looks very interesting as a general FP language too.


Last updated: Sep 24 2022 at 18:19 UTC