Irish in Scotland, maker of mistake, I'm Conor, a labelled transition system, in particular, a trans-femme poly Computer Scientist. Titania is my middle name: it's nice if you use it in "full name" situations, but I remain "Conor" in first-name situations. I am not the first girl called Conor, and I think it could catch on.
Public Key
npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Profile Code
nprofile1qqsyphkjkldeent8xq5gq8qr0kx576fgk9xh055c5drxel0xc700d9gpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qneq476
Show more details
Published at
2026-10-20T16:23:02Z Event JSON
{
"id": "8b6c6463c8d665d91e47a7ea5d639b74cd7bf9e852181db65b2f8e15db4f4ef2" ,
"pubkey": "40ded2b7db9ccd673028801c037d8d4f6928b14d77d298a3466cfde6c79ef695" ,
"created_at": 1792513382 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://types.pl/users/pigworker",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"Conor Titania Mc Bride\",\"about\":\"Irish in Scotland, maker of mistake, I'm Conor, a labelled transition system, in particular, a trans-femme poly Computer Scientist. Titania is my middle name: it's nice if you use it in \\\"full name\\\" situations, but I remain \\\"Conor\\\" in first-name situations. I am not the first girl called Conor, and I think it could catch on.\\nPronouns: she/her\\n(but they/them is always fine)\",\"picture\":\"https://pool.jortage.com/typespl/accounts/avatars/108/198/160/175/633/853/original/6359239fbbca1a28.png\",\"nip05\":\"[email protected] \",\"fields\":[[\"GitHub\",\"https://github.com/pigworker\"]]}" ,
"sig": "579ff9db63e3c4ed3cc5a537fb4f7275f78bc0642a502b4f3f94a06a47dbd71dfc96a4fd989286dae5437ff6f05cd7c12aa4f02f13eaf6c9b4ee12529f6045db"
}
Last Notes npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride Dear anyone anywhere near anything approximately called a Computer Science Department, npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride Anyway, here at Strathclyde, we have a bunch of people delivering theory and systems (same shit different day) who talk to each other, plot together, and dream big. We are having serious fun. Join us! https://www.jobs.ac.uk/job/DQS044/lecturer-in-mathematically-structured-programming-790646 npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride Mathematics should make you feel less stupid for having encountered it. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…g0zc It is not values which are/were shared, but signals intelligence. The "Special Relationship" was that nobody told Stalin the German codes were broken. (And indeed, the Russians used looted enigma machines well into the fifties, thinking they were the dog's bollocks.) npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride They threatened to sue us because they thought people would mistake us for them, and they were absolutely correct to be worried in that fashion. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride Back in the late 1990s, Danish LEGO built a website. We Edinburgh LEGO people had had a website for a while. We published an email contact; they did not. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride "anyway" versus "anyways" npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…rrqe The Epigram 1 elaborator obeyed the vampire protocol: you had to invite it in. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…w8t5 And one thing that is often less plausibly based is the totality checker for the system in question, which is often overly syntactic but inside the kernel. It's like we think type theory is good as a language of evidence except when it's something difficult. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride Just had a bloke harassing me loudly from outside the gender neutral toilet in the bar in Waverley station. His girlfriend apologized. The staff told him to leave. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride It's the last night of my stay in Cambridge. Dinner is whatever is left. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride It would be really funny if, like, there was a peace prize named after the person who invented dynamite. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride I don't know if the students are having fun, but I am. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride I love that Σ(i³) = (Σi)² is provable simply by testing at 0..4. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride Hey folks, how about npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride I'm a 52-year-old femme-presenting non-binary trans computer scientist who lectures first-year undergraduates in semester one. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride One reason I love making handwritten, mechanically animated slides, is that it's a very visible form of freely given love: a whacking great "I love you" along with all that science. People often respond with the joy of being loved. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…stct I have recently been obliged to move to Microsoft Teams as a chat client. It pretends to let me write markdown while showing me the rendering thereof. As if wysiwyg was ever a good idea. It's a complete shitshow. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…pwph I spend the whole of semester one teaching students to send me code, not pictures of code. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride I'm doing a thing called npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…rrqe I agree. But I still thnk the USA has consciously voted to be fascist. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride Hi @nprofile…6kk0, I've now watched your lovely talk on slow mode, and I agree with shit tons of what you have to say, for obvious reasons in some part. But not doing structure by sewing-a-coat-on-a-button unification, and keeping a tighter grip on definitional unfolding, are both in my head right now. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride I'm also used to people thinking that I come up with jokes and then find the research I have to do in order to deploy the jokes. Guilty as charged. The truth that hides in jokes is what makes them funny. I have the wit to look for it. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…6kk0 "There is nothing funnier than category theorists trying to do type theory, except, perhaps, type theorists trying to do category theory." -- me npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…fa4k @nprofile…den0 There's a version of this which goes. "Three mathematicians walk into a bar. The bartender says 'Are youse all in for a beer?'. The first mathematician says 'I don't know.'. The second mathematician says 'I don't know.'. The third mathematician says 'Yes!'. And the bartender says 'Well I'll just serve these historians while you figure out which beers youse want.'. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…hszg I find it a punch in the face. npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x Conor Titania Mc Bride @nprofile…n8ju Indeed, this should get the bean counters off my back for a bit. But it's more the relief from constipation that matters. So grateful to my coauthors for laughiing at my jokes before deleting them and fighting for the good against the perfect.
