Stream: Geographic locality
Topic: Karlsruhe, DE
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.
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:
Alexandre Rademaker (Apr 12 2020 at 12:44):
But what is the idea of this stream?
Kevin Buzzard (May 03 2020 at 14:53):
To enable people who are geographically close and share common interests to find each other?
Shekhinah Memmel (Dec 27 2020 at 10:59):
I'm from Hadiko.
Shekhinah Memmel (Dec 27 2020 at 11:02):
I'm from Hadiko.
Darij Grinberg (Jan 26 2021 at 15:22):
first time I'm seeing a Karlsruhe group in a math community. hi from Waldstadt
Johan Commelin (Jan 26 2021 at 15:22):
Karlsruhe is super critical for Lean's existence (-;
Darij Grinberg (Jan 26 2021 at 15:24):
just by numbers or is there a working group at the KIT?
Johan Commelin (Jan 26 2021 at 15:24):
One of the two core developers is at KIT
Johan Commelin (Jan 26 2021 at 15:25):
so, maybe not by numbers, but if you do a weighted count, then....
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!
Darij Grinberg (Jan 26 2021 at 15:30):
ah, a nontrivial group :)
Darij Grinberg (Jan 26 2021 at 15:31):
i have no KIT connection (i "work" in Philadelphia); i'm just here for the pandemic
Sebastian Ullrich (Jan 26 2021 at 15:32):
Oh I'm sure other cities have pandemics as least as nice as ours
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.
Darij Grinberg (Jan 26 2021 at 21:57):
I have done even less Lean so far... (just Kevin's integer game)
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