code4math Community

Public view of Lean | Zulip team chat Browse the publicly accessible channels in Lean without logging in.

New NSF-funded math institute just dropped: Institute for Computer-Aided Reasoning in Mathematics (ICARM) 👀

@code4math.org #MathSky

leanprover.zulipchat.com#narrow/chann...

Hello world! We are the official BlueSky account for the AWM, here to connect about mathematics, science, and promoting inclusivity within the mathematical sciences! Let's connect!

Think of a number. My feed was recently clogged up with news articles reporting that Sam Altman thinks that AGI is here, or will be here next year, or whatever. I will refrain from giving even more air to this nonsen…

Number theorists: please get in touch. xenaproject.wordpress.com/2025/01/20/t...

Tomorrow is now today! See you in room 613!

... Because you should join us instead at the "Mathematics Informed by Computing" special sessions running tomorrow 8:30-noon and 1pm-6pm in room 613 of the convention center instead! See you there!

Thanks for another great day at @jointmath.bsky.social! But whatever you do, do NOT come by our exhibit hall booth tomorrow... 👀 1/2

Photo of our booth.

Jeremy is holding office hours for potential readers at our JMM booth 610 starting around 3pm today. Come talk with him and help identify the community's needs that such a book could help address! 2/2

Photograph of Jeremy Kun

Author @jeremykun.com of "A Programmers Introduction to Mathematics" is now writing "Programming for Mathematicians", an abridged CS degree accelerated by your math background, aimed at supporting a career switch into industry and/or writing software for research, and he needs your help! 1/2

Photograph of the exhibit hall booth for code4math.org with a banner reading: "Consortium of Digital Ecosystems for Mathematics. Software. Databases. Infrastructure. Community. Join our open community of researchers and developers at code4math.org!"

Join us at the @jointmath.bsky.social Grand Opening at Booth 610 this evening at 6pm! Looking forward to meeting up with the community!

Join Us at the Joint Mathematics Meetings - The Largest Mathematics Gathering Globally Discover cutting-edge mathematical advancements and network with industry leaders at the world's largest mathematics meeting!

Heading to jointmathematicsmeetings.org this week? Connect with our community of mathematicians using and developing technology to advance research by visiting our booth in the Exhibit Hall! Grand opening is Wednesday at 6pm.

If this message does not go away, try reloading the page.

Do you have an #OpenSource technology project that supports #MathSky research, and will be at the Joint Math Meetings next month? If you'd like to organize a meetup, office hours, etc, join our Zulip chat: code4math.zulipchat.com#narrow/strea...

This Professional Enhancement Program led by @clontz.org and @oscarlevin.bsky.social will explore how to get started with the GitHub platform to create and collaborate on mathematical projects with colleagues and students, requiring only a web browser. Materials are available at g4m.code4math.org

Join Us at the Joint Mathematics Meetings - The Largest Mathematics Gathering Globally Discover cutting-edge mathematical advancements and network with industry leaders at the world's largest mathematics meeting!

Hey #MathSky! 👋 Interested in learning how to leverage #computing to advance your mathematics research and teaching? You may be interested in the @aimathematics.bsky.social sponsored "Leveraging GitHub and AI for Mathematics Research and Teaching" PEP: jointmathematicsmeetings.org/meetings/nat...

Are you heading to the JointMathematicsMeetings.org in Seattle this January? Connect with the code4math.org community of mathematicians and software developers supporting our research infrastructure by visiting us in the Exhibit Hall, or join the Mathematics Informed by Computing session on Friday!