χle Ormsby
banner
motivickyle.bsky.social
χle Ormsby
@motivickyle.bsky.social
Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.
Inscrutable hair in an inscrutable world.
December 7, 2025 at 10:43 PM
My reptile brain panics whenever it perceives the nothing nothinging. But yeah, that’s a helluva poem.
December 7, 2025 at 9:38 PM
I’d love for this to be free for all, but aren’t there precious few professional development opportunities that are completely free? $15 seems very reasonable to me.
December 7, 2025 at 8:36 PM
❤️ > <3 > <∃ > E>?
December 7, 2025 at 2:28 PM
Reposted by χle Ormsby
I've never been interested in solving precisely stated hard problems. To me, the interesting part of math is finding beautiful structures that help us understand reality better - and clearly explaining them, so more people can use them.

If AI can ever do that, I'll enjoy talking to it.

(2/n)
December 7, 2025 at 10:45 AM
Do you know why the Erdos problem 124 link says it was solved by "Aristotle"? Is that part of "Axiom Math"?

Separately: Is "vibe proving" a subfield of Fourier analysis?
December 7, 2025 at 2:18 PM
Did you multiply by more than 100?
December 6, 2025 at 5:23 AM
Jodorowsky's The Holy Mountain (1973)
December 6, 2025 at 4:59 AM
I checked the .tex source and all the figures were included as pdfs. Unclear how they were originally generated, but I could also see long compile times if the tikz was being recompiled each time....
December 6, 2025 at 4:49 AM
Pairs well with one of those power bank battery jumpers!
December 5, 2025 at 6:16 PM
I take it back. They're equivalent and you can directly demonstrate d/dm(x^m) = x^m log(x) from this definition. Thanks for pointing that out!
December 5, 2025 at 5:02 PM
They're equivalent if you've already defined log and know how to differentiate arbitrary exponential functions.
December 5, 2025 at 4:36 PM