Zulip Chat Archive

Stream: condensed mathematics

Topic: stream events

Notification Bot (Dec 08 2020 at 17:57):

Stream created by Johan Commelin.

Adam Topaz (Dec 08 2020 at 17:57):

:hello:

Johan Commelin (Dec 08 2020 at 17:58):

@Kevin Buzzard @Reid Barton @Peter Scholze @Patrick Massot here's a place to discuss anything related to condensed and liquid maths.
In particular, discussions around the Liquid Tensor Experiment can take place here.

Johan Commelin (Dec 08 2020 at 18:01):

@Riccardo Brasca @Filippo A. E. Nuccio you might also be interested in this...

Rob Lewis (Dec 08 2020 at 18:03):

Liquid Tensor Experiment

Is this a play on Liquid Tension Experiment? Did that come from @Kevin Buzzard or @Peter Scholze ? :smile:

Johan Commelin (Dec 08 2020 at 18:04):

It is!

Adam Topaz (Dec 08 2020 at 18:04):

I just now realized that Liquid Tension Experiment was Dream Theater...

Rob Lewis (Dec 08 2020 at 18:05):

Major flashbacks to my musical tastes in high school, hah

Johan Commelin (Dec 08 2020 at 18:05):

I suggested that one of their songs could be the theme song of the challenge, in the hopes that Peter was a fan of their music. Turns out I was right. (But apparently Kevin isn't too much of a fan...)