With the end of the summer approaching, as I am preparing for my fall classes, I found this note I wrote to myself back in June. Good job, me.
ꭓle Ormsby 𓆙
@motivickyle.bsky.social
Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.
For my book, I'm exploring all kinds of space-filling curves, including approximations using physical simulation of particles and springs. Animations coming soon. This demonstrates very high Kolmogorov complexity compared to algorithmic recursive techniques. #fractals
The Ender's Game sequels really failed to explore how much Andrew and Jane were invading the fuck out of everyone's privacy, huh?
The arXiv preprint server now has a CEO and Board of Directors: blog.arxiv.org/2026/07/30/a...
arXiv welcomes inaugural CEO and founding Board of Directors
arXiv welcomes inaugural CEO and founding Board of Directors
blog.arxiv.org
You know those viral fb posts that reduce to order of operations quibbling? Please deploy this associahedron-based interactive viewer in order to subvert those threads with interesting mathematics: kyleormsby.github.io/parse-explor... 🧮
ꭓle Ormsby 𓆙@motivickyle.bsky.social · 2d agoResolving ambiguity in order of operations is easy: simply enumerate all possible parsings of a given expression, compute each value, and then average. E.g., for 9-3-3÷3, ((9−3)−3)÷3 = 1 (9−(3−3))÷3 = 3 (9−3)−(3÷3) = 5 9−(3−(3÷3)) = 7 9−((3−3)÷3) = 9 so 9-3-3÷3 = (1+3+5+7+9)/5 = 5. Voilà! 🧮
Uh, 9yo just created his own fan-powered RC boat unsupervised???
How can your campus and faculty advance American security interests, deliver academic programs that meet urgent workforce needs, and contribute materially to the Nation’s prosperity?
Stone Cold Steve Austin Stunner
Alt: Stone Cold Steve Austin Stunner
static.klipy.com
Resolving ambiguity in order of operations is easy: simply enumerate all possible parsings of a given expression, compute each value, and then average. E.g., for 9-3-3÷3, ((9−3)−3)÷3 = 1 (9−(3−3))÷3 = 3 (9−3)−(3÷3) = 5 9−(3−(3÷3)) = 7 9−((3−3)÷3) = 9 so 9-3-3÷3 = (1+3+5+7+9)/5 = 5. Voilà! 🧮
Jimothy in old age attending Pride.
The Public Domain Review@publicdomainrev.bsky.social · 2d agoSome 15th-century rainbow-coloured beasts to brighten your Monday: https://publicdomainreview.org/collection/rainbow-coloured-beasts-from-15th-century-book-of-hours?utm_content=bufferec024&utm_medium=social&utm_source=facebook.com&utm_campaign=buffer
Thanks to Veritasium, no parent can explain Hooke’s Law to their child without being informed that the relationship is only linear below the yield point.
How should we think about undergraduate math theses - expository or otherwise - in the age of AI? (This is on my mind as the Fall semester approaches)
If mathematicians are going to call the dimension of the image of a linear transformation its 𝑟𝑎𝑛𝑘, they could at least have the courtesy to call the dimension of its kernel its 𝑓𝑖𝑙𝑒, whence 𝑟𝑎𝑛𝑘-𝑎𝑛𝑑-𝑓𝑖𝑙𝑒 𝑡ℎ𝑒𝑜𝑟𝑒𝑚 could replace 𝑟𝑎𝑛𝑘-𝑛𝑢𝑙𝑙𝑖𝑡𝑦. 🧮
Fascinating tool use at all stages of the mathematical process — discovery, formalization, and writing — from David Roe and David Turturean. (Despite the title, they give TWO presentations of the absolute Galois group of ℚ₂.) roed314.github.io/gq2/
A Presentation of the Absolute Galois Group of Q₂
An explicit marked profinite presentation of the absolute Galois group of the 2-adic numbers: four generators, two word relations, and a pro-2 condition on the wild generators, with an interactive web...
roed314.github.io
what's wild about religious people is when they pull the "so you really think this is all there is?" as if what is isn't incomprehensibly amazing
I think the right move, which I don't see enough of, is developing a synthetic philosophy of how to co-exist with all this, as humans have had to try do in past industrial revolutions. If I could convince a think tank to hire a cartoonist, I'd be doing it tomorrow instead of between projects.
Just as there’re miles of space between what the AGI weirdos say and what the models can do doesn’t mean that they’re not profoundly powerful and unsettling technologies.
Ironically, we will have no choice but to pivot from saying correct things, to saying compelling things (y'know, like basically every other discipline).
I do think a fascinating consequence of the foundations crisis of the early 20th century was mathematics as a discipline* basically going ¯\_(ツ)_/¯ and carrying on as usual. *Yes, not all mathematicians, but most of us
> I presume the proof is correct (there's supposedly a Lean formalization, after all), but it will take me some time to digest it. This is why math is still important in a world where AI can provide nontrivial proofs. There's far more to care about with most interesting questions than yes/no.
Henry Yuen@henryyuen.bsky.social · 4d agoLife was busy so I didn't get a chance to look, but I guess now the cat's out of the bag so I probably should opine a bit. I presume the proof is correct (there's supposedly a Lean formalization, after all), but it will take me some time to digest it.
Reset your entire perspective with this one weird trick. strava.app.link/TLsu4Xrlg5b
Strava Flyover 3D replay
Watch a 3D video replay of this epic activity on Strava.
strava.app.link
ꭓle Ormsby 𓆙@motivickyle.bsky.social · 5d agoTomorrow I embark on a new collaboration with Mt St Helens, circumnavigating the Loowit Trail as part of the Volcanic 50k race. This will be my third trip around the mountain, and first return to ultrarunning since 2018. Anticipatory quivering has commenced.
Tomorrow I embark on a new collaboration with Mt St Helens, circumnavigating the Loowit Trail as part of the Volcanic 50k race. This will be my third trip around the mountain, and first return to ultrarunning since 2018. Anticipatory quivering has commenced.
It's extremely rare that I see a math paper take history at all seriously. The writing in this paper by Asok, Bachmann and Hopkins is inspiring to me; writing here in part to remember to find time to read it... arxiv.org/abs/2607.26190
Algebraic vs. analytic: a survey
Given a pair of complex algebraic varieties, we can ask: does every analytic map admit an algebraic representative? Such questions are most interesting when the source and target are non-compact varie...
arxiv.org
next Greek epic for hollywood treatment needs to be Euclid's Elements. overdue
North Head Lighthouse, Cape Disappointment, Washington
9. By far my favorite thing in the film is Robert Pattinson's hilarious and sexy Antinous. If anyone ever wants to make a spin off TV series with Antinous risen from the dead to mess with other mythical households, I would be so there for it.