Nowadays it's really easy enough to use real Haskell in the browser with GHCJS, and FRP libraries like Reflex provide a much more complete experience than Elm's restricted form.
They give you all that stuff to some degree to cover over how toxic the culture and job is otherwise. Leaving Google was the best decision I ever made despite the fact that I now get none of those things and make significantly less money.
I left Google for very many of the reasons mentioned in the article and I'm a white male. So I can only imagine how hard it must be for minorities.
Thankfully I had the opportunity to make this change early in my career, although my financial situation is suffering dearly for it. And it's hard to swallow when everyone you know is making 2x your salary and just about all of them have a bunch of family money as well. (I grew up thinking I was upper middle class and somehow was the poorest person in pretty much all my social circles when I was at Google. The tech bubble is real.)
Keeping perspective and realizing that even if you leave toxic tech and take a pay cut you'll probably still be in the upper echelons of the world inequality distribution is hard but super important. And you'll realize that rich people are on average way shittier and probably not worth hanging out with anyway.
IMO Unix is plenty bad enough to warrant replacement but unfortunately its iron grip on computing dooms any good ideas like capabilities in the short to medium term (at least 10 years).
Why is it on AMD to support TensorFlow? Pretty sure it is on the machine learning people to use the standard APIs like OpenCL or Vulkan etc instead of CUDA...
I quite working at Google largely because I found many more dicks there than average. So maybe Max would be a perfect fit. (Although let's not forget that admitting you are a dick at times takes a certain amount of humility.)
No but in all seriousness, maybe there should be some unification of efforts. The distros share a similar philosophy modulo Nix's better package manager and Arch's better packaging.
Interesting that they relate this to linear logic. Of the various sub-structural logics I'm pretty sure ordered logic (no exchange) is much more similar to stack machines than linear logic (no contraction or weakening but still exchange).
I don't fundamentally disagree with the article but this is ridiculous:
> People sometimes ask me, “What is the most important concept in political economy?” The answer is easy, but subtle: permissionless innovation, a strong presumption in favor of allowing experimentation with new technologies and with new business platforms that use those technologies.
Surely the ideas of capital, labor, markets, property, etc. are more important concepts in political economy?
This is an interesting line of thought. The spread of capitalism was fueled by the new technology of the Industrial Revolution. Perhaps the next mode of production will be fueled by this 'Internet/Computer/Robot/AI Revolution'. Maybe the important change is this "trivially scalable output irrespective of capital" property, but no one really seems to know what this will lead to.