Announcing the Palomar registry of Lean formalized mathematics: palomar-registry.org . See also my blog announcement at terrytao.wordpress.com/2026/08/18/p... and the Lean Zulip channel at leanprover.zulipchat.com#narrow/chann....

📢 The June 2026 arXiv articles are now in ar5iv, with three big changes: Rust, NYC, AI 🧵1/5

Deyan Ginev@dginev.bsky.social · 3mo ago

🗓️ The May 2026 arXiv articles are now in ar5iv.

Axiom is a startup working on formal theorem proving and generative discovery of mathematical objects. They recently released two free pieces of software and wanted to make them known and available to the @code4math.org community: code4math.zulipchat.com#narrow/chann...

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

code4math.zulipchat.com

#MathSky peeps interested in AI: Participants in the Milestones for Autonomous Math Research (icarm.io/project/mile...) will have some remote office hours tomorrow (Fri 4/17) to onboard people interested in the project. Visit @code4math.org Zulip for link: code4math.zulipchat.com#narrow/chann...

Enhancing digital accessibility of mathematics, hosted by the AMS: hub.ams.org/courses/1291...

Enhancing Digital Accessibility of Mathematics | American Mathematical Society

Date: Wednesday, April 15, 2026 Time: 2:00–3:30 p.m. Eastern Creating accessible mathematics content is challenging: our current...

hub.ams.org

Jeremy Avigad just shared this ICARM.io workshop announcement organized by @littmath.bsky.social to the @code4math.org Zulip for "Milestones of Autonomous Mathematics": code4math.zulipchat.com#narrow/chann... #MathSky

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

code4math.zulipchat.com

Please encourage people to apply for the MathAndCobb Fund for ME! youtube.com/shorts/5cVgy...

Do you need funds for a cool mathematical opportunity? Then please apply for the MathAndCobb Fund

YouTube video by Alvaro Lozano-Robledo

youtube.com

ICARM.io is a new NSF math institute with the goal to support the use of new technologies for mathematical reasoning, including interactive theorem proving, formalization, automated reasoning, and machine learning. They are currently soliciting proposals for workshops, summer schools, and more!

Hey #MathSky, we just created a @code4math.org calendar which you can use to connect with us virtually or in person! This spring we will host a weekly open community office hour on Tuesdays! Visit us at code4math.org/events to learn more or add our calendar to your own!

It's been a great week with #MathSky at the #JMM2026! Thanks to everyone in the community who joined us last night at our reception, and let's continue the conversation online at the code4math.org Zulip!

We're here #JMM2026 #MathSky! See you soon!

code4math Community@code4math.org · 8mo ago

Connect with our community at #JMM2026! - JMM Welcome Reception: Sun 6pm-8pm - Meet and Greet: Mon 10:30-noon - Institute Reception: Mon 6pm-8pm (Marriott Marquis) - Meet and Greet: Tue 3pm-4:30pm - Happy Hour: Tue 5:30pm-7:30pm (Jake's Tavern)

We're here #JMM2026 #MathSky! See you soon!

code4math Community@code4math.org · 8mo ago

Connect with our community at #JMM2026! - JMM Welcome Reception: Sun 6pm-8pm - Meet and Greet: Mon 10:30-noon - Institute Reception: Mon 6pm-8pm (Marriott Marquis) - Meet and Greet: Tue 3pm-4:30pm - Happy Hour: Tue 5:30pm-7:30pm (Jake's Tavern)

Join us TONIGHT at Jake’s Tavern from 5:30pm to 7:30pm for appetizers, a cash bar, and conversation with people who also care about open source software for math research! #JMM2026 #MathSky

code4math Community@code4math.org · 8mo ago

Connect with our community at #JMM2026! - JMM Welcome Reception: Sun 6pm-8pm - Meet and Greet: Mon 10:30-noon - Institute Reception: Mon 6pm-8pm (Marriott Marquis) - Meet and Greet: Tue 3pm-4:30pm - Happy Hour: Tue 5:30pm-7:30pm (Jake's Tavern)

You should totally join us tonight for our #JMM2026 #MathSky @code4math.org reception at 5:30. But if you want to learn more before taking advantage of our free food and great company, I'll be at the Exhibit Hall AIM booth 3:00-4:30 to tell how our community supports math research infrastructure.

Prof Christelle Vincent@xl772.bsky.social · 8mo ago

Join us TONIGHT at Jake’s Tavern from 5:30pm to 7:30pm for appetizers, a cash bar, and conversation with people who also care about open source software for math research! #JMM2026 #MathSky

#MathSky we're back at the #JMM2026 exhibit hall to share with you what our AIMath.org Research Community does to support sociotechnical infrastructure for math research! Do you like math, computing, and community? Then we'll see you at the AIM booth now until noon!

code4math Community@code4math.org · 8mo ago

Connect with our community at #JMM2026! - JMM Welcome Reception: Sun 6pm-8pm - Meet and Greet: Mon 10:30-noon - Institute Reception: Mon 6pm-8pm (Marriott Marquis) - Meet and Greet: Tue 3pm-4:30pm - Happy Hour: Tue 5:30pm-7:30pm (Jake's Tavern)

Connect with our community at #JMM2026! - JMM Welcome Reception: Sun 6pm-8pm - Meet and Greet: Mon 10:30-noon - Institute Reception: Mon 6pm-8pm (Marriott Marquis) - Meet and Greet: Tue 3pm-4:30pm - Happy Hour: Tue 5:30pm-7:30pm (Jake's Tavern)

