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

Lots of love for topology.pi-base.org here -- good thing we have a workshop for new contributors next week: preview.scholarlattice.org/collections/...

This is why I only copy books into Minecraft from Project Gutenberg 😂

My kid is so proud that she's transcribing her Magic Treehouse book into Minecraft. Too bad I'm now forced to report her to Random House's lawyers for infringing on their intellectual property rights. 😤 #YouWouldntDownloadAChildrensBook

Every 5x5 Nonogram: The Single Player Game is coming soon and is now available to pre-order! 🤖 Pre-register on Google Play (Android): play.google.com/store/apps/d...  Pre-order on App Store (iOS): apps.apple.com/us/app/every... #nonogram #picross #every5x5nonogram

Renaissance Philanthropy have announced the first 29 grants they've given from their AI For Math fund www.renaissancephilanthropy.org/ai-for-math-... . Interesting to see that around half of the funded proposals mention Lean.

Join us! southalabama.zoom.us/j/9881975084...

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

This is starting soon! See you code4math.zulipchat.com#narrow/chann...

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

Extremist murders by ideology, 2013 to 2022. www.pbump.net/o/reassessin...

Already got on the jumbotron lol

Hear me out: What if we forced mega-wealthy tech companies to make screen readers that don’t suck instead of forcing academics to reinvent the way they write?

The only choice when your alma mater faces off against your employer. #WarEagle #GoJags

Is it "cut out high-stakes exams and allow multiple opportunities for demonstrating learning and receiving feedback" nah it's surveillance

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

Watching a runner with the alias Topology Goddess play Celeste on Flame Fatales and realizing how much more I could and probably should be doing for mathematics outreach.

Lesson learned: when demoing how to go through my class "peer feedback" process, I (as a bit) said my peer reviewer was my mom. So yeah, getting a lot of moms chosen as "peer" reviewers, rather than other college students as I intended lol

Are you ready to align your grading practices with your values? Join us December 17–18 for the Alternative Grading Institute (online), which will bring together faculty from across higher education for a two-day, hands-on experience in standards-based, specifications, and collaborative grading.

Also I screwed up and said Latveria in place of Latvia in class, though I suppose I wouldn't put it past Doctor Doom to generically engineer women three times the size of your average Indian woman.

I don’t know who needs to hear this but I love math

Teaching a "math in society" course is fun, 10/10, would recommend

At this morning's opening session of the code4math opening (preview.scholarlattice.org/collections/...), I learned that in LEAN one can prove the following theorem: There exists a natural number a such that a - (a + 1) = 0. (1/3)

Not gonna lie, I didn't expect the last line to be "It’s a magical world, Jeffrey, ol’ buddy… let’s go exploring!"

T-1 hour for this presentation. This is the first ever talk (to my knowledge) being given on the new NSF Institute for Computer-Aided Reasoning in Mathematics, so it should be a very informative session. I'm excited to hear Jeremy describe how they will use computing to support human mathematicians.

people who exclude zero from the natural numbers are the same people who wouldn't have accepted that zero was a number back in the day

T-1 hour for this presentation. This is the first ever talk (to my knowledge) being given on the new NSF Institute for Computer-Aided Reasoning in Mathematics, so it should be a very informative session. I'm excited to hear Jeremy describe how they will use computing to support human mathematicians.

Jan is now live with the House of Graphs!

Y'all, I'm stuck in a metal tube careening over the Atlantic, but I hope you join this call on the House of Graphs in half an hour! I'm so excited for the Grand Opening of @code4math.org and the work we're doing to support communities engaged with math research infrastructure!

Y'all, I'm stuck in a metal tube careening over the Atlantic, but I hope you join this call on the House of Graphs in half an hour! I'm so excited for the Grand Opening of @code4math.org and the work we're doing to support communities engaged with math research infrastructure!

Another request for help on my math of games and puzzles gen ed college course pitch. What should I call it? "<Stupid Pun>: The Math of Puzzles and Games" is the obvious format---what should the pun be? Other format suggestions welcome too. #mathsky #boardgamesky #puzzles

Happening in 6 short hours!! #MathSky Zoom links on Scholar Lattice (link in enclosed post), no need to register in advance 🤩

uhoh

I am a 🎩🧐scholar🧐🎩

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!

Oh my gosh Blue Prince is a pun isn't it.

Fun fact: it's impossible to remember all the cool math things because there's infinitely many of them. Take a finite set of cool math things; the set itself is another cool math thing missing from the set.

A real problem I have is people tell me cool math things all the time and I can’t remember it all. Like some told me something cool about Fourier series recently and I can’t remember it all

This is what topologists actually believe

If you want to see complete lists of all platypus graphs with a given lower bound on the girth, you are in luck. They are available at houseofgraphs.org/meta-directo...

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.

That’s not all for Monday! At 12 Pacific/9am Hawaii time, we’ll have two more talks: ✨ Jeremy Avigad introducing the new NSF-funded math institute ICARM; then ✨ Deyan Ginev on accessibility and HTML papers on the arXiv Zoom links on Scholar Lattice! preview.scholarlattice.org/events/9ab07...

#MathSky Join us next Monday (Sept 8) at 9am Eastern/3pm Central European time for talks on 💫 House of Graphs (a database of interesting graphs!); and on 💫 Mathlib (a Lean package containing tons of useful math constructions!) Beginners welcome!! preview.scholarlattice.org/events/c97ee...

#HoagieHomies is "bread and stuff" a sufficient definition for sandwich?

Idea stolen from @sbagley.bsky.social

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

There’s also the Gromov-Hausdorff distance, which makes isometry classes of compact metric spaces into a metric space! en.m.wikipedia.org/wiki/Gromov%...

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