Conor Titania Mc Bride

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.
Pronouns: she/her
(but they/them is always fine)

Public Key

npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x

NIP-05 Address

pigworker@types-pl.mostr.pub

Profile Code

nprofile1qqsyphkjkldeent8xq5gq8qr0kx576fgk9xh055c5drxel0xc700d9gpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dss3c83v

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1gr0d9d7mnnxkwvpgsqwqxlvdfa5j3v2dwlff3g6xdn77d3u7762s4smg6x

Show more details

Last Notes

2026-10-12 01:12:33 UTC

Do not "use LLMs for the boring bits". Use what boring about the boring bits for the boring bits. If you can't, either those bits aren't boring, or you're using the wrong tools.

2026-09-25 07:57:26 UTC

let’s make data
https://pool.jortage.com/typespl/media_attachments/files/117/330/604/448/200/147/original/d74d9d038ecb0761.png

2026-09-22 21:58:04 UTC

There are two reasons I don't use AI:
1) I like thinking
2) the world is on fire

2026-08-19 20:52:13 UTC

Dear anyone anywhere near anything approximately called a Computer Science Department,
LEARN TO FUCKING PROGRAM!

2026-08-01 14:39:27 UTC

I must repair Kleisli Arrows of Outrageous Fortune, expunging the outdated preprocessor stuff, but keeping the key ideas about monads on indexed sets (and the Hamlet gags).
I need it to be out there, so I can follow it up with Kripke Arrows of Outrageous Fortune, in which we explore free monads on presheaves.

2026-07-29 18:13:13 UTC

To borrow a term from pedagogy, the point of designing a new programming language is to extract leverage from a threshold concept. Threshold concepts are so called because they are hard to learn. They require a shift in perspective, and it's that shift which makes things which previously looked hard actually become straightforward. Up becomes down.
So turn things upside-down.

2026-07-02 21:15:32 UTC

Wanna know why I left Northern Ireland? Look at this fucking map https://petitionmap.unboxedconsulting.com/?petition=770527&area=uk

2026-06-20 16:52:57 UTC

If you are a British citizen or a UK resident, please sign this petition to stop the apartheid that our government is planning for me, others like me, and others who even vaguely look like they might be a bit like me. https://petition.parliament.uk/petitions/770527

2026-05-29 19:45:07 UTC

A handful of Comp Sci departments should teach masters programmes called "The Mathematics the Maths department should have taught you, given that you were bound to end up working in tech".

2026-05-05 00:58:39 UTC

When is it bad to glue Jews to Israel, politically?
Always.
I watch with sympathetic horror Jewish friends watching with alienated horror the genocide currently being enacted by the present Israeli government.
To criticize that government is not to hate Jews. It is merely to see and to say what is seen. Death on a scale we have not witnessed in generations. A holocaust.

2026-05-03 21:30:00 UTC

- reply

@nprofile…la7y "Who will rid me of this turbulent priest?".
It depends who says what. Powerful people should watch their mouths. The rest of us change very little.

2026-03-31 17:02:42 UTC

The greatest lie in computer science is that you can be a computer scientist without being a mathematician.

2026-03-27 21:38:35 UTC

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

2026-03-04 20:14:51 UTC

