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.
* https://web.libera.chat/#bitwise (i.e., #bitwise on irc.libera.chat)
* 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.