If you pay attention, your source has an asterisk of “typically” and “usually”, aswell as a distinction between phenotype and karyotype traits. While it is true that the majority of people with a Y chromosome are male, there are many people with Y chromosomes you’d call female because of their phenotype (which is what society primarily cares about), among other cicumstances.
I specifically said sex. Gender is mostly undefined. If you say that gender is the societal presentation as male or female, but you can’t define male from female then what are you defining? Its the “trans women are women” contradiction.
What are the chances that, just like moltbook, the rankings are botted, meaning that not many people actually downloaded the skill.
People are more likely to download more popular items, so I don’t doubt that people are affected, but given how botted moltbook was, I wouldn’t be surprised for download numbers to be botted aswell.
I’d be interested to see a satirical concept like this that goes more in depth by, say, having the operational semantics help fuel the satire. When I see things like this, I always feel underwhelmed when it’s just a keyword swap.
For example, take the title. Imagine if the PL was a declarative way of describing a distributed system, with HTTP endpoints or web sockets connecting modules. Then, for harvesting, it gives unbounded ability for nodes to read and write to other nodes outside of the standard interface. You can just go in and read/write their data, without any public interface needed. Of course someone else can probably come up with something better, but I think it’d be cool to see something that more fully uses what a “programming language” means.
I personally don’t like it intertwined with conversation, but I do think I like how it adds color to help emphasize certain information, outside of the text. A red X or a green checkmark is easier to see at the start than a sentence saying something is valid halfway through a paragraph.
Also, it using emojis helps as a signal that certain content is LLM generated, which is beneficial in its own right.
Yes, I have plenty of games from, e.g. the Epic Game Store on my steam deck, even in the steam home page, seamlessly.
Gamescope is even fully open-source, so you could remove the steam deck UI, and still run any game with the same performance benefits of not running it inside KDE. Of course also, you could flash a new OS on the device itself if you wanted to entirely remove Valve’s presence.
It’s interesting this is coming at the time when it’s also announced the licensing agreement between YouTube TV and Disney has ended. Perhaps they are bracing for an impact to revenue from there? Though I’m unsure how much YouTube TV contributes to the company, revenue-wise.
> In all popular languages that support "sum types" we just call them "unions."
When I was doing research on type theory in PL, there was an important distinction made between sum types and unions, so it’s important not to conflate them.
Union types have the property that Union(A, A) = A, but the same doesn’t hold for sum types. Sum types differentiate between each member, even if they encapsulate the same type inside of it.
A more appropriate comparison is tagged unions.
reply