Yes for OCaml. Haskell’s inequality is defined as /=
(for ≠). <>
is usually the Monoid mappend
operator (i.e. generalized binary concatenation).
My gut feeling is that the procedural generation thing in Startfield somehow absorbs some people’s need for mods.
There’s a Generals Evolution mod for Red Alert 3, which super-glues Generals to RA3 and it’s pretty great.
The Chinese Great Firewall (GFW) has already been using machine learning to detect “illegal” traffics. The arms race is moving towards the Cyberpunk world where AIs are battling against an AI firewall.
Have you heard of 996.icu? I don’t know where you get your statistics, but have a walk around 五道口 and you’ll understand.
Also, I don’t know where you see that I’m a fan of CCP. The government is largely responsible for the phenomenon by not prosecuting the companies lol.
I’m not saying that this isn’t a protest, but merely providing the context for the protest. They took the relaxed dress code to an extreme and deliberately interpreted it as “anything you like”. It’s more of a malicious compliance protest. That’s why they were scolded by the leader, instead of being fired.
I’m not saying everything about China is evil, but 996 is an actual thing, actively resented by Chinese young people. I’ve got friends working such schedules. I’m presenting their views. I had also visited their offices and saw the folding beds.
For those who don’t know, it’s not quite new (except for the word that describes it, Ban Wei 班味). Because of the long working time, a lot of Chinese companies (especially in the tech sector) allow very casual dressing, plushies, even folding beds in the office. Sounds good but is actually horrifying.
The sentence meant to be sarcastic. The dry humor was lost in translation.
It’s a one-piece pajama in the video. She has a coat over it during the work.
In some sense yes, but advertising for its own stuff is advertising too. It nudges you to use their whole ecosystem.
The most annoying thing for me is that you can’t remove the iTunes component in mission control (the settings deck).
In general, given a Turing machine which outputs the result of a procedure to its memory tape, you can equivalently construct a recognizer of valid input/output pairs. Say P is the procedure, then the recognizer R is let (i, o) = input in P(i) = o
The reverse is also possible. Give a recognizer R, you can construct a procedure P that given part of the input (can be empty), computes the rest of the input that makes R accept the whole. It can be defined as for o in all-strings, if R(i, o) then output o and halt, else continue
.
It might feel contrived at first, but both views can be useful depending on the situation. You’ll get used to it soon with some exercises.
For all possible input, only recognize the one input that’s (under certain encoding scheme) equal to the sum of the given list. That’s for a given list.
Another more general approach is that, only recognize the input if (under certain encoding), it’s a pair of a list and a number, where the number is the sum of the list.
I mean, that’s also how now commonly accepted names came into being in the first place.
Every time I plugged USB-C into SDCX: perfect height, but why are you moving?
Basically it’s two people saying “Is it falling? Wouldn’t it explode? I’m recording it. Fuck the rocket is falling!”
From 5-8 seconds, the person seems to be saying争着争着中火大了, which doesn’t mean anything to me, but it may be something of the local dialect.