Zulip Chat Archive

Hey folks, I'm new here! My name is Remy-with-the-long-Dutch-surname, and I'm currently a maths postdoc in Utrecht. I'm recovering from a MathOverflow addiction (and not sure I'm completely ready for a new one yet ;) )
I don't consider myself particularly good at coding stuff, so I am looking forward to being confused by all of it!

Riccardo Brasca (Oct 28 2022 at 10:14):

Welcome!

Daan van Gent (Oct 28 2022 at 11:43):

Hi Remy! Don't forget to check out our still somewhat empty #Leiden Lean group stream.

Johan Commelin (Oct 28 2022 at 11:53):

Welkom!

Floris van Doorn (Oct 28 2022 at 12:35):

Hoi Remy!

Kevin Buzzard (Oct 28 2022 at 19:52):

Hey Remy! Check out "Algebraic geometry development" in #maths for the current state of the debate about how best to define sheaves of modules in a theorem prover :-)

Remy van Dobben de Bruyn (Oct 28 2022 at 20:44):

Johan Commelin said:

Welkom!

Goh, jij hier :open_mouth:

Yaël Dillies (Oct 30 2022 at 21:17):

I just stumbled upon this very old Stackexchange question that features both Mario Carneiro and a certain Josse van Dobben de Bruyn. Quite a coincidence!

Mario Carneiro (Oct 30 2022 at 21:59):

was that supposed to contain a link?

Yaël Dillies (Oct 30 2022 at 22:09):

Here sorry!

Remy van Dobben de Bruyn (Oct 30 2022 at 22:35):

Yaël Dillies said:

I just stumbled upon this very old Stackexchange question that features both Mario Carneiro and a certain Josse van Dobben de Bruyn. Quite a coincidence!

That's my twin brother! (The consensus seems to be that I'm the evil one.) I've been trying to get him into Lean stuff as well, as he's much better at coding than myself, but everything at its time I suppose...

Kevin Buzzard (Oct 30 2022 at 22:37):

Oi Yael, don't point him back at the stackexchange sites, he's here now and a recovering addict! (I was one of those about 7 years ago)

Last updated: Dec 20 2023 at 11:08 UTC

leanprover-community / mathlib