What do you mean? Yield is a function of the chip size and density as well as the process. Plus it's a commercial secret so your bet can't be adjudicated.
As soon as China can get their yields up, they will go all in on exporting these. Until then, they will subsidize them for domestic use. So you can kind of tell where they are by what they do with the chips.
Yield is generally not an issue over time, at least not as big as someone outside of the industry would think, if you get enough chips to work in the first place. For high volume chips, fabs will tune their process specifically for your chip over time. And you can do mask changes just to address yield problems and you can add redundancies if you have to. For example Huawei is no longer bottlenecked by the quantities of chips they can get for their handsets. Their problem is that they can't get the performance they could get with a better process.
Performance is generally limited by the process. Yield not so much. Assuming you can make it at a meaningful level at all, yield is generally a learning process.
Yes division is a poor example. It's a poor separation of concerns to try to wrap at this level without usage context. To see the point try to wrap overflows on arithmetic functions.
> To see the point try to wrap overflows on arithmetic functions.
The invariant is less obvious, but you could still do this if you really wanted. The observation is that addition of two fixed-size nonnegative integers cannot overflow unless at least one is greater than half the range. So your `non_overflowing_addition` function would need take two inputs of type `NonNegativeLessThanHalfMaxValue`, where the constructor for the latter type enforces the invariant. Multiplication is similar, but with the square root of the range (and I suppose `NonNegativeLessThanSqrtMaxValue` could be a subtype of `NonNegativeLessThanHalfMaxValue` if you want to be fancy).
Note that addition also won't overflow if one addend is greater than half the range, but the other addend is still small enough (e.g. for the range -128 to 127, adding 65 + 12 will not overflow, even though 65 is greater than half of 127).
Your intention of having the restricted domain "NonNegativeLessThanHalfMaxValue" is probably so that both addends have the same domain. If you go down that route, perhaps you'll also want the closure property, meaning that the range should also belong to the same set. However, then you have to deal with the overflow problem all over again...
The real point is that when adding two N-bit integers, the range must be N+1 bits, because the "carry bit" is also part of the output. I think this is a scenario where "Parse, Don't Validate" can't easily help, because the validity of the addition is intrinsically a function of both inputs together.
A lot of Chinese internet commentators are very ignorant of the reality in the US, but the Economist's riposte is weird too. For example how is the Chinese property malaise, which reflects an oversupply of housing and largely affordability of rent, somehow a refutation to the Chinese focusing on US homelessness? Is the Economist's position that they should create housing shortage to shore up the economy?
Price of a commodity metal can do whatever they want without causing a big problem. It is just a resource allocation signal. However if you base your currency value on it suddenly you are forcing debtors into bankruptcies if the value shoots up. Credit relationships aka investments are what make an economy run and grow, not some arbitrary commodity price.
Debtors who roll their loans also go bankrupt when the fed raises interest rates.
Rolling loans is par for the course for many capital intensive businesses. This is because in a low interest rate environment if you act prudently you’ll get outcompeted.
You're just so used to a debt fueled economy that you can't think of it being any other way. That is the problem though in that 99 times out of 100, debt goes rogue in a runaway sense and blows up the system. It is a time bom.
In essence, debt doesn't need saving from the system; it's the system that needs saving from debt.
A system that lasts a hundred years before failing is a successful system. This reminds me of comments about bankrupt companies that made massive profits for 10 years, calling them failures. That's a success and the comment is sour grapes.
Your point is right on. And additionally, why would an average Indian refuse the pay package to work in China? The top r&d guy at SMIC is from Taiwan after all. Liang got both Samsung and SMIC into the advanced nodes.
Humans are also not rewarded for making pronouncements all the time. Experts actually have a reputation to maintain and are likely more reluctant to give opionions that they are not reasonably sure of. LLMs trained on typical written narratives found in books, articles etc can be forgiven to think that they should have an opionion on any and everything. Point being that while you may be able to tune it to behave some other way you may find the new behavior less helpful.
Cheap housing isn't the problem. The problems are people speculating on the appreciation of property, banking system depending on property value as loan collaterals and local governments depending on property sales for revenue generation.
And if you build cheap housing and there is no one to live in it, what is the purpose? China has hundreds of thousands of empty units? Entirely empty cities?
I don't think people mind having bigger spaces but market is not clearing. In the US you have slums and bombed out building shells in prime urban locations as well. It is fascinating how human expectations work against each other.
reply