Connect with our community at #JMM2026! - JMM Welcome Reception: Sun 6pm-8pm - Meet and Greet: Mon 10:30-noon - Institute Reception: Mon 6pm-8pm (Marriott Marquis) - Meet and Greet: Tue 3pm-4:30pm - Happy Hour: Tue 5:30pm-7:30pm (Jake's Tavern)

Free for MAA and AMS members! Not a member and don't have $15? The MathTech.org team can help - email steven@clontz.org to learn more.

ꭓle Ormsby 𓆙@e-infinity.space · 9mo ago

MAA workshop on accessible course materials with @mitchkeller.phd and @oscarlevin.com! Free for AMS and MAA members. events.zoom.us/ev/AjygoFh_y...

Twenty minutes! Join the conversation on Zulip: code4math.zulipchat.com#narrow/chann...

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

code4math.zulipchat.com

code4math Community@code4math.org · 9mo ago

On Monday December 1, @clontz.org is going to share some of his favorite math projects on @github.com that you can take advantage of, and even contribute back to, using just your web browser! Join us for our final 2025 Convening at 3pm Eastern! scholarlattice.org/events/88a97...

Tomorrow!! GitHub for the people!!

code4math Community@code4math.org · 9mo ago

On Monday December 1, @clontz.org is going to share some of his favorite math projects on @github.com that you can take advantage of, and even contribute back to, using just your web browser! Join us for our final 2025 Convening at 3pm Eastern! scholarlattice.org/events/88a97...

On Monday December 1, @clontz.org is going to share some of his favorite math projects on @github.com that you can take advantage of, and even contribute back to, using just your web browser! Join us for our final 2025 Convening at 3pm Eastern! scholarlattice.org/events/88a97...

On Monday December 1, @clontz.org is going to share some of his favorite math projects on @github.com that you can take advantage of, and even contribute back to, using just your web browser! Join us for our final 2025 Convening at 3pm Eastern! scholarlattice.org/events/88a97...

Okay hey let's do this. Join me and the @mathtech.org gang on our Discord: mathtech.org/chat We'll pilot this game night idea this Friday, 8pm-10pm Eastern. You can also jump into our #games text channel to suggest ideas and talk casually with other community members in the meantime.

Steven Clontz@clontz.org · 10mo ago

Consolation prize from the worldwide pandemic: I have a weekly virtual game night with buddies from undergrad. I have so many #MathSky friends these days though: who's up for some regular @jackboxgames.com or BoardGameArena.com?

code4math.org will be at the Joint Math Meetings in Washington D.C.! More info to be shared soon, but a request: do you have any swag for your open source math research infrastructure project that you'd be willing to donate towards a raffle prize? Email steven@clontz.org to connect with us!

Mathematicians discount the power of social media tech to communicate our work at our own peril. 😮 Looking forward to seeing @mathandcobb.bsky.social share about Math in the Age of Social Media this Monday at 3pm Eastern! Join the conversation on our Zulip! code4math.zulipchat.com#narrow/chann...

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

code4math.zulipchat.com

Álvaro Lozano-Robledo@mathandcobb.bsky.social · 2y ago

I am also prolific on TikTok, where I have been posting videos (almost daily!) since 2021. There you can find all sorts of videos about math, with some tiktok-esque comedy bits mixed in. www.tiktok.com/@mathandcobb

"tomorrow afternoon" is now "in about 80 minutes"! See you there!

Steven Clontz@clontz.org · 10mo ago

These @code4math.org Zoom Convenings have been so much fun this year, and tomorrow won't be any different. Join our open community of mathematicians (defined broadly) tomorrow afternoon to ponder Math in the Age of Social Media! Info at scholarlattice.org/events/b332b...

code4math *for* the memes

Mathematicians discount the power of social media tech to communicate our work at our own peril. 😮 Looking forward to seeing @mathandcobb.bsky.social share about Math in the Age of Social Media this Monday at 3pm Eastern! Join the conversation on our Zulip! code4math.zulipchat.com#narrow/chann...

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

code4math.zulipchat.com

Álvaro Lozano-Robledo@mathandcobb.bsky.social · 2y ago

I am also prolific on TikTok, where I have been posting videos (almost daily!) since 2021. There you can find all sorts of videos about math, with some tiktok-esque comedy bits mixed in. www.tiktok.com/@mathandcobb

#MathSky Be there this Monday at 3pm Eastern!!

Steven Clontz@clontz.org · 10mo ago

Tell your friends! Warn your enemies! @mathandcobb.bsky.social will be sharing his take on Math in the Age of Social Media on Monday at the next @code4math.org Convening! Join the conversation on our Zulip: code4math.zulipchat.com#narrow/chann...

Tell your friends! Warn your enemies! @mathandcobb.bsky.social will be sharing his take on Math in the Age of Social Media on Monday at the next @code4math.org Convening! Join the conversation on our Zulip: code4math.zulipchat.com#narrow/chann...

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

code4math.zulipchat.com

Álvaro Lozano-Robledo@mathandcobb.bsky.social · 2y ago

I am on a mission to publish/post as much math as I can, aimed at a variety of mathematical levels and backgrounds. Here "math" is broadly construed: actual mathematics, meta mathematics, advice about academia, etc. To that end, let me write a thread here about the many ways I share math: