Replying to
@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).
Remote
Christina Richards
@cdrichards@mathstodon.xyz
mastodon 4.7.2Good at computer, kind to animals 🏳️🌈🏳️⚧️
I’m a lesbian software engineer with a PhD in PL theory. I job in industry, mainly building reliable distributed systems for privacy and data protection, but this space is for doing things with words.
Personal account, opinions mine. Follow requests welcome.
48 Followers
100 Following
41 Posts
Joined March 02, 2026
Pronouns:
she/her
Website:
Replying to
@alexr@tilde.zone @astory@tilde.zone @mrkwlsn@mastodon.social there is only one topic on Mastodon and it’s intensional vs. extensional equality
Replying to
@andrejbauer@mathstodon.xyz “it’s my nature,” said the scorpion, as they both sank into the water
Replying to
@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.
Replying to
@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 »
Replying to
@julesh@mathstodon.xyz the London conurbation is the greatest London. Dually, the City of London is the London nurbation
Replying to
@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.
Replying to
@carloangiuli @jonmsterling filing this thread under “Dr. Funext, or: How I Learned to Stop Worrying and Love the Xi Rule”
Replying to
@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.
Replying to
@carrideen @SecondUniverse this New Yorker cover but horse and cake
https://condenaststore.com/featured/missed-connection-adrian-tomine.html?product=art-print
Replying to
@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.”)
Replying to
@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
Replying to
@lindsey good thing you specified computer programs else I’d have said Paul Wylie’s 1992 silver medal performance
Replying to
@jonmsterling @stuebinm OSS as unpaid internship, compensated in “exposure”. Is it worth pursuing? If you have to ask, you can’t afford it.
Replying to
@chrisamaphone@hci.social @ah@goto.boserup.eu @simrob@social.wub.site there’s nothing psilly about psyllium husk
Replying to
@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?
Replying to
@jonmsterling amusing to imagine doing this with actual calendar primitives, mapping “accept” to “like” and so on.
Replying to
Replying to
@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.
Replying to
@0xabad1dea@infosec.exchange I read “AC” as “Axiom of Choice” and braced myself for a rant about dismantling and reassembling spheres
Replying to
@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.
Replying to
@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.
Replying to
@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.