Interesting Links for 05-08-2025

[andrewducker]

1. How the UK's Equality and Human Rights Commission has gone horribly wrong,

(tags:uk equality rights OhForFucksSake politics )

2. "The Demon that Wears my Face"

(tags:jobs ai short_story scifi )

3. You get women with XY chromosomes who can give birth. Turns out biology is complicated

(tags:gender women genetics )

4. The Math Is Haunted (a look at a mathematics prover)

(tags:mathematics programming )

5. Scientists unravel decade-long mystery behind death of five billion starfish

(tags:life disease ocean sea )

6. Aerial footage filmed by ITV News shows the scale of Gaza's destruction

(tags:gaza genocide Israel )

7. Grid-scale Batteries in Scotland Stabilize Power

(tags:Scotland batteries electricity )

Comments

[cmcmck]

And women who are xxy or xxxy who can't usually because, like me, they are intersexed.

[bens_dad]

3. The paper says that this is very unusual.

I don't know the details, but I have heard of a family with three generations of XY women: daughter, mother and grandmother.

[andrewducker]

Yeah. I don't think we'll know how unusual it is until we're recording everyone's genome.

[calimac]

If it can happen, it doesn't really matter how unusual it is. However few of them there are, they are individual human beings who have to be accounted for. The range that biology exhibits has been demonstrated.

[andrewducker]

Absolutely.

[dewline]

1. EHRC has clearly been subverted to the purposes of organized bigotry crime.

3. Clearly reality is more complicated than some of us want to admit or tolerate others admitting.

7. Excellent news. This will set a precedent for the rest of the world.

[jducoeur]

On (4) -- I've been aware of Lean, but hadn't actually seen any code before. Neat stuff!

It reminds me a lot of Scala, and that isn't really an accident: while Scala is intentionally a hybrid of functional-programming and object-oriented styles, it has a lot of FP in its type system. Indeed, Scala 3 decided to pick up given as a major keyword, specifically to echo its mathematical meaning -- it is basically how you provide something to the part of the type system that is implemented as more or less a theorem-prover.