That's right, folks! We're hiring! I'm the surviving founder member of the MSP group at Strathclyde, but I don't make the decisions. I'm kinda sorta responsible for the culture of the place, though. We think together, we don't keep (ha ha, professional) secrets (ha ha, my secret isn't secret any more), and we plot to put as much of our research into our undergraduate teaching as possible. Sign up! Show up! Help kids grow up!

2026-02-17 22:00:11 UTC

If Copernicus and Galileo and Kepler had been alive now, people would have been like "Nah, we can just compute all those Ptolemaic epicycles. It's good enough!".

2026-02-16 14:49:44 UTC

Yer free monad on a container C is yer C*, with container morphisms in I -> C* and C*;C* -> C*, giving a monad on sets.
But -* is itself a monad on containers, with container morphisms in C -> C* and C** -> C*. That’s the free monad monad.
Kleisli arrows in the free monad monad are container morphisms in C -> D*, which act as templates for catamorphisms. For every C shape, you get a D term whose variables tell you where to substitute the results of the recursive calls from each C position.
These templates can be recovered from the function itself by perturbation testing.

2026-02-09 23:31:43 UTC

Mathematics should make you feel less stupid for having encountered it.

2026-02-09 21:05:55 UTC

When Peter Mandelson was being vetted for the Washington gig and said "I barely knew him!", and those were his words, what the fuck do we think was going on with that ambiguity?

2026-02-09 20:17:10 UTC

One of our modules, CS410 Advanced Functional Programming (aka Agda-mediated deep ideas) is in practice so research-focused that our staff-student ratio is outrageous and we all get ideas from doing it.
Several of my papers started as homework problems in CS410.

2026-02-09 20:05:30 UTC

- reply

Universities like to pretend that that's a dangerous waste of time, because they like to pretend that it's the contact time which is the main cost of running a module. We all know that isn't true.
Frankly, the morale boost of enjoying a friend's lecture is a productivity boon. And the ways in which youse can quietly join up the curriculum are dynamite.

2026-02-09 20:02:54 UTC

Let me once more exhort you to teach in pairs. Spend a couple of hours a week in other people's lectures.
You'd be astonished how much joined-up thinking that creates without starting a punch-up.

2026-02-06 17:54:20 UTC

- reply

@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.)

2026-02-05 21:11:46 UTC

@nprofile…xuzd I said a thing about you, too, in today's lecture (before I hit record). In particular about why I am raising the access bar to my lecture videos, just a little bit. Let's see.

2026-01-25 18:53:21 UTC

There is a derivable induction principle for unordered pairs of natural numbers which splits into two cases. Either at least one is zero (and you get to see the other), or they're both successors (and you get to see and assume an inductive hypothesis for the unordered pair of the predecessors).
Operations defined via this induction principle are commutative by construction.
Exercises:
define addition with this induction principle;
define multiplication with this induction principle.
Hint:
do both at once.

2026-01-22 00:03:38 UTC

I've forgotten exactly what year it was, but I was gigging in Bath and telling for laughs the story about Edinburgh LEGO being threatened by yer actual Danish LEGO, and this woman in the audience starts giggling uncontrollably.
And I'm like (to myself) this is odd: it wasn't that funny. But I give her a moment.
She pulls herself together and says "I can confirm that Conor's story is 100% true. My ex-boyfriend from then was the lawyer who wrote the threatening letter.".
Our world is smaller than you think.

2026-01-21 23:44:19 UTC

- reply

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.
Because they did nothing to attract.
Who did online customer services for LEGO in the late 1990s?
FUCKING ME!
How much did they pay me?
FUCKING THREATS OF LEGAL ACTION!

2026-01-21 23:39:58 UTC

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.
So when wee Johnny's Christmas present had a piece missing, who do you think took the rocket from angry Mum?

2026-01-21 20:30:32 UTC

Every time I think, "This is the message I want to send to the ICFP PC.", events happen which make things even worse.
You might think you are doing community service. And you are. Thanks.
But what else are you doing?
Endorsing a country without habeas corpus, for a start.

2026-01-20 18:26:41 UTC

- reply

@nprofile…t6k2 Wouldn't I like to know?

2026-01-20 17:55:29 UTC

Here's a fact about unlabelled binary trees. To state the fact, I'll need the types Tree* X of Tree expressions made from leaves !, nodes ^, and free variables in X.
If you have tree expressions
lee : Tree* {}
noo : Tree* {L,R}
you can build a recursive function
transform ! = lee
transform (l ^ r) = noo[transform l / L, transform r / R]
That is, lee is the image of a leaf and noo determines the image of a node by taking its free variables as the places to substitute the images of the subnodes.
Any two such recursive functions agree on all inputs if they agree on the four simplest trees:
! !^! (!^!)^! !^(!^!)
This fact has been a conjecture of mine for quite some years, but today I proved it in Agda.
The essence of the proof is that the function is entirely constant if it maps ! and !! to the same tree. Otherwise, lee is the image of !, and noo is exactly recoverable from the image of !^! by testing the two perturbations (!^!)^! and !^(!^!), each of which differs from the image of !^! in the places where noo's Ls and Rs must have been.
That's to say: under conditions of sufficient simplicity, perturbation testing recovers abstraction.
Vive la différence!

