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!