@cdrichards@mathstodon.xyz

Christina Richards @cdrichards@mathstodon.xyz · Jun 25, 2026

Replying to @0xabad1dea@infosec.exchange

@0xabad1dea@infosec.exchange how many dissertations is too many? Asking for a friend

0

Christina Richards @cdrichards@mathstodon.xyz · Jun 25, 2026

Replying to @0xabad1dea@infosec.exchange

@0xabad1dea@infosec.exchange I read “AC” as “Axiom of Choice” and braced myself for a rant about dismantling and reassembling spheres

0

2

0

Christina Richards @cdrichards@mathstodon.xyz · Jun 01, 2026

Replying to @cxli@scholar.social

@cxli@scholar.social congrats!

1

2

0

Christina Richards @cdrichards@mathstodon.xyz · May 16, 2026

Replying to @aparrish@friend.camp

@aparrish@friend.camp tsk tsk no bunker under the mountain for you

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 11, 2026

Replying to @cdrichards@mathstodon.xyz

@carrideen@c18.masto.host my kitty of yore used to make a face (wrinkled upper lip, mouth slightly open) like she was smelling something terrible and needed ALL of it. I wish I had a picture. Instead, here she is « en boîte »

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 11, 2026

Replying to @carrideen@c18.masto.host

@carrideen@c18.masto.host sometimes there’s just a flavor, you know?

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 09, 2026

Replying to @chrisamaphone@hci.social

@chrisamaphone@hci.social tried to think of examples where you can negate pragmatics to decipher semantics and they’re all language-barrier romcom bits. (Alice and Bob are mutually unintelligible. Alice makes a fool of herself to attract the attention of Bob. Bob laughs and says to Alice, “You dumbass.”)

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 08, 2026

Replying to @sliminality@types.pl

@sliminality@types.pl learned circa 7th grade (US public school), along with “multiplying both sides of an inequality by a negative number flips the inequality”. Shoutout to Mr. Freiberg, who also taught us the Fizz Buzz game.

0

Christina Richards @cdrichards@mathstodon.xyz · May 07, 2026

Replying to @cdrichards@mathstodon.xyz

@mc@mathstodon.xyz I want to ask, who is the customer for this product. “Core” mathematicians should be able to ignore foundations, and I assume they mostly do. Set theorists are fine, thanks. For non-set theorists interested in foundations, a set that includes me, the literature shows lots of ways to mix and match axioms if e.g. you don’t like arbitrary choice, or if Replacement gives you a bad vibe. I do see some value in narrowing the gap between math-as-encoded (in a foundational system) and math-as-practiced, but that’s not what’s happening here, AFAICT.

0

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 07, 2026

Replying to @mc@mathstodon.xyz

@mc@mathstodon.xyz hm, no references to Lawvere’s ETCS (1964) or its recent presentation by Leinster in Rethinking Set Theory (2014) https://arxiv.org/abs/1212.6543 A educated hobbyist’s opinion: the problem with set theory as traditionally presented is not that it’s too powerful, although it may be that, too; it’s that for most mathematics other than set theory itself, it demands awkward, low-level encodings.

3

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 06, 2026

Replying to @typeswitch@gamedev.lgbt

@typeswitch@gamedev.lgbt omg the first- vs second/higher-order diss literature is so captivating. You can see historic battles unfold in real-time on the f.o.m. list archives: https://fomarchive.ugent.be/1999-March/002864.html

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 06, 2026

Replying to @lindsey@recurse.social

@lindsey good thing you specified computer programs else I’d have said Paul Wylie’s 1992 silver medal performance

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 06, 2026

Replying to @lindsey@recurse.social

@lindsey unison

5

2

0

Christina Richards @cdrichards@mathstodon.xyz · May 04, 2026

Replying to @jonmsterling@mathstodon.xyz

@jonmsterling @stuebinm OSS as unpaid internship, compensated in “exposure”. Is it worth pursuing? If you have to ask, you can’t afford it.

1

0

1

0

Christina Richards @cdrichards@mathstodon.xyz · May 04, 2026

Replying to @julesh@mathstodon.xyz

@julesh@mathstodon.xyz the London conurbation is the greatest London. Dually, the City of London is the London nurbation

2

0

Christina Richards @cdrichards@mathstodon.xyz · May 02, 2026

Replying to @chrisamaphone@hci.social

@chrisamaphone@hci.social @ah@goto.boserup.eu @simrob@social.wub.site there’s nothing psilly about psyllium husk

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 30, 2026

Replying to @jonmsterling@mathstodon.xyz

@jonmsterling I once applied for job that revealed itself, an interview at a time, to be co-extensive with “Nix sysadmin”. I wish that company well.

