Zulip Chat Archive

Stream: FLT-regular

Topic: stream events


Notification Bot (Oct 25 2021 at 16:16):

Stream created by Johan Commelin.

Yaël Dillies (Oct 25 2021 at 16:21):

Be ambitious! Call it FLT!

Johan Commelin (Oct 25 2021 at 16:39):

Streams can be renamed :stuck_out_tongue_wink:

Eric Rodriguez (Oct 25 2021 at 16:39):

First we need modular forms Yaël :b

Notification Bot (Oct 25 2021 at 16:16):

Stream created by Johan Commelin.

Yaël Dillies (Oct 25 2021 at 16:21):

Be ambitious! Call it FLT!

Johan Commelin (Oct 25 2021 at 16:39):

Streams can be renamed :stuck_out_tongue_wink:

Eric Rodriguez (Oct 25 2021 at 16:39):

First we need modular forms Yaël :b

Notification Bot (Oct 03 2023 at 09:59):

Scott Morrison changed the description for this stream.

  • Old description:

Fermat's Last Theorem for regular primes

  • New description:

Fermat's Last Theorem

Notification Bot (Oct 03 2023 at 09:59):

Scott Morrison renamed stream FLT regular to FLT.

Alex J. Best (Oct 03 2023 at 10:06):

@_Notification Bot|100006 said:

Scott Morrison renamed stream FLT regular to FLT.

not sure I agree that it makes sense to have both projects in the same stream, Kevins is a very large multiyear project that presumably will not have that much overlap with what we are doing here

Chris Birkbeck (Oct 03 2023 at 10:15):

Yes I agree, I think a new steam for FLT is best

Kevin Buzzard (Oct 03 2023 at 10:24):

I really don't mind either way.

Ruben Van de Velde (Oct 03 2023 at 10:26):

We should just finish flt-regular by next October :)

Chris Birkbeck (Oct 03 2023 at 10:26):

Or that!

Eric Rodriguez (Oct 03 2023 at 10:37):

I don't think it's a ridiculous goal :) I've bought a copy of Washington and have an abundance of lean time coming up soon

Chris Birkbeck (Oct 03 2023 at 10:38):

Oh I think that would be possible. We really need to sort out a plan of attack though

Notification Bot (Dec 07 2023 at 07:36):

Johan Commelin changed the description for this stream.

  • Old description:

Fermat's Last Theorem

  • New description:

Fermat's Last Theorem for regular primes

Notification Bot (Dec 07 2023 at 07:36):

Johan Commelin renamed stream FLT to FLT-regular.


Last updated: Dec 20 2023 at 11:08 UTC