Zulip Chat Archive

Stream: new members

Topic: home pages

Bas Spitters (Mar 13 2020 at 16:43):

I'm having interesting discussions here. Is there any way to find out who I'm talking to? E.g. do people link to their academic home pages?

Andrew Ashworth (Mar 13 2020 at 16:45):

No, this is just a chat room. People are free to register with fake aliases, and they do occasionally. Anything beyond that is up to the user

Andrew Ashworth (Mar 13 2020 at 16:45):

You can get pretty far by just searching somebody's name in Google, though. It's not exactly a big community

Kevin Buzzard (Mar 13 2020 at 17:06):

Often you can find people by just googling their names as Andrew says. I encourage all mathematicians to sign up with their full names. Another trick is to click on a user's username and you can then see the email address they used to sign up. For me this is my work email so you can be 100% sure that you're talking to me. Some people sign up with pseudonyms but they have their real name in their email address.

Reid Barton (Mar 13 2020 at 17:08):

You can also try asking them :upside_down:

Bas Spitters (Mar 13 2020 at 17:18):

I'm shy :-)
The top hit on google is: Does anyone know what became of Reid Barton ?

Johan Commelin (Mar 13 2020 at 17:18):

Ou la la...

Patrick Massot (Mar 13 2020 at 17:18):

Now you can answer this question!

Patrick Massot (Mar 13 2020 at 17:19):

You found him, right here!

Bas Spitters (Mar 13 2020 at 17:45):

In case people are wondering: http://www.cs.au.dk/~spitters/
I've been working on constructive maths, type theory, topos theory, formalization of maths, ... for the last two decades.
Recently, we've been working on using formalized mathematics (crypto) in industry (blockchain).

Patrick Massot (Mar 13 2020 at 17:52):

I agree with Bas that it would be nice to know more about users. Actually when this Zulip chat opened, I thought the purpose of this "new members" streams was to allow new users to introduce themselves.

Patrick Massot (Mar 13 2020 at 17:54):

I don't know why I'm not using my professional email address so that Kevin's trick doesn't apply. I guess this is because I use GitHub for Zulip authentication and I started using GitHub long before I started pretending GitHub was for work. Anyway, I'm probably fairly easy to google as well: https://www.imo.universite-paris-saclay.fr/~pmassot/en/index.html

Bas Spitters (Mar 13 2020 at 17:59):

@Patrick Massot Thanks. I met Johan at POPL and we had a nice chat (in Dutch). He quickly introduced me to some of the lean crowd. Congratulations on the work on perfectoid spaces.
I was at LRI/ Paris-Sud for a bit visiting Christine Paulin, I also attended Jeremy's first course on lean at CMU in 2015.

Last updated: Dec 20 2023 at 11:08 UTC