Elektrine lite

← Feed

Conor Titania Mc Bride

pigworker@types.pl

<p>Irish in Scotland, maker of mistake, I&#39;m Conor, a trans-femme poly Computer Scientist. Titania is my middle name: it&#39;s nice if you use it in &quot;full name&quot; situations, but I remain &quot;Conor&quot; in first-name situations. I am not the first girl called Conor, and I think it could catch on.<br />Professional pronouns: they/them<br />Personal pronouns: she/her</p>

Posts

  • View post

    RE: https://mastodon.online/@billyjoebowers/117005671840244649 And people are still arguing over who to vote for. Voting is over. Only murder now.

  • View post

    When you find yourself in the business of having argyments about matters of fact with people coded as scientists, do not be surprised when you are met with secondhand disinformation, uncritical regurgitation of prejudice, abuse, and if you are very very lucky, flattery that you are a big-brain whose thoughts are not in the same universe and therefore require no engagement.

  • View post

    argyments was a typo but I decided to keep it

  • View post

    I&#39;m still scarred by the fights that I had in the noughties, even though I won them.

  • View post

    I was reminded of a line from Tinker Tailor Soldier Spy. Control (Alexander Knox) says &quot;Merlin&#39;s become an industry. It&#39;s the industry and I&#39;m not employed!&quot;. Control always preached that intelligence depends on a kind of gentleness....

  • View post

    Nothing about my childhood or my education made room for my humanity.

  • View post

    I genuinely cannot believe it has taken me this long to check whether there is a British Rail station with the three-letter code LLM.

  • View post

    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&#39;s that shift which makes things which previously looked hard actually become straightforward. Up becomes down. So turn things upside-down.

  • View post

    RE: https://mastodon.social/@gutenberg_org/116974162477562349 Don&#39;t call it homophobia, though, because that presumes the outcome of a debate which is still ongoing. Or something.

  • View post

    The UK parliament petition opposing trans toilet apartheid has trundled to 16k, https://petition.parliament.uk/petitions/770527, but please do keep pushing it. I&#39;m finding the associated map fascinating.

  • View post

    I was just about to go to bed when I heard a new woodpigeon.

  • View post

    I just heard this new friend sing.

  • View post

    The fact that &quot;sodium bromate&quot; sounds like a made up water impurity that turns men Australian yields a hilarity compounded by the fact that it&#39;s an actual chemical.

  • View post

    Stone Duality always reminds me of this video https://www.youtube.com/watch?v=2Xsv9iZPYwE and in particular the joke with the sign at the end.

  • View post

    In ask, a problem is presented as a present imperative (e.g., define or prove) until it has been solved, at which point the verb changes to a past passive (defined, proven). It occurs to me that the data declaration already fits this pattern, and what is now needed is an interactive mode of data type construction in which the problem begins da!

  • View post

    Thinking about ask-bis, I wrote a page to talk about how I&#39;m reimagining equational derivations: https://github.com/msp-strath/ask-bis/wiki/Equations

  • View post

    It was with mixed feelings that I just sailed past a very long queue for the ladies&#39; toilet at Edinburgh Waverley and let myself into the queueless and unoccupied &quot;third space&quot; with my radar key. It&#39;s hard to look all &quot;this is what you wished for&quot; when you really need to pee.

  • View post

    I&#39;m profoundly grateful to friends who made me react to she/her pronouns with blushes of joy.

  • View post

    Being trans isn&#39;t even the weirdest thing about me. Fighting for acceptance is not new.

  • View post

    In the noughties they DID NOT WANT dependently typed programming. And that meant they did not want me. But here I fucking am.

  • View post

    Dependently typed programming. They didn&#39;t want it. I made them fucking eat it.

  • View post

    God loves the beautiful woman I am. People sometimes notice.

  • View post

    And with that, I’m on a train back to the southside. Might be on for larks in a bit.

  • View post

    Queen&#39;s Park, I am in you. But I don&#39;t half need a bath.

  • View post

    Some more Colosseum II for youse. https://www.youtube.com/watch?v=aKHXDim19cA

  • View post

    And some Steve Khan, which somehow always reminds me of Variations, or is it the other way around? https://www.youtube.com/watch?v=DSeo_wCn7b0

  • View post

    Funky differential operators show up a lot in CS103, because I love them. In Sem 1, we do the forward difference operator for polynomials in one variable. In Sem 2, we do Brzozowski for regular expressions. None of these operators is quite the derivative they learned in school. And then on the test, I give them this thing prop Insertion ABC (List ABC) (RegEx ABC) where -- you can insert b *somewhere* into xs -- to get a string which p likes prove Insertion b xs p by Between as cs where...

  • View post

    RE: https://mstdn.social/@TomSullivan/116579148855527675 SPOT THE MASTER&#39;S TARDIS

  • View post

    I am so exhausted right now. What a year.

  • View post

    Perhaps I should turn https://github.com/pigworker/Samizdat/blob/main/Tree-Four.agda into an industry by my favourite method, namely getting a paper about it rejected by a major conference.