7 ms·
Ask HN: Good Online Maths Communities?
Hello everyone,
I've gotten back into doing maths more seriously lately, and was wondering if there were any good online maths communities. Part of this is because there are some problems I'm stuck on, and part of it is because I think that much like hanging out on HN can help one become a better programmer, hanging out on a good math forum could help me become a better mathematician.
Does anyone know of any good communities? Math Overflow maybe?
- zoul 2y agohttps://mathstodon.xyz/ https://mathstodon.xyz/
- cat12 2y agoCross Validated Stack Exchange.
- 0xsn3k 2y agoaops
- qsort 2y agoAOPS is a great community but it's for competitive mathematics (AIME, AMC, USAMO, etc.) For OP: I think the problem with your question is that "math" is too broad, e.g. Math Overflow is for professional mathematicians, things like AOPS are very specific and most online communities are about what you would call "recreational" math (think 3blue1brown or standupmaths), likely far below what you want.
- achenet 2y agook, I guess from what you say Math Overflow might be my best bet then, I'd like to have the competence of a professional mathematician, even if I work as a software engineer because it pays more :)
- dash2 2y agoThe kind of maths they do on Mathoverflow is PhD level and above... they probably get paid more if they leave academia, but then they are hired to do the kind of maths on math.stackexchange.
- oefrha 2y agoNot really, as a former theoretical physicist who also got offers from many math PhD programs and have many math PhD friends, by far the most recruiting emails we get are from quant trading firms, and you won’t find that kind of math on Math.SE. But yeah, roughly speaking you need to at least be a math PhD student who have passed your quals to be at the entry level of MathOverflow.
- dist-epoch 2y agoWarning: on Math Overflow they do not tolerate noobs and noob questions. They will redirect you to the Math stack exchange (which is a different one).
- achenet 2y agook, thanks for the warning :)
- lovegrenoble 2y agohttps://www.reddit.com/r/math/ https://www.reddit.com/r/math/
- lhousa 2y agoIt's one of the more wholesome communities on reddit.
- user070223 2y agohttps://leanprover-community.github.io/meet.html https://leanprover-community.github.io/meet.html https://artofproblemsolving.com/community https://artofproblemsolving.com/community https://math.stackexchange.com/ https://math.stackexchange.com/ https://mathoverflow.net/ https://mathoverflow.net/
- jansan 2y agoNote that math.stackexchange.com and mathoverflow.net have different audiences. On math.stackexchange.com mortals like me can ask math related questions, while mathoverflow.net is targeted at people doing research level math.
- magicalhippo 2y agoPhysics Forums[1] has an awesome math section as well. Got a lot of great help during my uni years. [1]: https://www.physicsforums.com/ https://www.physicsforums.com/
- hggigg 2y ago+1 for this. There are some communities on Discord as well surprisingly but they are invite only so I'm not posting any links on here.
- jhanschoo 2y agoI recommend the math discord in addition to mathoverflow and mathstodon. https://discord.gg/math https://discord.gg/math I got help with grad-level problems there. There's discussion there from high school through research, and is quite active.
- mazsa 2y agohttps://github.com/metamath/set.mm https://github.com/metamath/set.mm , if you do not object to your theorems being machine-provable.
- susam 2y agoWe have a little IRC/Matrix-based computer science and mathematics discussion community called Bitwise. The connection links are: * https://web.libera.chat/#bitwise https://web.libera.chat/#bitwise (i.e., #bitwise on irc.libera.chat) * https://app.element.io/#/room/#bitwise:matrix.org https://app.element.io/#/room/#bitwise:matrix.org (i.e., #bitwise:matrix.org) Both channels above are bridged together. So joining either one of them is enough to follow all conversations. This isn't specifically targeted at professional mathematicians though. Most members come from a computing background. However, mathematics is a central topic here, with much of the discussion revolving around computer science and mathematical literature. Recent reading and discussions have been about topics like theorem provers (Z3, Lean, etc.), real analysis, Galois theory, distributed consistency, compiler and interpreter development, Standard ML, etc.
- syadegari 2y agoWhile not a community itself, Terence Tao's blog (https://terrytao.wordpress.com/ https://terrytao.wordpress.com/) is a good source of high quality, clearly explained maths. As you may know, he has a very broad range of interests, and there might be something for you to pick up and get involved in. He has also been involved in several collaborative math communities, which he writes about at length in his blog. I recall Polymath project and recently some project involving Lean Theorem Prover that even showed up on the first page of the HN.
- susam 2y agoThe Libera IRC ##math community [1] has been around for over 29 years now! Originally based on the Freenode network, the community migrated to Libera in May 2021 following a controversial shift in Freenode's management. This community played an instrumental role in my early days of beginning to study mathematics seriously. During its prime, weekly mathematics seminars [2] were organised by the members, which I thoroughly enjoyed. I still vividly remember the IRC user "TRWBW", who seemed to have an answer for every question, no matter how complex. TRWBW's ability to explain even the most challenging concepts with clarity and precision was very impressive. Sadly, he hasn't been seen in several years. Although many of the original regulars have come and gone over the past three decades, the community continues to remain active. It still remains a good forum for discussing mathematics as well as asking and answering questions. [1] https://web.libera.chat/##math https://web.libera.chat/##math [2] https://freenode-math.fandom.com/wiki/Seminars#Past_Seminars https://freenode-math.fandom.com/wiki/Seminars#Past_Seminars
- hiker 2y agoLean[1] Zulip chat[2] [1] https://leanprover-community.github.io/ https://leanprover-community.github.io/ [2] https://leanprover.zulipchat.com/ https://leanprover.zulipchat.com/
- mlacks 2y agohttps://boards.4chan.org/sci/ https://boards.4chan.org/sci/
- oguz-ismail 2y agoThis. I got more help from /g/, /sci/, and /wsr/ than anywhere else on the internet
- longnighthn 2y agoIf someone is looking for a vertical/columnar math problem generator for kid, you can try this, which is I created for my 8-year-old son. https://kids-math.xhtml.jp https://kids-math.xhtml.jp
- sandwichsphinx 2y agothe project euler forum is nice