2

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 30, 2026

Replying to @andrejbauer@mathstodon.xyz

@andrejbauer@mathstodon.xyz “it’s my nature,” said the scorpion, as they both sank into the water

5

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 28, 2026

Replying to @carloangiuli@mathstodon.xyz

@carloangiuli @jonmsterling filing this thread under “Dr. Funext, or: How I Learned to Stop Worrying and Love the Xi Rule”

2

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 28, 2026

Replying to @byorgey@mathstodon.xyz

@byorgey well said, indeed. Thank you.

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 26, 2026

Replying to @cdrichards@mathstodon.xyz

@alexr@tilde.zone @astory@tilde.zone @mrkwlsn@mastodon.social there is only one topic on Mastodon and it’s intensional vs. extensional equality

6

0

2

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 26, 2026

Replying to @alexr@tilde.zone

@alexr@tilde.zone @astory@tilde.zone @mrkwlsn@mastodon.social I see what you mean but I disagree. The forgetful functor is not the identity, after all.

0

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 25, 2026

Replying to @simrob@social.wub.site

@simrob @chrisamaphone I can’t read this without thinking: frog-blast the vent core

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 25, 2026

Replying to @cdrichards@mathstodon.xyz

@chrisamaphone you could read “down-hosing” as making a nod to the Augean Stables

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 25, 2026

Replying to @chrisamaphone@hci.social

@chrisamaphone the update tries to give us a warm welcome, so we turn around and give it a cold shower, or hose it down.

0

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 25, 2026

Replying to @astory@tilde.zone

@astory@tilde.zone @alexr@tilde.zone @mrkwlsn@mastodon.social but if there are no time signatures, there are perforce no “odd time signatures” nor technically proficient hair bands nor 20-minute songs about hobbits. What will power me^W future comrades through the day?

1

3

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 24, 2026

Replying to @mc@mathstodon.xyz

@mc I also wonder how Apple-centric it is, apart from only being available on Apple devices, and requiring an Apple Account for desktop-mobile sync. I haven’t fired up wireshark to scan for suspect connections, for example. I made a call that, after turning on e2ee for synced data, I could accept the risk of ID-provider shenanigans.

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 24, 2026

Replying to @cdrichards@mathstodon.xyz

@mc my only consistent gripe is the poorer bookmark UX relative to Firefox and Chrome. It’s too easy to add duplicate bookmarks, because bookmarked URLs aren’t flagged as such in the URL bar.

2

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 24, 2026

Replying to @mc@mathstodon.xyz

@mc Former Firefox user here with similar criteria. I ended up going with Safari. (Yes, I know.)

2

3

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 23, 2026

Replying to @jonmsterling@mathstodon.xyz

@jonmsterling amusing to imagine doing this with actual calendar primitives, mapping “accept” to “like” and so on.

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 18, 2026

Replying to @aparrish@friend.camp

@aparrish pov: there’s peanut butter in the ansible again

2

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 09, 2026

Replying to @kevin@fedi.kbg.sh

@kevin maybe @raph has pointers?

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 05, 2026

Replying to @carrideen@c18.masto.host

@carrideen @SecondUniverse this New Yorker cover but horse and cake https://condenaststore.com/featured/missed-connection-adrian-tomine.html?product=art-print

2

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 05, 2026

Replying to @carrideen@c18.masto.host

@carrideen me too, horse, me too

3

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 05, 2026

Replying to @carrideen@c18.masto.host

@carrideen I like the window we get into horse epistemology. A horse knows-how (to move the heavy thing) and knows-that (the fire cake is dangerous), but it also knows-with-face (the dreamed-of cake).

9

3

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 05, 2026

Replying to @chrisamaphone@hci.social

@chrisamaphone apposite!

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 03, 2026

Replying to @chrisamaphone@hci.social

@chrisamaphone they pumice the many for the climbs of the few.

6

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 01, 2026

Replying to @chrisamaphone@hci.social

@chrisamaphone it’s a guanábana, mais non?

1

0

Christina Richards @cdrichards@mathstodon.xyz · Apr 01, 2026

Replying to @chrisamaphone@hci.social

@chrisamaphone noooo pink pony club earworm activated

1

2

0

Christina Richards @cdrichards@mathstodon.xyz · Mar 29, 2026

Replying to @jcreed@mastodon.social

@jcreed consummate

1

0

Christina Richards @cdrichards@mathstodon.xyz · Mar 14, 2026

Replying to @jcreed@mastodon.social

@jcreed res hipsa loquitur

1

0

Christina Richards

Posts

Remote instance