Philippa Cowderoy's Avatar

Philippa Cowderoy

@flippac.bsky.social

Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else. (she/her)

255 Followers  |  152 Following  |  1,153 Posts  |  Joined: 14.11.2024  |  2.0777

Latest posts by flippac.bsky.social on Bluesky

there's a metamaturity model somewhere that says yes

10.11.2025 12:48 — 👍 1    🔁 0    💬 0    📌 0

Which, of course, the marines themselves can't use.

08.11.2025 14:22 — 👍 0    🔁 0    💬 0    📌 0

"can't get sued for disability discrimination when nobody diagnosed the disability" in play here too, for which fuck 'em

07.11.2025 16:29 — 👍 2    🔁 1    💬 0    📌 0

As well as treating ADHD like a joke diagnosis (as an ADHDer diagnosed in my 30s after years of struggling and now benefiting from medication, I can assure you it is not), this is de facto privatisation.

07.11.2025 16:17 — 👍 5    🔁 2    💬 3    📌 0

Given the party system in the USA means that anyone can register as a democrat, win a primary and become the dem candidate in an election, whereas in the UK labour party you have a top down executive apparatus that is jealously guarded and controlled by whichever faction is currently winning...

No

07.11.2025 12:55 — 👍 87    🔁 16    💬 2    📌 0

I think it's really worth remembering that for all the tub thumping about cracking down on asylum it has never been in the interest of nationalist politicians to reduce asylum by dealing with international human rights atrocities at their source.

07.11.2025 07:52 — 👍 91    🔁 35    💬 3    📌 0

you get garbage whatever you put in

07.11.2025 11:53 — 👍 2    🔁 0    💬 0    📌 0

A little more continuity here, but my life had always been pretty isolated. Just don't ask for photos between the ages of 16 and 20, I'm told they're horrifying.

07.11.2025 10:34 — 👍 1    🔁 0    💬 0    📌 0

Zombies as a [Medical] Service

07.11.2025 10:28 — 👍 1    🔁 0    💬 0    📌 0

Take care and good luck. Can't imagine I'm first choice, but you can probably find safer places to contact me too.

07.11.2025 10:27 — 👍 1    🔁 0    💬 1    📌 0
Post image

yes

30.03.2025 01:24 — 👍 33295    🔁 8645    💬 163    📌 396

Now, if I see a moving car on the pavement...

06.11.2025 19:01 — 👍 1    🔁 0    💬 0    📌 0

"Am I in the arctic? Is it a grizzly? No?..."

(though if I know the unfamiliar man's a bear that might swing it)

06.11.2025 18:16 — 👍 2    🔁 0    💬 1    📌 0

I mean, depending on how long it's going to be otherwise I might play with the danger kitty until it got fed up, but very much not the point

06.11.2025 18:14 — 👍 0    🔁 0    💬 0    📌 0

The MSFP2020 talk is "neater" in its presentation (two MSP101s into two SPLS talks into one workshop talk!), but is missing pieces you probably want: it and its extended abstract (which includes some missing pieces) might be a good place to start still?

Happy to chat f2f once I'm a bit better, too

06.11.2025 18:01 — 👍 1    🔁 0    💬 0    📌 0
Flip Everything! - Information Aware Type Systems and Telescopic Constraint Trees

I've got a big pile of slides from variant talks etc - flippac.org/posts/Inform... has links to a bunch of material and I gave two SPLS talks in 2019 with the second one being closer to "the recipe" as opposed to "the ingredients"

06.11.2025 18:01 — 👍 1    🔁 0    💬 1    📌 0
Preview
Martine Croxall broke rules over 'pregnant people' facial expression, BBC says The BBC newsreader was reading out a news bulletin about research on groups most at risk in UK heatwaves.

In this piece, admitting the BBC has broken its impartiality rules re. trans people, the BBC further breaks its impartiality rules by changing a quote saying "trans identity" to "trans ideology".

06.11.2025 16:18 — 👍 716    🔁 231    💬 19    📌 17

("Death-or-glory" excludes the middle of "dunno yet", errors that are mostly a collection of "dunno yet" can be managed without search/backtracking and the interaction between search and genuine unknowns generally wants some care in where your branching could be and why)

06.11.2025 11:34 — 👍 1    🔁 0    💬 0    📌 0

Search certainly gives you a whole new world of possible worries! Or a whole universe of such worlds...

06.11.2025 11:28 — 👍 1    🔁 0    💬 1    📌 0

I mean, it's not Joe Kucan, so yeah

06.11.2025 11:11 — 👍 1    🔁 0    💬 0    📌 0

Generalise only over things that are as solved as they'll get

(it's possible to have a constraint system structured so you can ask when, but much better to be told when it's happened!)

06.11.2025 00:43 — 👍 2    🔁 0    💬 0    📌 0

Type Checking in Context demonstrates a technique for that [using the context in lieu of a constraint store] using Hindley-Milner as a minimal example.

I've done the same thing and have at least part of a recipe for deriving that flavour of constraint store/system: had two slow years in a row too.

05.11.2025 22:08 — 👍 3    🔁 0    💬 1    📌 0

Not only constraints in general but also on the order you solve constraints in! Which is to say: if your constraint system doesn't know about them, it'll mess up.

(This is profoundly not news and also another thing Epigram 1 did)

05.11.2025 22:08 — 👍 2    🔁 0    💬 2    📌 0

I think there is an idea on here that Access to Medical Transition is the most radical/root Material Demand, which is why there is a certain anger when that framing gets questioned. But I believe that while obviously access to medical transition is part of the agenda it's far from the most important

04.11.2025 14:14 — 👍 36    🔁 12    💬 1    📌 0

Starmer can nationalise water and rail, but chooses to continue the shareholders' gravy train.
Starmer can stop all arms exports to, and support for Israel, but chooses to support genocide.

Starmer is NOT on your side. Starmer serves and protects the very rich, and Israel, at YOUR expense.

04.11.2025 08:58 — 👍 13    🔁 6    💬 0    📌 0

Selling makeup to eldar does sound kinda rough! (sorry)

04.11.2025 12:21 — 👍 1    🔁 0    💬 0    📌 0

...too young to ask where the USB C cable needs to go, right?

03.11.2025 22:04 — 👍 0    🔁 0    💬 1    📌 0

The idea that by blocking people you're denying them the opportunity to hear opposing opinions is garbage. If you genuinely want to expose YOURSELF to opposing opinions in good faith, it's really easy to do that without getting mass blocked. It doesn't mean anyone else has to listen to you.

03.11.2025 21:54 — 👍 8    🔁 2    💬 0    📌 0

Yeah, the same goes for vitamin D absorption problems and the like

03.11.2025 18:39 — 👍 1    🔁 0    💬 0    📌 0

(see also: in complex systems usually more than one thing's gone wrong by the time you can see something's wrong...)

03.11.2025 18:35 — 👍 1    🔁 0    💬 0    📌 0

@flippac is following 18 prominent accounts