2026-01-19 01:33:20 UTC

Must sleep. This semester's gig as a Dickensian spirit starts in the morning.

2026-01-17 02:29:00 UTC

One of the things that makes me an intensional type theorist is that I prefer machines and people to be different.

2026-01-16 19:09:26 UTC

Date and time: Monday 19th January, 1pm
Venue: LT210 & Online (Livingstone Tower)
Speaker: Conor McBride (they/them)
Title: Wiggle It (Just a Little Bit)
Abstract: Testing can reveal the absence of bugs in situations where we can show that the test data expose all the possible variations. This is straightforward when the domain is finite, but one can also achieve test coverage for large domains by restricting the ways in which the program may process its input. For example, the fact that the sum of the numbers less than n is n choose 2 can be proven by testing for n in {0, 1, 2} because both calculations are inherently quadratic. I have, on and off, been thinking about how to deliver similar results for other inductive data structures. For example, one can generate particularly well behaved folds on unlabelled binary trees by giving (i) the tree which is the image of the leaf, and (ii) a tree with two variables showing how the ouptut for a node is computed from the outputs for its two subtrees. I claim that if two such folds agree at the four smallest trees, then they agree for all trees. Clearly, we recover (i) by testing at a leaf. We recover (ii) by testing at a node with leaves for subtrees, then perturbing each of those subtrees in turn, to see where the output changes. That is to say, we use perturbation to recover abstraction. I am currently working on a proof of this claim in Agda and will share my progress (and my prospectus) in this talk.

2026-01-14 20:42:31 UTC

- reply

@nprofile…g0zc I thought I'd ask the question in an open way, but that, too, is my impression.

2026-01-14 20:27:00 UTC

"anyway" versus "anyways"
Who? What? Where? When? Why?
Discuss.

2026-01-13 19:31:04 UTC

My "biological name", the name they wrote on my pro tem birth certificate, is not the name I have now. Stupid fucker couldn't spell.

2026-01-13 17:02:42 UTC

- reply

@nprofile…xuzd I always say "If you can't do the proofs when you're drunk, you got the definitions wrong when you were sober.".

2026-01-13 16:58:03 UTC

- reply

@nprofile…xuzd But the fewer proofs, the better, right?

2026-01-09 01:35:21 UTC

Semantics now means what the computer does.
People with contrary opinions about what the computer should do are being antisemantic.

2025-12-28 12:10:24 UTC

- reply

@nprofile…rrqe The Epigram 1 elaborator obeyed the vampire protocol: you had to invite it in.

2025-12-20 00:21:46 UTC

- reply

@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.

2025-12-14 20:27:21 UTC

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.

2025-12-14 18:32:24 UTC

- reply

@nprofile…rrqe @nprofile…aamk @nprofile…qggg The dissection operator instantiated with 1 to right of the cursor may help here. From the grammar of things, compute the grammar of initial segments of things (with stubs for completion).

2025-12-12 22:36:43 UTC

My life is full of regret, and one that looms is never learning to play the trombone. Rod Burstall played the trombone. Maybe I could still learn to play the trombone. Then some of the music that lives in my head could escape.

2025-12-12 19:37:47 UTC

It's the last night of my stay in Cambridge. Dinner is whatever is left.

2025-12-08 22:01:37 UTC

- reply

@nprofile…rrqe Thursday, I was hoping.

2025-12-08 21:58:31 UTC

Please don't can it because you see someone having more fun than you. There's plenty enough fun to go around. Dependently typed programming isn't a thing you've either got in you or not. It gives you freedom in dimensions you're not used to, and in which nobody is automatically neat. There is very definitely a kind of cooking to learn. I'll help if I can.

