The US put export restrictions on Nvidia in China, so they can only sell older chips there.
a lot can go wrong there to be sure
How are you going to use in the US without access to US based apps that everybody else uses. The reason Huawei ended up having to make HarmonyOS was that it got cut off from using Android and Google store. A phone is a communication device first and foremost. That means you need to be able to plug into the existing ecosystem to use it meaningfully. The US made sure that even if you could get your hands on one, it’ll just be a nice paperweight.
For sure the ramifications of these are huge, and there’s a global treaty against doing these things for a reason. I do think that beyond initial panic, the long term ramifications will be that countries will increasingly focus on building domestic supply chains. We’re also seeing geopolitical blocs forming now around G7 and BRICS. This is another line of decoupling of the global economy. Countries within each bloc will have more trust in each other, while they will shun products from the outside.
love how you had to make an account on a different instance to avoid the ban just so you can let us all know how much you’re seething
Indeed, it’s clear that this is a pretty widespread problem. It’s also important to note that there is a global treaty came into force which “prohibited in all circumstances to use booby-traps or other devices in the form of apparently harmless portable objects that are specifically designed and constructed to contain explosive material”. So it’s clear that what the west has been doing goes directly against international law.
Absolutely hilarious how westies freak out when people talk about them the way they talk about other countries. Happy seething and coping to you.
companies do this to people working remotely as well
I’m sure people in the west will be concerned as well, but not like they get a choice seeing how western regimes already ban non western tech. For example, good luck buying a Huawei phone in US or Canada.
Uh yeah, nobody outside the west will trust tech from western companies that are now known to be compromised.
Critical support for the US becoming more insular and cutting itself off from high end technology.
For sure, it’s a lot more relatable in these terms.
That’s a good point, there’s no reason this couldn’t be designed as a closed cycle system.
You’r right that only OCaml and Haskell can be used as extraction target for Coq programs. However, it is possible to use Coq to write verified C software. On example is the Verified Software Toolchain that lets you translate C programs to a format that Coq understands and can prove theorems regarding their behavior.
there have been attempts at writing kernels using stuff like Coq https://www.cs.columbia.edu/~rgu/publications/cacm19-gu.pdf
Magnetic tape turns out to be one of the best options.
Personally, I just don’t have time or energy to play big AAA games for the most part. I very much prefer smaller indie games nowadays, and Steam Deck has those in spades. I would wager a lot of older gamers are in the same boat.
It’s really mind blowing to me that westerners thought that if they’d cut off China from western tech than China wouldn’t be able to replicate it.
Repackaging old games for new consoles is basically the entire business model for Nintendo at this point. In light of that, I can see why they go after emulators so hard.