Zulip Chat Archive

Stream: condensed mathematics

Topic: stream events


view this post on Zulip Notification Bot (Dec 08 2020 at 17:57):

Stream created by Johan Commelin.

view this post on Zulip Adam Topaz (Dec 08 2020 at 17:57):

:hello:

view this post on Zulip 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.

view this post on Zulip Johan Commelin (Dec 08 2020 at 18:01):

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

view this post on Zulip 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:

view this post on Zulip Johan Commelin (Dec 08 2020 at 18:04):

It is!

view this post on Zulip Adam Topaz (Dec 08 2020 at 18:04):

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

view this post on Zulip Rob Lewis (Dec 08 2020 at 18:05):

Major flashbacks to my musical tastes in high school, hah

view this post on Zulip 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...)

view this post on Zulip Johan Commelin (Dec 08 2020 at 18:05):

Adam Topaz said:

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

Not exactly Dream Theater, right? But there's a lot of overlap.

view this post on Zulip Adam Topaz (Dec 08 2020 at 18:06):

IMO Dream Theater was all about John Petrucci and Mike Portnoy...

view this post on Zulip Rob Lewis (Dec 08 2020 at 18:06):

Paradigm Shift would be appropriate!

view this post on Zulip Johan Commelin (Dec 08 2020 at 18:06):

But LTE was about all four of them

view this post on Zulip Johan Commelin (Dec 08 2020 at 18:07):

If you look up the back story of "three minute warning"...

view this post on Zulip Adam Topaz (Dec 08 2020 at 18:08):

First comment on this youtube link, by "Chuck Norris":

In LTE you're either bald or long haired. No in between

view this post on Zulip Filippo A. E. Nuccio (Dec 08 2020 at 20:16):

Johan Commelin said:

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

Indeed, thanks!

view this post on Zulip Adam Topaz (Dec 09 2020 at 18:13):

ping @Colter MacDonald


Last updated: May 09 2021 at 16:20 UTC