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