iiinova — where your digital self keeps evolving

code4math Community @code4math.org · 09/09/2026

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

code4math.zulipchat.com

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

032

Reposted by code4math Community

Terence Tao @teorth.bsky.social · 19/08/2026

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

Palomar — Lean-verified mathematics

A public registry of Lean-verified mathematical results.

37619

Reposted by code4math Community

Deyan Ginev @dginev.bsky.social · 05/07/2026

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

124

code4math Community @code4math.org · 25/04/2026

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

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

141

Reposted by code4math Community

Prof Christelle Vincent @xl772.bsky.social · 17/04/2026

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

icarm.io

Milestones of Autonomous Mathematics | ICARM

133

Reposted by code4math Community

Steven Clontz @clontz.org · 23/03/2026

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

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

184

code4math Community @code4math.org · 25/02/2026

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!

112

Reposted by code4math Community

Steven Clontz @clontz.org · 14/01/2026

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

code4math

Consortium of Digital Ecosystems for Mathematics

167

code4math Community @code4math.org · 07/01/2026

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!

132

Reposted by code4math Community

code4math Community @code4math.org · 06/01/2026

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

An event space marked as closed for code4math

021

Reposted by code4math Community

Prof Christelle Vincent @xl772.bsky.social · 06/01/2026

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

262

Reposted by code4math Community

Steven Clontz @clontz.org · 06/01/2026

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.

011

code4math Community @code4math.org · 05/01/2026

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

033

Reposted by code4math Community

code4math Community @code4math.org · 02/01/2026

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)

144

code4math Community @code4math.org · 02/01/2026

144

Reposted by code4math Community

MathTech.org @mathtech.org · 07/12/2025

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.

088

Reposted by code4math Community

Prof Christelle Vincent @xl772.bsky.social · 30/11/2025

Tomorrow!! GitHub for the people!!

011

Reposted by code4math Community

code4math Community @code4math.org · 20/11/2025

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

063

code4math Community @code4math.org · 20/11/2025

063

Reposted by code4math Community

Steven Clontz @clontz.org · 12/11/2025

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.

mathtech.org

MathTech.org

Showcasing open-source technologies that innovate mathematics education and communication.

053

code4math Community @code4math.org · 11/11/2025

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!

code4math.org

code4math

Consortium of Digital Ecosystems for Mathematics

022

Reposted by code4math Community

code4math Community @code4math.org · 08/11/2025

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

code4math.zulipchat.com

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

045

Reposted by code4math Community

Steven Clontz @clontz.org · 10/11/2025

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

021

code4math Community @code4math.org · 08/11/2025

code4math.zulipchat.com

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

045

Reposted by code4math Community

Prof Christelle Vincent @xl772.bsky.social · 07/11/2025

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

163

Reposted by code4math Community

Steven Clontz @clontz.org · 06/11/2025

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

code4math.zulipchat.com

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

067

Reposted by code4math Community

Python Software Foundation @python.org · 27/10/2025

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

python.org

The official home of the Python Programming Language

12363792728

Reposted by code4math Community

code4math Community @code4math.org · 21/10/2025

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

023

Reposted by code4math Community

Peter Kagey @peterkagey.com · 26/10/2025

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

peterkagey.com

RSS for the OEIS

An RSS feed based on searches on the On-Line Encyclopedia of Integer Sequences

0156

code4math Community @code4math.org · 21/10/2025

023

Reposted by code4math Community

Steven Clontz @clontz.org · 10/10/2025

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!

aimath.org

AIM Research Communities | American Inst. of Mathematics

2155

Reposted by code4math Community

W. Ethan Duckworth @weduckworth.bsky.social · 07/10/2025

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

032

Reposted by code4math Community

Steven Clontz @clontz.org · 06/10/2025

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!

lurch.plus

Lurch Plus!

This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.

042

code4math Community @code4math.org · 05/10/2025

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

lurch.plus

Lurch Plus!

This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.

032

code4math Community @code4math.org · 24/09/2025

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

cmu.wd5.myworkdayjobs.com

Innovation Engineer - Office of the Vice President for Research

Carnegie Mellon University is a private, global research university that stands among the world’s most renowned education institutions. With ground-breaking brain science, path-breaking performances, ...

021

Reposted by code4math Community

Terence Tao @teorth.bsky.social · 23/09/2025

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

mathoverflow.net

List of crowdsourced math projects actively seeking participants

I believe that with the advent of modern online collaboration platforms (such as Github), proof assistant languages (such as Lean), and (potentially) AI tools, there are many emerging opportunities...

29527

code4math Community @code4math.org · 15/09/2025

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

preview.scholarlattice.org

011

Reposted by code4math Community

Prof Christelle Vincent @xl772.bsky.social · 15/09/2025

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

1139

code4math Community @code4math.org · 12/09/2025

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

pretextbook.org

PreTeXt

053

code4math Community @code4math.org · 08/09/2025

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!

code4math.zulipchat.com

Public view of code4math | Zulip team chat

Browse the publicly accessible channels in code4math without logging in.

100

code4math Community @code4math.org · 05/09/2025

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!

arxiv.org

arXiv.org e-Print archive

032

code4math Community @code4math.org · 05/09/2025

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.

022

code4math Community @code4math.org · 04/09/2025

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

Screenshot of Lean/Mathlib source code and VS Code extension.

011

code4math Community @code4math.org · 03/09/2025

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

houseofgraphs.org

House of Graphs

055