4,452 karma · joined December 5, 2014
Their new Broadcom chips seem cool, and they had a nice model release with Astra. But, that doesn't mean they've solved the profitability question during an era of rapidfire open-weight model releases, extreme memory shortages, and intense political pushback.
Seems like the next evolution for memory-safety will be in the hardware, with CHERI.
Language-level memory-safety is all fine and good, if you can afford the rewrite. But, you still have to trust the software supply chain (the compiler, build server, etc).
However, there's a third and broader category called Proof Carrying Code, which could be used to guarantee all kinds of security properties of binaries, including memory-safety in a way that requires no supply chain trust.
With both CHERI And PCC, your machine will simply never perform unsafe memory access, and it doesn't matter what language the binary was authored in.
Seems like language-level and PCC safety guarantees are the kind of thing that AI agents will make much more practical. With AI hacking, this only gets more important. They've already started trying to rewrite everything in Rust, but PCC and CHERI go further.
Redesigning the entire OS stack around zero virtual memory, and purely static allocation, seems like a direction that will need to be done. CHERI makes that much easier.
Not to mention the gene-therapy version of the same PCSK9 inhibition pathway called VERVE-102 which Eli Lilly is putting through human trials as we speak.
I imagine that stacking the LP(a) antisense therapy with a PCSK9 inhibitor, and/or a statin or Nexlizet would probably lower odds of heart disease death by two to three orders of magnitude. But I guess there isn't solid mortality data to say for sure.
And we must remember that 6G is in the final stages of development, which has peak speeds of 1 Tbps.
Every human being is self-interested, at least to some degree. So, it is perfectly expected that he seeks money, fame, status, power, sex, etc.
But he doesn't seem to exhibit these to an abnormal degree, and in any event, you can just evaluate his claims based on evidence and logic and they either succeed or fail.
Just because the Wright Brothers were selling airplanes doesn't mean that they didn't fly.
And, alongside that, there's also open firmware.
Unlocked hardware is maybe what I would call hardware that enables swapping out the software. Although, historically, we didn't even need a term for that, because that was the default aside from outliers like Apple.
We have had that kind of system, now, for just about everything. Not just from the Big Brother direction, but also the Little Brother direction. At any time, a mob of people might decide to pull up your old digital footprint and condemn you for it.
Likewise, even before AI, at any time the IRS could decide to audit your past tax filings, or data breaches could expose your personal secrets, or street camera can nab you for a traffic violation, or someone could decide to pull up surveillance footage and get you for something, and so on.
The exact degree of difference between the two systems is significant, but much of the marginal psychological burden of such things has already been paid by everyone living in industrial civilization. And, as with the panopticon, just the small chances of active monitoring already provided 80% of the sought-after result.
Indeed, that kind of condition is what people like Ted Kaczynski were so bothered by decades ago.
Those living in the epicenters of civilization, like those in the largest cities, have basically been under almost constant surveillance now for decades.
And you'd have to balance all this against the wealth of severe X security bugs that have been coming out even just this week, and the maintenance burden of supporting it in a volunteer project with limited backing.
There's an argument that they are being too conservative. Other DEs like GNOME have already dropped X.