The Chinese word 精液 (similar word also listed under Synonym) loosely translates to “essence fluid”

Well at least there is no clear conflict of interest /s

I think they are very clear from the get go that this desktop cannot have replaceable ram. They mentioned that they talked to AMD and even LP-CAMM2 cannot support this chip.

Honestly personally I am fine as long as the ram upgrade price is reasonable and provide significant energy-consumption benefit. I don’t think ram and CPU are components that are prone to failure.

I don’t laubcher can customize task switcher, this should be an AOSP feature?

I thought it is a oneplus thing.

They also need to put a little yellow star on all their clothing.

P

The OEM unlocking function in developer tools will be greyed out on locked phones, even if it is carrier unlocked.

Unless your method can get around that, it is unlikely to unlock the bootloader.

From the “unlocked” phone I got from verzion, they carrier unlocked, not factory unlocked. So they cannot install graphene OS.

Google, despite having a track record of killing services, does have a good track record to keep their phone up-to-date. On the other hand, most other android OEMs stop frequent update after a year or two.

Especially if it might hurt their income.

I don’t know anything about quantum computing, but recently I heard a long talk by a quantum-computing expert who were trying to convince us to work on quantum error correction. His (probably optimistic) estimate is that: with a good amount of help on error correction, we might achieve 100 logical qbit in 5 to 10 years.

Completely unpredicted breakthrough is rare in computer science; if Microsoft’s tech can actually solve quantum computing (as you discribed), it would have made much much bigger wave than this.

Okay I prefer to use FDE for security, especially on laptops, so my data recovery is never going to be trivial, yet with a live environment, also not too difficult.

Why is separating the OS with files necessary? I don’t think large files slows down the OS anymore, because of SSD.

This language reminded me the duality framework developed by Zena Ariola and Paul Dowen (there probably are other people working on it) based on classical logic.

This is not surprising, as vine claimed to be based on interaction net, a model of classical linear logic. However there are several questions that I hope to get some answers:

• Based on my extremely limited understanding, Ariola and Dowen’s framework seems to admit a evaluation order for the continuation (a expression with “expectation”) for each evaluation of values, like call-by-covalue, call-by-coneed. I was wondering what is the evaluation order of the continuation here.
• How does the linear aspect of the interaction net comes into the picture? Is there linear types?

That is indeed exciting, except I don’t know how cold is a witch’s tit :)

Man, I really need to get some sleep 🫠

Excuse me, but isn’t ass bikini part of a bikini? I mean they do have part for ass, no?

I recently went to the west coast and they call half a inch of snow a “snow storm” and shutdown the entire city.

I sincerely hope your snow storm is more exciting than this.

looks sharp ：）