code4math Community

#MathSky share your novel use of computing for mathematical reasoning at our JMM special session. More info on our Zulip: code4math.zulipchat.com#narrow/chann...

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

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...

#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...

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

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

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!

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

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

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

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.

#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!

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.

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

Tomorrow!! GitHub for the people!!

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.

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...

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

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...

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

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...

Guest poster @mitchkeller.phd shares with us how to make partially handwritten slides accessible! 👀 mathtech.org/2025/10/27/a...

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-... 🧵

Save the date! @mathandcobb.bsky.social will share with our community his take on "Math in the Age of Social Media" during our November 2025 Zoom convening held on November 10 at 3pm Eastern: scholarlattice.org/events/b332b...

I wrote a blog post about how I made an RSS feed that allows you to get updated when new sequences matching your search are added to the On-Line Encyclopedia of Integer Sequences (OEIS).

Save the date! @mathandcobb.bsky.social will share with our community his take on "Math in the Age of Social Media" during our November 2025 Zoom convening held on November 10 at 3pm Eastern: scholarlattice.org/events/b332b...

Did you know @code4math.org is an AIM Research Community (ARC)? ARCs are collaborative efforts involving at least 40 people, organized around a particular area of mathematics research. Proposals for new ARCs are now open and due November 1! Visit aimath.org/programs/researchcommunities for more!

This is the first formal proof assistant that I could imagine using with students.

It's creepy and its kooky Mysterious and spooky It's altogether ooky It's Lurch Plus! math verification. 👌👌 I... didn't overthink this bit. But you should join the @code4math.org community via Zoom in about 50 minutes to learn more about the lurch.plus proof assistant anyway!

Join us tomorrow 3pm Eastern on Zoom for our October 2025 Concerning. preview.scholarlattice.org/events/77211... Ken Monks will be sharing about the Lurch Plus project: write natural language proofs that are verified by computer?! lurch.plus

The new NSF Institute for Computer-Aided Reasoning (ICARM) is hiring Innovation Engineers! Contact Director Jeremy Avigad (avigad@cmu.edu) with any questions you have about this position! cmu.wd5.myworkdayjobs.com/CMU/job/Pitt... code4math Zulip discussion: code4math.zulipchat.com#narrow/chann...

I started a crowdsourced meta-project to list all the other crowdsourced mathematical research projects that are currently active and seeking participants: mathoverflow.net/questions/50...

Our final talks begin in 90 minutes feat. @jeremykun.com and David Roe! Info at preview.scholarlattice.org/collections/...

#MathSky! We (@code4math.org) have MORE talks tomorrow Mon Sept 15!! 🌟 at 9am Eastern, Accessible papers with PreTeXt 🌟 at 3pm Eastern, Intro to the LMFDB 🌟 at 4pm Eastern, Lessons from software on managing complexity (Note the last two talks were just switched around to accommodate scheduling!)

Our Grand Opening continues on Monday as @oscarlevin.com shows us how PreTeXtBook.org can help authors create accessible and interactive scholarly documents. Join us Sep 15 at 9am Eastern. preview.scholarlattice.org/collections/...