js8

23 ms·

481.
by js8 1y ago
Theory of comparative advantage is probably wrong, though. There are huge advantages for a nation in doing (pretty much) everything, and having research close to application, and having tool makers close to their users. Analogy with human s
482.
by js8 1y ago
Of course I would have been born, I was born in a communist country (Czechoslovakia). You think they couldn't make a fertilizer back then or something? Our country is capable of producing less today than it used to during that era. We
483.
by js8 1y ago
Distance to Sun is roughly 150 Gm. More useful in this case is probably distance to the Moon, which is 0.38 Gm. So the car has traveled this distance more than three times.
484.
by js8 1y ago
Speaking of sniff checks, you might want to do that first, because that's not actually the prediction that Marx was making. In my understanding, Marx was actually appreciative of free market building stuff. The question he asked was th
485.
by js8 1y ago
I actually suspect once China moves to full electrification, they will become more demanding to other countries about climate goals. Geographically, they're in a tight spot so they have a big stake in mitigating climate change. EU is a
486.
by js8 1y ago
What we call environmentalism is actually 5 different concerns: - human health, pollution - preservation of natural resources useful for humans - preservation of biodiversity, nature in its original state - concern for animal suffering - ae
487.
by js8 1y ago
So, Karl Marx predicted that the capitalism will eat itself because capitalists will value creating money itself (and money-making enterprises, such as asset bubbles) more than the actual production of goods. This was later elaborated by ma
488.
by js8 1y ago
One of the core concepts in type theory is the function type. It's a kind of building block. So perhaps better would be to say functional programmers organize everything using functions. I suggest you look at simply typed lambda calcul
489.
by js8 1y ago
I think the answer is yes. Modern efforts to formalize mathematics use type theory a lot, specifically calculus of inductive constructions, rather than ZFC. At around 2000, I studied applied mathematics. I was curious about automated theore
490.
by js8 1y ago
I have thought for fun about a little RISC microcomputer with 6-bit bytes, and 4-byte words (12 MiB of addressable RAM). I think 6-bit bytes would have been great at a point in history, and in something crazy fun like Minecraft. (It's
491.
by js8 1y ago
I am not sure what you mean by "export promotion" in the case of cloud services. Competing on price? Either way, that seems to require significant government spending and that's also difficult in the EU. I understand what you
492.
by js8 1y ago
As somebody who works on IBM mainframes, I disagree. IBM is probably the best at forward application compatibility. People will laugh, but they should really look.
493.
by js8 1y ago
I agree but I would say it differently - if you're an investor in EU, you have no reason NOT to invest in the U.S. There is no "stick" for defecting the country you live in. That causes capital leaking out of EU, and thus EU
494.
by js8 1y ago
I think it's how selfishness manifests under (neo)liberalism, as self-promotion. The narcissists are extremes of that.
495.
by js8 1y ago
I am not sure what you're saying that I am not. Read the vibe coding definition given by grandparent (according to Karpathy) - you can see that compilers already satisfy that definition - we don't read the final code being produce
496.
by js8 1y ago
I used to work with a guy who double-checked the machine code generated by assembler (he was an old mainframe programmer, and allegedly used to work on a linker for ES EVM). So, clearly, almost nobody does that anymore. So according to Karp
497.
by js8 1y ago
I don't disagree with any of your conclusions, but he is not even a libertarian ideologically. Somebody who is a boss (owner or manager) in a private company can't be considered to put freedom of his subordinates above all else; i
498.
by js8 1y ago
It's a nice soundbite, but in reality people (maybe not Peter Thiel though) understand the value of the common goods quite well. (If you happen to be an uneducated American, who doesn't, you can come here to Europe and see.)
499.
by js8 1y ago
Israel never really accepted two state solution either (US has been vetoing against it, and together with Israel they still threaten any politician who seriously floats the idea of Palestinian state). There is other evidence as well, but I
500.
by js8 1y ago
> The Jewish minority in that case would not accept living in a muslim arab state since they consider Israel to be the sole refuge for jews in the world, the only place in the world where they don't have to be a minority. In the mod
501.
by js8 1y ago
No ground invasion is needed, not even serious economic sanctions for non-compliance. Just a simple phone call from American president, that Israelis are now free to fend themselves from "hostile Arabs", without US military aid (t
502.
by js8 1y ago
Actually, there are studies that show (by looking at past conflicts) that peacekeeping does work.
503.
by js8 1y ago
They already are in a civil war, if you stop (wrongly) looking at Israel/Palestine as two different states. Look at my proposal above. War didn't happen in postapartheid JAR, despite everybody saying it would. What would people fi
504.
by js8 1y ago
Honestly, I wouldn't ask Israelis or Palestinians for their opinion. I think the OSN should mandate and using peace forces: - Establish a new, transitional government of Israel/Palestine, nominated by the UN - Give citizenship to
505.
by js8 1y ago
Is two-state solution possible? Just look at the map of the territories under palestinian control, they're bantustans. Israel/Palestine is factually one state, which simply doesn't accept half of its population as citizens. Y
506.
by js8 1y ago
Isn't diamond too brittle for all these applications?
507.
by js8 1y ago
If you're interested in performance, what about all the number conversion (to decimals, presumably) that is incurred with JSON?
508.
by js8 1y ago
Why not use a saner protocol than JSON, e.g. CBOR?
509.
by js8 1y ago
LLMs (as well as humans) are algorithms like anything else and so they are also subject to halting problem. I don't see what LLMs do that couldn't be in principle formalized as a Lean tactic. (IMHO LLMs are just learning rules - t
510.
by js8 1y ago
LLMs could be very useful in formalizing the problem and assumptions (conversion from natural language), but once problem is described in a formal way (it can be described in some fuzzy logic), then more reliable AI techniques should be app

More ›