@MotivicKyle@mathstodon.xyz
@MotivicKyle@mathstodon.xyz avatar

MotivicKyle

@MotivicKyle@mathstodon.xyz

Numbers and shapes at Reed College; visiting UW 2022-24. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Today I learned that John Milnor wrote a limerick in which Christos Dimitriou Papakyriakopoulos's name spans three lines!

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Today is the day I discovered DONUTS, the Database of Original & Non-Theoretical Uses of Topology: https://donut.topology.rocks/

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

I'm looking to crowdsource some knowledge about current hiring practices in university math departments. To that end, do you recall the dates for application deadline, first round interviews, and campus interviews of your most recent tenure track search?

Feel free to email your response if you prefer: ormsbyk@reed.edu. Thanks!

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

NASA and the Biden administration could waste a lot of taxpayer money putting atomic clocks on the Moon OR they could appoint me Lunar Time Czar and I would tell them what time it is on the Moon for a very reasonable fee. https://www.reuters.com/science/white-house-directs-nasa-create-time-standard-moon-2024-04-02/

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Just in awe of the “Invisible Things” art display at my kid’s school.

Tired. Bored. Worry. The Slepy.

Me too, kid. Me too.

image/jpeg
image/jpeg
image/jpeg

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Workshopping titles for my lecture notes on TDA. What do folks think of "Nevertheless, cycles persisted: an introduction to topological data analysis"?

MotivicKyle,
@MotivicKyle@mathstodon.xyz avatar

Is anyone going to tell me this is a bad idea?

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

I love imagining the mathematical needs of whoever decided on the unicode math characters.

"Gosh, I'm just always needing notation for when two lines are sorta-but-not-completely perpendicular. I know! ⫡"

"What if something's not just bigger than or much bigger than but WAY FUCKING BIGGER THAN? Aha: ⫸"

"I'm doing so many specialized contour integrals and hate writing with words so much that I'm going to invent a specific symbol for line integration with rectangular path around a pole: ⨒"

"I don't know whether A is a subset of B or B is a subset of A, but at least one of those statements is true, so... A ⫓ B."

"Gosh, I have this element S of the Picard group of a symmetric monoidal category and I want to tensor M with the tensor-inverse of S but don't want to create notation for the tensor inverse. As such, consider M⨸S."

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Actually I get all of my math jokes from church signs.

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Can someone who knows physics tell me how vector potentials (solutions A to F = curl(A)) are related to gauge theory (at least at the level of electromagnetism)? Wikipedia starts talking about 'suppressing unphysical degrees of freedom' and that just seems wild.

MotivicKyle,
@MotivicKyle@mathstodon.xyz avatar

@johncarlosbaez Excellent. Thanks :)

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Me: I'd like to see a computation.
Algebraic Topologist: We have computations at home.
The computation at home:

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Don’t know who needs to hear this, but: trigonometry = trigon-ometry = measuring trigons (aka triangles). 🤯📐🧮

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Library find of the decade!

image/jpeg
image/jpeg
image/jpeg

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

OEIS may be the only nonempty encyclopedia containing 0% of the subject matter it purports to cover.

MotivicKyle,
@MotivicKyle@mathstodon.xyz avatar

@christianp Ha! Love it :)

henryseg, to random
@henryseg@mathstodon.xyz avatar

At the Serious recreational mathematics session at the joint mathematics meeting. Persi Diaconis’ train is stuck on the way to San Francisco so Erik Demaine is “improvising”, talking about curved origami.

MotivicKyle,
@MotivicKyle@mathstodon.xyz avatar

@henryseg O heavy lightness, serious recreation, misshapen chaos of well-seeming forms….

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Anyone have a pdf of Boardman's Homotopy structures and the language of trees? I can dig it out of the library on Monday, but I'm a very impatient person.

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

What are the applicant's chief weaknesses or areas of growth? That would be their lack of access to a cutting edge graduate program that only you can provide!

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Serious question for folks involved in formalization projects, especially in Lean: How do we know we can trust all the definitions in mathlib? Couldn't one little mistake make large classes of objects impossible/empty? And last time I checked, universal statements about empty classes are easy to prove but of limited interest.

MotivicKyle,
@MotivicKyle@mathstodon.xyz avatar

@johncarlosbaez That would rule out the extreme case I described, but still leaves open the broader question "How do we verify we're defining what we think we're defining?" This seems important if we're headed towards formalized mathematics as the 'gold standard' of proof, as some are predicting. And even more important if AI is assisting with or generating proofs.

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Whoa. Is Cornell the only math program not accepting PhD students this year, or are there others as well?

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

Becoming mildly obsessed. Please send help.

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

I'm trying to help a wildly talented student who wants to go to math grad school but didn't quiiiite finish their undergrad degree. Anyone have experience with grad admissions committees and know if this is in the realm of possibility?

MotivicKyle, to random
@MotivicKyle@mathstodon.xyz avatar

What are LaTeX/BibTeX users doing for bibliography management these days? My 'system' involves time-consuming copy-pasting between old .bib files + using MathSciNet to generate entries for published material, and I'd like to do better.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • tester
  • kavyap
  • DreamBathrooms
  • modclub
  • GTA5RPClips
  • InstantRegret
  • magazineikmin
  • Youngstown
  • thenastyranch
  • rosin
  • slotface
  • mdbf
  • khanakhh
  • ngwrru68w68
  • JUstTest
  • anitta
  • normalnudes
  • Leos
  • cisconetworking
  • osvaldo12
  • everett
  • Durango
  • tacticalgear
  • provamag3
  • megavids
  • ethstaker
  • cubers
  • lostlight
  • All magazines