Zulip Chat Archive

Stream: Geographic locality

Topic: Karlsruhe, DE


view this post on Zulip Marc Huisinga (Feb 28 2020 at 10:46):

@Sebastian Ullrich , @Markus Himmel and myself are at KIT in Karlsruhe. Sebastian supervised my CS BSc thesis and is now co-supervising Markus' math+CS BSc thesis.

view this post on Zulip Jakob von Raumer (Apr 12 2020 at 12:31):

In Karlsruhe, Germany right now, being stuck at my parents place after Covid-19 destroyed my travel plans for the early summer. Spending the time looking for jobs :point_left: :bangbang: :upside_down:

view this post on Zulip Alexandre Rademaker (Apr 12 2020 at 12:44):

But what is the idea of this stream?

view this post on Zulip Kevin Buzzard (May 03 2020 at 14:53):

To enable people who are geographically close and share common interests to find each other?

view this post on Zulip Shekhinah Memmel (Dec 27 2020 at 10:59):

I'm from Hadiko.

view this post on Zulip Shekhinah Memmel (Dec 27 2020 at 11:02):

I'm from Hadiko.

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:22):

first time I'm seeing a Karlsruhe group in a math community. hi from Waldstadt

view this post on Zulip Johan Commelin (Jan 26 2021 at 15:22):

Karlsruhe is super critical for Lean's existence (-;

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:24):

just by numbers or is there a working group at the KIT?

view this post on Zulip Johan Commelin (Jan 26 2021 at 15:24):

One of the two core developers is at KIT

view this post on Zulip Johan Commelin (Jan 26 2021 at 15:25):

so, maybe not by numbers, but if you do a weighted count, then....

view this post on Zulip Sebastian Ullrich (Jan 26 2021 at 15:30):

@Jakob von Raumer did find a job here as a postdoc, so I guess two people now makes us an actual Lean group!

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:30):

ah, a nontrivial group :)

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:31):

i have no KIT connection (i "work" in Philadelphia); i'm just here for the pandemic

view this post on Zulip Sebastian Ullrich (Jan 26 2021 at 15:32):

Oh I'm sure other cities have pandemics as least as nice as ours

view this post on Zulip Sebastian Reichelt (Jan 26 2021 at 19:47):

Hi to all fellow Karlsruhers! Although I haven't done enough Lean to be in any group yet, I'd love to get to know you and maybe even meet you when that becomes possible again.

view this post on Zulip Darij Grinberg (Jan 26 2021 at 21:57):

I have done even less Lean so far... (just Kevin's integer game)

view this post on Zulip Darij Grinberg (Jan 26 2021 at 21:58):

but I like to be in the loop about formalization efforts, particularly in algebraic combiantorics


Last updated: May 09 2021 at 23:10 UTC