2025-12-05 22:12:55 UTC

As a programming language designer, my key skill is listening. Not to what programmers say to me (ok, that, too) but to what they say to each other. What do they have to say in words because they can't say it in code? What are the ideas they can't write down...yet?
I'm used to a world where my tools do exactly what I want, because I'm the fucker who made them. I get that that's not everyone's experience.

2025-12-05 20:17:50 UTC

It would be really funny if, like, there was a peace prize named after the person who invented dynamite.

2025-12-02 23:52:05 UTC

I profoundly regret getting my trans shit together as late as fifty. But I'm glad I didn't leave it any later.
True at any age, no doubt.

2025-11-30 16:05:18 UTC

My entire module "CS103 Machines Languages and Computation" is mediated via my ask proof assistant. Like all fight-the-proof-assistant modules, there's a tipping point when it stops being about the machinery and starts being about the mathematics. Persuading students to pass that tipping point before the assignment arrives is difficult.
But they do like the confirmation of marks in the bag.

2025-11-30 15:26:20 UTC

I don't know if the students are having fun, but I am.

2025-11-28 22:30:23 UTC

These days, I'm less of a pariah. More of a mariah.

2025-11-28 21:29:24 UTC

The word "outwith" is a Scots word that Scots speakers enjoy using in English-speaking contexts to remind English speakers that we're not exactly speaking English.

2025-11-28 21:15:36 UTC

I love that Σ(i³) = (Σi)² is provable simply by testing at 0..4.

2025-11-28 20:53:53 UTC

- reply

@nprofile…w8t5 Well aware of it. Idris has believeMe which is fantastically Dusty Springfield.
https://www.youtube.com/watch?v=dvTmm0wV9SY
@nprofile…5ug2

2025-11-28 19:59:21 UTC

Hey folks, how about
confident :: Maybe a -> a
?

2025-11-27 23:26:43 UTC

The idea that human rights are made is an important aspect of what it is to be a participant in a society. The suggestion that that's somehow a conservative idea is a welcome admission that conservatives don't want you to have human rights.
Conservatives don't want human rights in general: they want the right to shit in anybody's pants but their own.
It's not a question of "recognizing" human rights as bequeathed upon us by some intangible philosophy. What has to be recognized is power. The power to stop you being a selfish little shit. The power to stop you being obnoxious to people just living our lives. We, the people, should take that power. We, the people, should make those rights.
Even if you think that human rights are God-given, it's for humans to argue about which human rights God gives us, so in practice human rights are human-constructed.
Here endeth the lesson.

2025-11-26 02:21:05 UTC

- reply

@nprofile…glz5 @nprofile…j9ax (1/?) Fuck all the way off.

2025-11-25 22:46:23 UTC

I'm a 52-year-old femme-presenting non-binary trans computer scientist who lectures first-year undergraduates in semester one.
I try to make my students think.
And what my students think is not "Fuck off, tranny!" but rather "Ow, thinking hurts!".

2025-11-25 20:20:05 UTC

- reply

When you're making a hinged overlay in an acetate slide (I know you never do this), you stickytape the overlay topside out to a convenient glass window. Then you peel it off and turn it around, and hold it buttside out to the window, with the loose end of the stickytape uppermost, sticky side facing you. Next, with a spare hand, possibly yours, you press the main slide to the window, lining up with the overlay. Now fold down the stickytape to make the hinge and lift away from the window.
The flatness of the window ensures the flatness of the hinge. Otherwise, you get a hinge that wants to be open or a hinge that wants to be closed, not a hinge that wants to stay where you put it.
There! I've written up a tiny little bit of my arcane knowledge!

2025-11-25 20:03:59 UTC

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.
Witnesses have be known to remark that the construction of the slides for the talk is as much of a performance as the talk itself. Certainly, I have entertained railway carriages by my top speed construction of acetate animations on the train to the gig: this involves stickytaping little pieces of plastic to the windows and whipping them off again, like waxing.
I also love doing gigs which are very very live. It's the same thrill. You get to watch me working in real time.

