code4math Community
@code4math.org
Consortium of Digital Ecosystems for Mathematics | Join our AIMath.org community of researchers and developers at code4math.org
#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...
Public view of code4math | Zulip team chat
Browse the publicly accessible channels in code4math without logging in.
code4math.zulipchat.com
September 9, 2026 at 6:21 PM
#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...
Reposted by code4math Community
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....
Palomar — Lean-verified mathematics
A public registry of Lean-verified mathematical results.
palomar-registry.org
August 19, 2026 at 3:00 AM
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....
Reposted by code4math Community
📢 The June 2026 arXiv articles are now in ar5iv, with three big changes:
Rust, NYC, AI 🧵1/5
Rust, NYC, AI 🧵1/5
🗓️ The May 2026 arXiv articles are now in ar5iv.
🗓️ The April 2026 arXiv articles are now in ar5iv.
July 5, 2026 at 5:13 PM
📢 The June 2026 arXiv articles are now in ar5iv, with three big changes:
Rust, NYC, AI 🧵1/5
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...
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
April 25, 2026 at 2:22 AM
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...
code4math.zulipchat.com#narrow/chann...
Reposted by code4math Community
#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...
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...
Milestones of Autonomous Mathematics | ICARM
icarm.io
April 17, 2026 at 2:19 AM
#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...
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...
Reposted by code4math Community
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
April 3, 2026 at 9:14 PM
Enhancing digital accessibility of mathematics, hosted by the AMS: hub.ams.org/courses/1291...
Reposted by code4math Community
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
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
March 23, 2026 at 8:15 PM
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
code4math.zulipchat.com#narrow/chann...
#MathSky
Reposted by code4math Community
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!
February 25, 2026 at 1:58 AM
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!
Reposted by code4math Community
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!
Visit us at code4math.org/events to learn more or add our calendar to your own!
code4math
Consortium of Digital Ecosystems for Mathematics
code4math.org
January 14, 2026 at 8:25 PM
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!
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!
January 7, 2026 at 1:59 PM
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!
Reposted by code4math Community
January 6, 2026 at 10:17 PM
January 6, 2026 at 10:17 PM
Reposted by code4math Community
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
#JMM2026 #MathSky
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)
- 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)
January 6, 2026 at 4:05 PM
Reposted by code4math Community
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.
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
#JMM2026 #MathSky
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)
- 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)
January 6, 2026 at 7:39 PM
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!
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)
- 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)
January 5, 2026 at 3:25 PM
#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!
Do you like math, computing, and community? Then we'll see you at the AIM booth now until noon!
Reposted by code4math Community
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)
- 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)
January 2, 2026 at 3:29 PM
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)
- 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)
- 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)
January 2, 2026 at 3:29 PM
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)
- 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)
Reposted by code4math Community
Free for MAA and AMS members! Not a member and don't have $15? The MathTech.org team can help - email [email protected] to learn more.
MAA workshop on accessible course materials with @mitchkeller.phd and @oscarlevin.com! Free for AMS and MAA members. events.zoom.us/ev/AjygoFh_y...
Accessible course materials: a practical guide
events.zoom.us
December 7, 2025 at 9:10 PM
Free for MAA and AMS members! Not a member and don't have $15? The MathTech.org team can help - email [email protected] to learn more.
Twenty minutes! Join the conversation on Zulip: code4math.zulipchat.com#narrow/chann...
December 1, 2025 at 7:39 PM
Twenty minutes! Join the conversation on Zulip: code4math.zulipchat.com#narrow/chann...
Reposted by code4math Community
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...
scholarlattice.org/events/88a97...
November 30, 2025 at 11:53 PM
Tomorrow!! GitHub for the people!!
Reposted by code4math Community
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...
scholarlattice.org/events/88a97...
November 20, 2025 at 9:57 PM
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...
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...
scholarlattice.org/events/88a97...
November 20, 2025 at 9:57 PM
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...
scholarlattice.org/events/88a97...
Reposted by code4math Community
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.
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.
November 12, 2025 at 10:02 PM
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.
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 [email protected] to connect with us!
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 [email protected] to connect with us!
code4math
Consortium of Digital Ecosystems for Mathematics
code4math.org
November 11, 2025 at 10:17 PM
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 [email protected] to connect with us!
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 [email protected] to connect with us!