mafribe

67 ms·

601.
by mafribe 11y ago
The context is this: France has become one of Saudia Arabia's biggest trading partners. SA is probably moving away from the US as main arms dealer, who are deemed as having betrayed SA, e.g. by ending hostilities with Iran. Just recent
602.
by mafribe 11y ago
Most countries historically 'belonged' to somebody else. If the Turkish ruler (rather than a random Turkish citizen) was killed in Germany than clearly Turkish authorities would be invited to help with the investigations. There wa
603.
by mafribe 11y ago
The ETFs I looked at do disclose this. I guess it's a legal requirement, since it affects risk structure. No idea about the ratio.
604.
by mafribe 11y ago
not trading the original shares, That depends on the type of ETF. As far as I understand a "Physical ETF" does hold the securities of the index it follows. In contrast, "Synthetic ETFs" track an index using s
605.
by mafribe 11y ago
G Princip was a dumb guy who was used by Serbian military intelligence who were trying to incite violence for their own ends. The chief of Serbian intelligence Dragutin Dimitrijević had extensive experience with murdering rulers: he played
606.
by mafribe 11y ago
coffee shops are mostly [...] not conducive to friendly conversation. I think the opposite is the case. The only reason we coffee-workers tend to be anti-social "monads" are social mores: we don't want to distur
607.
by mafribe 11y ago
All true, but there is more. SPJ and S Marlow [1] list the following additional advantages of using a typed intermediate representation, which would/could apply to MIR too. 1. Running a type-checker on the IR "is a very powerful c
608.
by mafribe 11y ago
Aha, I had overlooked the switch stuff, so yes, it's like Core. I imagine that if Rust plugs in full CTFE then a lot of compiler optimisations can be written at the MIR level, which should simplify the compiler.
609.
by mafribe 11y ago
Thanks. MIR looks a bit more low-level than Haskell's Core. Like Core, MIR is typed, but unlike Core, match statements disappear. This is interesting, because matching is really the main computational engine of Core. I wonder if there&
610.
by mafribe 11y ago
Rust is working on doing it That's interesting. Is this still MIR [1], or has this evolved? The MIR design document is from 2015. [1] http://blog.rust-lang.org/2015/08/14/Next-year.html
611.
by mafribe 11y ago
Jobs come with people. The more people, the more interesting the cultural life, the more exchange of ideas. Berlin is still recovering from being surrounded by / part of a communist society. It will slowly normalise. Berlin is now the
612.
by mafribe 11y ago
I don't think density is expensive, on the contrary, density is cheap due to economies of scale. I think one reason might be food production and transport. Before the invention of refrigeration, fertiliser, mass transport, humans had t
613.
by mafribe 11y ago
I agree, Berlin being so green is a great plus. Something I'd change about Berlin is to make the place more dense. For example by doubling the height of each house.
614.
by mafribe 11y ago
I agree, this would be a fascinating experiment. 2m city on around 50 km2 is almost completely walkable, and certainly bicycleable. It would be just about big enough to have an interesting cultural life. I wonder why historically such a ci
615.
by mafribe 11y ago
underestimate the practical difficulties My point is not that this is easy/hard, but rather: it's easier to provide top notch infra structure for the worlds population if it is concentrated in a few dense urban centres, r
616.
by mafribe 11y ago
The city has a ring of waste disposal sites around it. Many of them are fully unregulated and illegal. Basically a catastrophe in the making. This is not a problem of big cities as such but one that Beijing (and China m
617.
by mafribe 11y ago
there is probably a point somewhere between those two points where the gains are only marginal. I think we have not reached it in any city currently on earth. I think the whole earth's population could live in a spa
618.
by mafribe 11y ago
Me too. Are you a professional economist? What research hypotheses would you be putting to test in Fairhope, AL?
619.
by mafribe 11y ago
huge cities like Beijing [...] are having huge problems I don't think these problems are city problems. The problem is a consequence of the numbers of people. For example the waste n people produce is more or less constant (
620.
by mafribe 11y ago
Have economists flocked to Fairhope, AL to study if the claimed benefits (or otherwise) of George-style land tax come to pass?
621.
by mafribe 11y ago
geared towards quick cheap labor for the PI's idea. I am not sure the phrase "quick cheap labour" really gets to the heart of the matter. The real reason why most PhD students work on their supervisor's ideas
622.
by mafribe 11y ago
Pedophile is the wrong expression! Maybe ephebophile is more appropriate?
623.
by mafribe 11y ago
Good point, I agree, it's not a constructive contribution. I should have paid more attention to the tone of the post.
624.
by mafribe 11y ago
It's an indication, a hint, that rules and axioms are not always completely exchangable.
625.
by mafribe 11y ago
I agree that corporeal punishment was generally accepted at the time. This is why I suspect (but don't know and surely can't prove, and might be wildly off the mark) that the primary reason the parents petitioned the authorities t
626.
by mafribe 11y ago
I'm not sure I would go that far. There is a difference, but it's not clear quite what it is. For example, it becomes progressively harder to get nice (with cut elimination and finite rule schemata) sequent calculi for richer a
627.
by mafribe 11y ago
I wonder why this is downvoted. L Wittgenstein's behaviour as a teacher was in parts terrible, and hitting a pupil so hard she collapses is hardly good pedagogy. Parents in the village wrote a letter to the school authorities to have W
628.
by mafribe 11y ago
You measure it in the same way, using the idea of shortest decription w.r.t. a fixed universal language. You than show that this is absolute up to a constant. Any results produced that way such as the incompressibility of most strings is in
629.
by mafribe 11y ago
Axioms and rules of inference are fundamentally different: Things are not that simple, because you can often convert axioms to rules of inference or vice versa, without changing the set of derivable consequences. As an example, c
630.
by mafribe 11y ago
Have you got any evidence for this, STEM tests at the border? And why would not the same effect play out with hispanics? And why do 2nd and 3rd generation asians so utterly dominate STEM subjects at elite US universities that there are de-

More ›