2025-11-25 19:26:16 UTC

- reply

@nprofile…5ug2 @nprofile…w8t5 @nprofile…rrqe The developers of these systems don't yet know how. I reckon it's incompetence rather than discrimination.

2025-11-25 19:12:32 UTC

- reply

@nprofile…w8t5 @nprofile…rrqe exactly this; when I think I'm onto something, I need a critic

2025-11-25 19:04:54 UTC

- reply

@nprofile…w8t5 @nprofile…rrqe I'm also quick to jump to the proof assistant.

2025-11-25 01:32:14 UTC

I'm mourning Jimmy Cliff. Pipes on him something else.

2025-11-21 22:40:28 UTC

Listen, gang, human rights are not some Platonist bullshit "discovered" things. We make human rights. And the rights we choose to make or not make says a lot about who we are.

2025-11-20 21:48:32 UTC

Principal type inference is not worth the cost. The cost is stupid types.

2025-11-17 19:01:37 UTC

- reply

@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.
Like, I often have to write a fenced code block
`blah`
and then paste the code I actually want, in between bl and ah, and only then delete bl and ah.
I'm sick of being forced to outwit software that thinks it can guess what I want.

2025-11-15 23:32:39 UTC

- reply

@nprofile…pwph I spend the whole of semester one teaching students to send me code, not pictures of code.

2025-11-15 23:22:24 UTC

As far as the university is concerned, my job is to staple numbers to people. Preferably numbers greater than forty.
As far as I'm concerned, I don't care what the number is, as long as they have functioning mathematical minds.

2025-11-15 17:46:47 UTC

- reply

@nprofile…w8t5 @nprofile…rrqe I used to teach an introductory Haskell nugget (5 credits) in which every exercise began with an increasingly obfuscated variation on writing your name. I was gobsmacked at how many people blithely submitted the name of the person they had plagiarised.

2025-11-11 21:49:37 UTC

Have courage. Think deep. Teach deep.
They won't like it.
You'll find out who "they" are when they show themselves.

2025-11-11 21:42:31 UTC

- reply

That the whole point is that they haven't seen it before.
That I am training them, not filling them with facts to regurgitate. In fact, I am emptying them of such fact overloads, because structure.
I know. I should be stopped.

2025-11-11 21:40:07 UTC

- reply

They teach my kids to expect teaching to the test.
I tell my kids that every question I set them will begin with a new definition.

2025-11-11 21:24:39 UTC

The thing I hate most about schools is that they teach my students to be terrified of asking questions in a public space.
Conformity driven cluelessness is the basis of the No Model Army.

2025-11-09 22:10:22 UTC

- reply

@nprofile…stct I feel like this is a scene from an episode of The Monkees.

2025-11-08 23:29:23 UTC

I'll keep youse posted about jury service. I'm shit scared about doing it. But I'll be femme as fuck.

2025-11-05 12:15:51 UTC

For years, I have been telling the following joke:
There are three things every university principal must do:
build a new buliding
demand complete organisational restructuring of the university, apart from the senior administration, if possible introducing new a new term for some sort of organisational unit, while insisting that the university continue to function more or less as before
name the previous principal's new building after the previous principal
Well, today...

2025-11-01 23:22:43 UTC

My job, as a teacher of first year undergraduates, is to flip back on the "thinking" switch, that has somehow been set to "off" when they were somewhere between little and big. Who did that to them? How? Why?

2025-11-01 17:17:13 UTC

The kicker is always "Why do I have to learn calculus?" Aha aha ahahaha.

2025-10-30 21:42:16 UTC

HOT YOGA GLASGOW are BOG COPS. They are throwing trans people out of their gender-presenting changing rooms.

2025-10-29 20:23:39 UTC

- reply

@nprofile…w8t5 Definition is our art.

2025-10-26 16:47:50 UTC

