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 [email protected] 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 ([email protected]) 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/...

This talk begins in about half an hour, followed by a presentation on Lean/mathlib. Say hello in our Zulip chat at code4math.zulipchat.com#narrow/chann... and get the Zoom link+passcode to join the call!

Our final Sep 8 presentation will follow: Deyan Ginev will show us the future of accessible research papers written in LaTeX, based upon the work he's doing for arXiv.org!

Then in the afternoon (3pm Eastern), Jeremy Avigad will share an update on the newest NSF Institute for Computer-Aided Reasoning in Mathematics (ICARM), dedicated to empowering mathematicians to take advantage of new technologies for mathematical reasoning.

Yaël Dillies will round out our first morning of presentations with Mathlib: Maintaining a monolith. Come join us Sep 8 as we learn about the new frontiers of formalizing mathematical proofs in Lean! preview.scholarlattice.org/collections/...

Our first featured presentation at the code4math.org Grand Opening will be featuring houseofgraphs.org — a database of *interesting* graphs, featuring metadata and search to help researchers in the field. Join us 9am Eastern on September 8! preview.scholarlattice.org/collections/...

Join us virtually next Monday and the following one!! Each day, one session begins at 9am Eastern/3pm Central European time, and the other at noon Pacific/9am Hawaii time, to cover as many time zones as we can so hopefully you can make it at least a little while! #MathSky

To celebrate our new recognition as an AIMath.org Research Community, we are hosting a virtual Grand Opening Symposium on September 8 and 15! Using the Zulip and Zoom apps, we will host seven presentations and tutorials facilitated by members of our community.

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!

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

Tomorrow is now today! See you in room 613!

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

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

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

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.

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

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!