Not signed in (Sign In)

Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.

    I figured I would ask this question directly. The main reason is that the answer to this might require a rewording of what MO is about, to be more welcoming to a broader community of 'practicing mathematicians'.

    My bias is clear: I think TCS is a flavour of math, in the same way that algebra, analysis and geometry are all flavours of mathematics. I've tried StackOverflow for some questions, and quickly found out that that community (of programmers) does not appreciate questions of a more theoretical nature.

    And there seems to be a number of us here already (sigfpe, Andrej Bauer, Neel K. to name a few). I know I have explicitly sought their questions and answers on MO, because their interests 'resonate' with mine.

    I'll plug this again in case someone missed it -- there is a TCS proposal on Area 51.

    • CommentAuthorKevin Lin
    • CommentTimeJun 23rd 2010

    I think it is very welcome here. We've had many TCS questions so far.

    As I said in the other question, I think that TCS is solid mainstream mathematics. If researchers in it don't feel welcome here, then I think we need to change our attitudes!
    I agree that TCS is fine here, as are truly mathematical questions about statistics (though there aren't very many of these).

    Now I just need to get my fellow colleagues who work on 'mechanized mathematics' to take a good look at MO!

    I saw this late, and thought I'd jump in. I'm one of the TCS folks who's been pushing the TCS proposal. not because I don't like MO (I do !) but because (as I mentioned to Greg Kuperberg on a different blog) it's getting difficult to sift through the flood of MO posts to find things more closely related to TCS, even with very aggressive tag filtering that I have in place. Also, there aren't many TCS folks on MO (this is a chicken and egg problem, I agree :)).

    The TO site has got a reasonable amount of committed support, but it's unclear whether it will make it to beta. If it doesn't, even the fact that enough people committed makes me hopeful that these people can be persuaded to come over to MO and become participants here.

    @geomblog: My intention is to follow both. [But I don't understand why the UI proposal is 19% complete with 49 commits and TCS is 17% complete with 169!]

    • CommentAuthorDougy
    • CommentTimeJul 2nd 2010 edited
    @Jacques, I think the answer to your question is here:
    @jacques. It's an insane formula, and I am very annoyed by it. In fact, I was so annoyed I discovered that there's another open-source package that essentially clones SO v1, and if all else fails, we'll either invade MO wholesale, or create one without these crazy rules.