I'm doing a thing called
NOT WHO YOU'RE LOOKING FOR
in which I wander through television that isn't Doctor Who, spotting Doctor Who connections. I wish I had the energy to make it a podcast, but I don't.
I can at least manage a thread.

2025-10-25 16:23:09 UTC

I hear the sound of impatient morons letting off fireworks in soon-to-be-over broad daylight.

2025-10-16 20:55:57 UTC

I did a demo at TYPES 1998 in which dependent pattern matching turned into eliminators, quite slowly, before their very eyes. This was before JMeq, so later equations in telescopes were type-fixed-up (i.e., made homogeneous) by substituting with earlier equations. It was clear where K was used and where not.
Less than a year later, I was writing my theis. I began a sentence "Of course, it is important that the two things proposed to be equal have the same type because ..." and then I realised I did not know how to finish the sentence. In fact, I considered the counterfactual. I was shocked to notice that heterogeneous equality made dependent pattern matching just drop out. I felt an idiot. I binned the 1998 story and wrote it up the easy way.

2025-10-15 23:50:48 UTC

Speaking of Troubles, as a child of that era, let me be clear that I consider toilet vigilantes to have the same status as police informants.

2025-10-15 22:51:27 UTC

The UK is on the cusp of introducing an anti-trans apartheid regime that will make public existence by the rules unbearable for me. For the time being, I shall use what charisma I can muster to carry on living my life in public, and I shall campaign for change. In my own political state, I shall stay and fight. But I can't condone hosting a conference in the UK any more. Trans visitors should not be required to fight the fight that I choose to fight.

2025-10-15 22:42:36 UTC

@nprofile…w8t5 @nprofile…dnqz I'll gladly do so.

2025-10-15 22:25:48 UTC

- reply

@nprofile…rrqe I agree. But I still thnk the USA has consciously voted to be fascist.

2025-10-14 20:56:55 UTC

I'd love to tell you my ideas, but you keep telling me to fuck off.

2025-10-12 09:42:50 UTC

- reply

@nprofile…6kk0 If you want a date for the "Crude..." slides, it's 2012, Hotel Erica, Berg en Dal. The reference to 2002 was a fond recollection of a talk Peter Aczel had given in the very same room, ten years earlier, in celebration of Per Martin-Löf's 60th birthday.

2025-10-07 22:05:55 UTC

You control a classroom by being obviously the person in it who has the most interesting things to say. God help you if, despite the tactical advantage of being the teacher, you fail to be that person.

2025-10-01 21:34:33 UTC

One of the things I need to do, every year, is to teach students to read code and think about what it means. It's not only that they currently can't, it's that they don't see why it's important.

2025-09-30 21:14:15 UTC

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.
I'm into building a new machine. I'm not quite sure I want exactly the same machine as you, although they're not far apart. And I know better than to predicate the success of a project on the two of us agreeing. I also want to teach my students, ask, so far, has many stories to offer, good and bad. I want to learn and move on.
I think the maximum community benefit is if we think together but build apart.

2025-06-18 22:27:19 UTC

My comedy-thriller drama series (which I shall never write) "St Andrew's Cross" imagines a future independent Scotland as a high technology society that defies international pharmaceutical patents and funds contributions to open-source software. Thus incurring the wrath of corporations and England.

2025-06-14 13:49:48 UTC

- reply

@nprofile…6kk0 "Look out the window and count the fish!"

2025-06-08 18:19:13 UTC

as I said, should have spent a whole quid
https://pool.jortage.com/typespl/media_attachments/files/114/649/115/977/783/825/original/c9da91bdcb860a0b.png
https://pool.jortage.com/typespl/media_attachments/files/114/649/116/505/954/844/original/b2db9113ef6ef74c.png

2025-06-08 14:55:26 UTC

I’m having the kind of day I needed.
https://pool.jortage.com/typespl/media_attachments/files/114/648/312/477/719/576/original/3a0f3c88a32b25cc.png

2025-05-31 17:27:10 UTC

- reply

@nprofile…hszg If you want to make sure that it takes only a minute, do it at the last minute. Don't keep things in your head.