χle Ormsby
@motivickyle.bsky.social
Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.
Abolish ICE. Prosecute all of them.
January 8, 2026 at 3:40 AM
Abolish ICE. Prosecute all of them.
Theorem. It’s the journey, not the destination.
Proof:
Proof:
January 8, 2026 at 3:34 AM
Theorem. It’s the journey, not the destination.
Proof:
Proof:
How did they manage to make 42° feel like 28°?
January 7, 2026 at 7:52 PM
How did they manage to make 42° feel like 28°?
Was someone on here discussing combinatorial interpretations of 2ˣ versus eˣ, or did I hallucinate that?
We have 2ˣ = ∑ₖ (x choose k) with absolute convergence for Re(x)>0, and eˣ = ∑ₖ xᵏ/k! unconditionally. This is not quite generating functions, but feels similar, and seems to say...
We have 2ˣ = ∑ₖ (x choose k) with absolute convergence for Re(x)>0, and eˣ = ∑ₖ xᵏ/k! unconditionally. This is not quite generating functions, but feels similar, and seems to say...
January 7, 2026 at 5:01 PM
Was someone on here discussing combinatorial interpretations of 2ˣ versus eˣ, or did I hallucinate that?
We have 2ˣ = ∑ₖ (x choose k) with absolute convergence for Re(x)>0, and eˣ = ∑ₖ xᵏ/k! unconditionally. This is not quite generating functions, but feels similar, and seems to say...
We have 2ˣ = ∑ₖ (x choose k) with absolute convergence for Re(x)>0, and eˣ = ∑ₖ xᵏ/k! unconditionally. This is not quite generating functions, but feels similar, and seems to say...
The Internet Anagram Server (I, Rearrangement Servant) is the best Web 1.0 site. wordsmith.org/anagram/ -@YokelVictim
Internet Anagram Server / I, Rearrangement Servant : anagram, anagrams, nag a ram, anagrammatize, anagrammatise, anagramme, anagrama, wordplay, word play, anagram creator, anagram solver, anagram find...
Discover the magic of anagrams with the Internet Anagram Server
wordsmith.org
January 7, 2026 at 12:37 PM
The Internet Anagram Server (I, Rearrangement Servant) is the best Web 1.0 site. wordsmith.org/anagram/ -@YokelVictim
Reposted by χle Ormsby
Here’s an algebraic structure: R union {infinity}, with these two binary operations:
+,
and x || y = 1/(1/x + 1/y).
What is this? Each binary operation is independently an abelian group plus an absorbing element. But I don’t see any obvious identities involving both operations.
+,
and x || y = 1/(1/x + 1/y).
What is this? Each binary operation is independently an abelian group plus an absorbing element. But I don’t see any obvious identities involving both operations.
January 7, 2026 at 12:38 AM
Here’s an algebraic structure: R union {infinity}, with these two binary operations:
+,
and x || y = 1/(1/x + 1/y).
What is this? Each binary operation is independently an abelian group plus an absorbing element. But I don’t see any obvious identities involving both operations.
+,
and x || y = 1/(1/x + 1/y).
What is this? Each binary operation is independently an abelian group plus an absorbing element. But I don’t see any obvious identities involving both operations.
Reposted by χle Ormsby
Half saint, half cunt: the Grothendieck-Teichmüller group.
What's your favourite thing that's been made by an absolute cunt?
January 6, 2026 at 9:24 PM
Half saint, half cunt: the Grothendieck-Teichmüller group.
@jsellenberg.bsky.social made a new Sudoku variant called Dyadiku, based on splitting the 8x8 grid into 8 rows, 8 columns, 8 2x4 rectangles, and 8 4x2 rectangles. It's fun, and you can play it at dyadiku.netlify.app. More about it on his blog: quomodocumque.wordpress.com/2026/01/05/d.... 🧮
January 6, 2026 at 7:22 PM
@jsellenberg.bsky.social made a new Sudoku variant called Dyadiku, based on splitting the 8x8 grid into 8 rows, 8 columns, 8 2x4 rectangles, and 8 4x2 rectangles. It's fun, and you can play it at dyadiku.netlify.app. More about it on his blog: quomodocumque.wordpress.com/2026/01/05/d.... 🧮
This is my marathon training thread.
Goal race: Eugene Marathon, April 26
Day 1: Kicked things off with a 13-mile long run along the riverfront. Pace wasn’t great but happy to be moving consistently in zone 2. strava.app.link/FTrhfSs9GZb
Goal race: Eugene Marathon, April 26
Day 1: Kicked things off with a 13-mile long run along the riverfront. Pace wasn’t great but happy to be moving consistently in zone 2. strava.app.link/FTrhfSs9GZb
strava.app.link
January 6, 2026 at 1:17 AM
This is my marathon training thread.
Goal race: Eugene Marathon, April 26
Day 1: Kicked things off with a 13-mile long run along the riverfront. Pace wasn’t great but happy to be moving consistently in zone 2. strava.app.link/FTrhfSs9GZb
Goal race: Eugene Marathon, April 26
Day 1: Kicked things off with a 13-mile long run along the riverfront. Pace wasn’t great but happy to be moving consistently in zone 2. strava.app.link/FTrhfSs9GZb
11-minute faculty meeting in which two committee chairs didn't show up to give reports. Can I get a 'hell yeah'?
January 5, 2026 at 9:29 PM
11-minute faculty meeting in which two committee chairs didn't show up to give reports. Can I get a 'hell yeah'?
This is a fabulous example of a non-cancellative commutative monoid. Note that its group completion is ℤ{π} and the group completion homomorphism is not injective.
Now whether this monoid exists 'in nature'....
Now whether this monoid exists 'in nature'....
January 5, 2026 at 9:16 PM
This is a fabulous example of a non-cancellative commutative monoid. Note that its group completion is ℤ{π} and the group completion homomorphism is not injective.
Now whether this monoid exists 'in nature'....
Now whether this monoid exists 'in nature'....
Circle back to that? And increase my winding number?
January 5, 2026 at 8:09 PM
Circle back to that? And increase my winding number?
You know you've done something right with your life when a friend sends you a 20-page 5-year plan for your Russian lit book club.
January 5, 2026 at 7:17 PM
You know you've done something right with your life when a friend sends you a 20-page 5-year plan for your Russian lit book club.
😤✋ incarcerate
🦀👉 incarcinate
🦀👉 incarcinate
January 5, 2026 at 6:02 PM
😤✋ incarcerate
🦀👉 incarcinate
🦀👉 incarcinate
Teaching the 9yo circuits with Arduino. Just had a very pedantic internal debate over whether circuits “in series” are mathematical sequences or series….
January 5, 2026 at 1:42 AM
Teaching the 9yo circuits with Arduino. Just had a very pedantic internal debate over whether circuits “in series” are mathematical sequences or series….
Reposted by χle Ormsby
Putting together slides for a talk on brevity next week and was reminded of this: one of the shortest scientific papers I know of.
1/2
1/2
January 4, 2026 at 5:13 PM
Putting together slides for a talk on brevity next week and was reminded of this: one of the shortest scientific papers I know of.
1/2
1/2
*points at gyre* There’s your problem. Widening.
January 4, 2026 at 12:59 PM
*points at gyre* There’s your problem. Widening.
Reposted by χle Ormsby
Might be worth reminding any AMS officers or council members you see next week #disruptJMM
On 22 Feb 2022, shortly before the planned host of that year's International Congress of Mathematicians launched a "special military operation" in the territory of a sovereign neighbour, the American Mathematical Society released this statement: www.ams.org/news?news_id...
January 3, 2026 at 8:26 PM
Might be worth reminding any AMS officers or council members you see next week #disruptJMM
Reposted by χle Ormsby
The world must boycott the World Cup and the Olympics.
It is both the only moral choice and will actually get the attention of these dead-eyed clout demons.
It is both the only moral choice and will actually get the attention of these dead-eyed clout demons.
January 3, 2026 at 4:45 PM
Reposted by χle Ormsby
In this case, I am apparently paying the tariff and an exorbitant "storage fee" to FedEx. If any US'ians are planning international purchases, I strongly recommend using a different shipper.
January 3, 2026 at 10:03 PM
In this case, I am apparently paying the tariff and an exorbitant "storage fee" to FedEx. If any US'ians are planning international purchases, I strongly recommend using a different shipper.
lol FedEx is asking me to pay import tax on a package they already delivered. Why would I do that? Also the import tax is greater than the price of the item!
January 3, 2026 at 9:37 PM
lol FedEx is asking me to pay import tax on a package they already delivered. Why would I do that? Also the import tax is greater than the price of the item!
Shorts in the snow, but also never removing their coats indoors — has science studied nine-year olds’ incredible powers of homeostasis?
January 3, 2026 at 9:28 PM
Shorts in the snow, but also never removing their coats indoors — has science studied nine-year olds’ incredible powers of homeostasis?
Bad news for all the haters out there: I’m back.
January 3, 2026 at 6:44 PM
Bad news for all the haters out there: I’m back.
Anyway, here’s this wacky art/comic book(?) I found featuring “Euclids” which are reengineered C-3PO figurines.
January 3, 2026 at 5:20 PM
Anyway, here’s this wacky art/comic book(?) I found featuring “Euclids” which are reengineered C-3PO figurines.