code4math Community
@code4math.org
Consortium of Digital Ecosystems for Mathematics | Join our open community of researchers and developers at code4math.org
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!
Reposted by code4math Community
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...
Join the conversation on our Zulip! code4math.zulipchat.com#narrow/chann...
November 8, 2025 at 10:25 PM
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...
Join the conversation on our Zulip! code4math.zulipchat.com#narrow/chann...
Reposted by code4math Community
"tomorrow afternoon" is now "in about 80 minutes"! See you there!
These @code4math.org Zoom Convenings have been so much fun this year, and tomorrow won't be any different. Join our open community of mathematicians (defined broadly) tomorrow afternoon to ponder Math in the Age of Social Media! Info at scholarlattice.org/events/b332b...
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...
Join the conversation on our Zulip! code4math.zulipchat.com#narrow/chann...
November 10, 2025 at 6:39 PM
"tomorrow afternoon" is now "in about 80 minutes"! See you there!
code4math
*for* the memes
*for* the memes
November 9, 2025 at 6:51 PM
code4math
*for* the memes
*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...
Join the conversation on our Zulip! code4math.zulipchat.com#narrow/chann...
November 8, 2025 at 10:25 PM
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...
Join the conversation on our Zulip! code4math.zulipchat.com#narrow/chann...
Reposted by code4math Community
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#narrow/chann...
November 7, 2025 at 2:02 AM
Reposted by code4math Community
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#narrow/chann...
November 6, 2025 at 4:57 PM
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#narrow/chann...
Reposted by code4math Community
Guest poster @mitchkeller.phd shares with us how to make partially handwritten slides accessible! 👀
mathtech.org/2025/10/27/a...
mathtech.org/2025/10/27/a...
Making Partially-Handwritten Slides Accessible
The Problem As instructors work to make digital course materials accessible to individuals who use screen reader technology, a common question is how to approach slides. One common instructional stra...
mathtech.org
October 31, 2025 at 5:22 PM
Guest poster @mitchkeller.phd shares with us how to make partially handwritten slides accessible! 👀
mathtech.org/2025/10/27/a...
mathtech.org/2025/10/27/a...
Reposted by code4math Community
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-...
🧵
🧵
The official home of the Python Programming Language
www.python.org
October 27, 2025 at 2:47 PM
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-...
🧵
🧵
Reposted by code4math Community
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...
scholarlattice.org/events/b332b...
October 21, 2025 at 1:27 PM
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...
scholarlattice.org/events/b332b...
Reposted by code4math Community
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).
RSS for the OEIS
An RSS feed based on searches on the On-Line Encyclopedia of Integer Sequences
peterkagey.com
October 26, 2025 at 5:54 PM
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...
scholarlattice.org/events/b332b...
October 21, 2025 at 1:27 PM
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...
scholarlattice.org/events/b332b...
Reposted by code4math Community
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!
Proposals for new ARCs are now open and due November 1! Visit aimath.org/programs/researchcommunities for more!
AIM Research Communities | American Inst. of Mathematics
aimath.org
October 10, 2025 at 12:42 PM
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!
Proposals for new ARCs are now open and due November 1! Visit aimath.org/programs/researchcommunities for more!
Reposted by code4math Community
This is the first formal proof assistant that I could imagine using with students.
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
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!
This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.
lurch.plus
October 7, 2025 at 10:42 AM
This is the first formal proof assistant that I could imagine using with students.
Reposted by code4math Community
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!
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!
October 6, 2025 at 6:07 PM
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!
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
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!
This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.
lurch.plus
October 5, 2025 at 7:50 PM
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
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...
cmu.wd5.myworkdayjobs.com/CMU/job/Pitt...
code4math Zulip discussion: code4math.zulipchat.com#narrow/chann...
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, ...
cmu.wd5.myworkdayjobs.com
September 24, 2025 at 2:50 PM
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...
cmu.wd5.myworkdayjobs.com/CMU/job/Pitt...
code4math Zulip discussion: code4math.zulipchat.com#narrow/chann...
Reposted by code4math Community
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...
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...
mathoverflow.net
September 23, 2025 at 4:08 PM
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/...
September 15, 2025 at 5:35 PM
Our final talks begin in 90 minutes feat. @jeremykun.com and David Roe! Info at preview.scholarlattice.org/collections/...
Reposted by code4math Community
#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!)
🌟 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!)
September 15, 2025 at 1:09 AM
#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!)
🌟 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/...
PreTeXt
PreTeXt
PreTeXtBook.org
September 12, 2025 at 11:04 AM
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!
September 8, 2025 at 12:24 PM
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!
September 5, 2025 at 4:42 PM
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!