Zulip Chat Archive

Stream: Geographic locality

Topic: India

Nilesh (Dec 01 2025 at 08:09):

We started a weekly Lean Hangout and had the first one yesterday.
https://x.com/nileshtrivedi/status/1995402775736324240

Connected with @T V H Prathamesh among others.

Would love to meet others from India online. Also thinking about hosting offline meetups at our office in BLR.

Anand Rao Tadipatri (Dec 02 2025 at 18:08):

I'll be arriving in Bangalore soon for a few weeks and would love to join for the offline meetups.

Sidharth Hariharan (Dec 02 2025 at 19:37):

This is great to hear! I won't be able to join your 7 December event as it will be 4 am for me in the US, but I will soon be travelling to more convenient time zones. I don't know when I'll be in Bangalore next, but if there happens to be an offline meetup at a time when I'm there, I'd love to join!

Siddhartha Gadgil (Dec 03 2025 at 03:10):

@Anand Rao Tadipatri When will you arrive? We can plan something for software professionals.

Anand Rao Tadipatri (Dec 03 2025 at 08:22):

I'll be in Bangalore between the 6th of December (this Saturday) and the 11th of January. That sounds good to me.

Nilesh (Dec 04 2025 at 17:07):

How about 7th (Sunday) in conjunction with the online hangout? https://luma.com/qfvova46

Anand Rao Tadipatri (Dec 04 2025 at 23:47):

Unfortunately I don't think I'll be able to make it on the 7th since I'll be at a family gathering, but I look forward to attending the subsequent sessions.

Nilesh (Dec 10 2025 at 06:52):

I created this Luma calendar so people can stay updated about new online/offline meetups: https://luma.com/leanhangout

Anand Rao Tadipatri (Dec 10 2025 at 12:33):

Thanks! Will there be a corresponding offline event this Sunday? I'm travelling at the moment but I may be back in Bangalore just in time to make it.

Nilesh (Dec 10 2025 at 13:29):

@Anand Rao Tadipatri No, not planned yet. I am spreading the word about the workshop @ IISc Bangalore on 19th December, so that would act like a physical meetup of sorts.

Siddhartha Gadgil (Dec 11 2025 at 03:31):

We will have an informal workshop on Lean at IISc, Bangalore on 2025-12-19T09:30:00+05:30 which is an introduction to Lean focussed on programming (rather than mathematics).

The two main speakers will be @Anand Rao Tadipatri and myself.

Siddhartha Gadgil (Dec 11 2025 at 03:32):

The workshop is free and is funded under a grant from Renaissance Philanthropy. However, as we need to know the number of participants please register by Monday, December 15, 2025 if you are interested in attending.

Divyanshu Ranjan (Dec 12 2025 at 03:12):

Seeing about https://luma.com/qfvova46, just now. Missed it.

Nilesh (Dec 12 2025 at 03:27):

@Divyanshu Ranjan Here is the coming Sunday's event: https://luma.com/bcgelh11
You can bookmark this URL for all future events: https://luma.com/leanhangout

Last updated: Dec 20 2025 at 21:32 UTC