Please encourage people to apply for the MathAndCobb Fund for ME!
youtube.com/shorts/5cVgy...
27.02.2026 13:42
👍 5
🔁 5
💬 1
📌 0
Please encourage people to apply for the MathAndCobb Fund for ME!
youtube.com/shorts/5cVgy...
Do you have questions for ICARM? Ask them here on the public @code4math.org Zulip chat: code4math.zulipchat.com#narrow/chann...
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!
code4math is an AIM Research Community dedicated to the advancement of mathematical research through the development of high-quality sociotechnical infrastructure: software, databases, communities, and more! Connect with us online at code4math.org!
Group of mathematicians at a bar
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!
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)
Members of our steering committee will be around the AIMath.org booth in the Exhibit Hall — come learn about our community and how you can get connected!
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!!
Screenshot of Lean/mathlib development environment running in a web browser
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...
Screenshot of Lean/mathlib development environment running in a web browser
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!
Zohran Mamdani logo meme, reading "consortium of digital ecosystems for mathematics"
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...