The continuations in CPS are closures. Goto basically isn't. GCC's computed goto is, but generally when people say 'goto' they mean the traditional C goto, which involves no closures. The goto analogy is not great for this reason.
A better analogy is that continuations are reified function call return addresses, since return addresses come with a frame pointer (explicit or implicit), and therefore are closure-like.
> The Google founders are, lets say, more reliable than Musk when it comes to making sound business decisions.
I've no idea about that and I won't opine. But every time I see that sort of statement it seems likely motivated by the whole Twitter acquisition. Perhaps that was just a toy or vanity project for him, one he could afford, so even if you think he's running X terribly it might have nothing to do with how he's run or would run any other companies that are not related to social media. In other words, what I read into such statements is "I don't like the politics he's brought to Twitter!", "the board should rein in the guy whose politics I don't like!!". It's like saying Bezos is bad at business because he owns the Washington Post -another vanity project- and you don't like the Post.
Do people not get bored of that sort of take?
Tell me he makes bad business decisions all you want, but in the context of everyone-hates-his-acquisition-of-Twitter I'd like to hear about his other businesses. Tell me something useful, not something political.
And, sure, politics at some point bleeds into business. Maybe Trump is out to get Bezos over Washington Post coverage, or maybe the next Democrat President will go after Musk for his politics. It's possible that X will eventually cost him dearly and personally, and it's a solid argument for these billionaires and trillionaires to stay out of politics. Or maybe it's a good argument for them to stay in because maybe by demonstrating electoral influence and power they can make the POTUS-of-the-day fear them enough to not go after them too hard. But if you made any such argument it still wouldn't say tell me anything about the rest of these billionaires' businesses.
Space GPUs are stupid, so is hyperloop, so is the Vegas Loop; robotaxis don't work, cybertruck sucks, the humanoid robots don't work, the new roadster is nowhere to be seen.
SpaceX blew up an entire launchpad because Musk thought flame diverters are gay, or something.
Every single one of those examples is both valid and - I believe, at least - misunderstood.
Musk has a singular goal as far as I can tell: to make humanity a multi-planetary species. All of those things are testing the boundaries of what's possible in areas that will or could be very important for building a permanent settlement on Mars.
I posit that while there's much room for debate around whether or not those projects are viable, as far as I can tell everything Musk has done has been in service of building the corporate framework, talent pool, skills, and technology necessary to colonize Mars.
Ok. A permanent settlement on Mars. Given the personal control structure at play in his companies giving him autocratic control there, why would anyone believe he wouldn’t be anything but a Martian autocrat, and who in their right mind would willingly submit their own sovereignty to Emperor Musk the First of Mars? It’s not exactly like you could change your mind and walk away. You’d be literally putting your life in the hands of this wildly erratic person.
While my own views are likely closer to Musk's than I suspect yours are, I share those concerns. I don't think I'd be interested in moving there, at least not in the initial waves.
My optimistic view of the future looks more like "The Moon is a Harsh Mistress" than "Total Recall".
I'm sorry, you'll have to do an awful lot of explaining to do if you want me to believe Hyperloop, a 100+ year idea proven not to work, and the Vegas Loop, one of the most asinine infrastructure projects I've ever witnessed in my life, could possibly in any way whatsoever contribute to life on Mars
Terrain is the best available protection on Mars from radiation, and is it's far easier to pressurize a structure excavated from bedrock than it is to pressurize a dome or similar.
Hyperloop and the Vegas Loop are projects used to justify the existence of the Boring Company. The Boring Company's tech is definitely relevant to extraterrestrial habitat creation.
It isn't TPMs nor attestation nor DRM making this possible. It isn't secure boot either. It's walled gardens with secure boot -yes, secure boot- that the consumer can't bypass. Secure booting isn't the problem in an enterprise setting -- of course we _want secure booting_ in the enterprise. It's consumer devices that can't be jail-broken that are the problem. Although even then, the silly age verification laws and the people pushing them don't even care if the OSes run on walled garden devices.
I would posit that any device that can't be jailbroken is a walled garden. Whether the wall is made of an app store or an operating system, it's not yours if you can't do what you want with it.
Would it? Parents who so choose could restrict their teenagers from owning a device and instead give them one owned by the parent and configured not to show adult content.
A sufficiently adversarial teenager could get a different one, but they could do that regardless since it generally costs even less to get some 18 year old high school senior or homeless adult etc. to lend you their ID than to buy another device.
It's a fairly widespread idea for architectures that try to move things out of kernel mode. The Hurd does program image file loading in userspace, too, in its exec server(s).
The tricky part is setting up the initial process. The way out for that is static linking and re-use of the fact that the operating system kernel loader has to understand and be able to load (at least a small subset of) program image file formats too.
reply