Zulip Chat Archive

Stream: Zulip meta

Topic: offtopic math

Julian Berman (Jan 30 2021 at 15:12):

Is there a stream for math-with-no-real-intention-of-formalizing questions by any chance? Is the #maths stream used in that way?

Kevin Buzzard (Jan 30 2021 at 15:21):

There's always math.stackexchange :-) but I would imagine that if it was just a one-off people wouldn't object, after all you're a member of the community with a history of on-topic posts

Julian Berman (Jan 30 2021 at 15:23):

Ah true, I've never actually used math.stackexchange, my alternative was IRC's #math which doesn't tend to be helpful for the question I have.

Julian Berman (Jan 30 2021 at 15:23):

But thanks! Appreciated.

Johan Commelin (Jan 30 2021 at 15:23):

#maths is typically used for stuff related to formalizing, but I agree with Kevin that one-off's are fine (in my opinion)

Last updated: Dec 20 2023 at 11:08 UTC