new stackoverflow question

Stream: lean4

[Kevin Buzzard]

I tend to monitor the stackoverflow #rss thread because all the posts in it tend to be about how to do elementary mathematics or logic in Lean 3. But today we have a question about sockets in Lean 4 and I don't know if the Lean 4 community have their eyes on this in one form or another so I thought I'd flag it here. If I'm online and one of these easy Lean 3 questions pops up I typically drop what I'm doing and answer it because not everybody is going to want to make an account on Zulip just to get their easy question answered. Sometimes we answer "just come to Zulip and get real time help" if it's a "big" question but often nowadays the questions are relatively easy to deal with on SO. None of them ever get more than one or two upvotes of course, but I think this is inevitable with a small language.

[Jason Rute]

IIRC, the coq zulip seems to have some automatic thing which posts stack overflow quesions to their zulip

[Henrik Böving]

9 seconds faster than @Xubai Wang :P

[Eric Rodriguez]

Jason Rute said:

IIRC, the coq zulip seems to have some automatic thing which posts stack overflow quesions to their zulip

That happens in #rss here

[Kevin Buzzard]

Yes sorry, I meant the SO rss thread on this Zulip instance!

[Kevin Buzzard]

But #rss is one of the many "opt-in" streams so lots of people don't know it exists