Very unimpressed with ChatGPT Codex. I asked it to write a program that identifies whether a given program will halt, and no matter how many tokens I purchase it won't give me the answer.

Meet Marcus Garrick Miller, a saxophonist working at the intersection of #math and #music. As part of our #InfiniteSums initiative, Miller will be performing at the @bklynlibrary.bsky.social's#math#music#InfiniteSumscoming #PiDay event: https://infinitesums.simonsfoundation.org/math-ambassadors-marcus-garrick-miller/

Well, math terminology being what it is, something like this was bound to happen eventually. (If you're curious about why these balls are so puny, the full talk is up on YouTube)

Waking up to my room pulsating red and blue and a barely audible high-pitched whir because my house is on the boundary of a police perimeter and they’ve got a drone looking for someone.

According to new research — including the discovery of a long lost letter — Cantor plagiarized Dedekind's proof that the algebraic numbers are countable 🙀

This is the most mathematician coded thing he has done all campaign.

Kiddo scored the best possible flag football number.

In the national divorce, MAGA gets men's hockey, but Woke 2 gets women's hockey, pro football, free speech, and guns? Is this what winning feels like?

🎉🎉🎉🎉🎉 "Former Harvard President Larry Summers will resign from his academic and faculty appointments at Harvard at the end of the academic year, relinquishing his University Professorship — Harvard’s highest faculty distinction — and remaining on leave until that time"

WANT bellwethercoffee.com

Le bonhomme d’Ampère doesn't look so bon.

One metacognition please. 🧮

Not sure who needs to hear this, but the reason that limit "defining" Riemann integrals is so awkward is because its really the limit of a net.

What an absolute clown of a continuous function.

I was asking myself: Could I create mathematical art using just the bare minimum of tools that usually come with an operating system? (No python, no JS, no frameworks.)

I'm adding a boycott of the SOTU to a long list of other things I boycott, like warm mayonnaise, wet socks, and whatever is growing in the reusable straw I keep meaning to clean.

There are a lot of terrible things to hold against the folks currently in power in the US. One of them is the catastrophic damage to a generation of young scientists. Some of the best students I've known are totally locked out of grad study by this funding climate. Worse than the first covid year.

Bridge goose is watching

Pretty sure that a non-Reed affiliate's AI agent just attempted to fill out a Reed-only google form (because I got an access request from [Oracle executive's name][email protected]). The future is going to be so annoying.

Where can I read good reporting on the situation in Mexico? My feed here is tertiary and useless (bashing screenshots of Mike Lee's X post).

I think I found a binary decision tree! 😂

The Eye of Sautéeron

Small Rhombicosidodecahedron if u even care. I know it can be made with a single (incredibly long) modelling balloon because every vertex only has four lines coming from it, so it has an ✨Eulerian path✨

Odd we went with Oregonians when Oregonisms was right there.

I’ve never worked in food service, but my high school job was renewing driver’s licenses at the DMV and wow am I grateful for the interpersonal skills that taught me.

Golly I wonder if my school has some work equity issues if a single faculty member is point person for three courses, three theses, a decennial review report, a committee report, a grant application for the institution, and their department's course schedule for next year?

My students writing exam solutions:

Well now I know how I’m introducing Euclid’s algorithm to my discrete math students 🤩

Need a book recommendation. Something literary fiction, by an author you love who isn't Franzen or Delillo or all of those folks everybody knows, someone who you think is vastly underappreciated. DFW recs earn blocks.

Dang that's a big checkerboard. I made a draggy tromino gadget! It doesn't get as big as yours tho: joshuahhh.com/tromino/

Realized our inductive proof that L-shaped trominos tile a 2ⁿ×2ⁿ checkerboard with one corner removed could just as easily be a computer program.

It's induction day in discrete math, but I forgot my dominos! 🙀 Thankfully domino.roilipman.com exists.

How was the spherical trigonometry enthusiast scolded when they missed a meal? . . . You can't haversine and eat it.

"Math is not true because we tell kids it is true; math is true because they can find that truth for themselves. We can find these truths together."

Should I buy a lottery ticket or something?

2026 Mathical Book Prizes announced, including bluesky's very own @triangleman.bsky.social! www.mathicalbooks.org/2026/02/2026...

AI has given slop a bad name.

Reports of my death are greatly exaggerated.

Molly Seidel with a Western States golden ticket? Des Linden registered for Marathon des Sables? 👀

🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉

According to my gym's welcome brochure, if a shirtless individual wearing blue jeans enters the sauna, you should quickly yet inconspicuously exit and then pull the fire alarm.

My coauthor Dave Perkinson made this diagram to explain the binomial theorem and I think it's the perfect distillation. Here's our draft book, Discrete Structures, if you want more: kyleormsby.github.io/files/113spr... 🧮

Plato's Honey Head is the optimal name for a mead hall.

I did this, and the reading the responses is sparking tremendous joy. kyleormsby.github.io/math342sprin...

Blake tells us the tygers of wrath are wiser than the horses of instruction, but is conspicuously silent regarding fire horses. (Image via @kayapress.bsky.social.)

And this, children, is why you don't listen to analysts OR topologists when they want to discuss counterexamples. There are things innocent eyes are not meant to see.

Cursed topology du jour: A theorem of Sierpiński says that any two countable metrizable spaces with no isolated points are homeomorphic. As such, ℚ as a subspace of ℝ and ℚ as a subspace of ℚₚ are homeomorphic. But the identity map between these topologies on ℚ is not a homeomorphism! 🧮

Getting my hair — indeed, multiple hairs — cut today. Hoping my stylist can successfully interpret "gender nonconforming cyberpunk conceptual artist mullet".

Homotopy theorists against fascism.