Taxes are already included. Prices are never given without taxes in Europe except in B2B where your customers don't pay VAT anyway.
It's because I'm not really precise (but neither is Lennart). Technically, libdbus is a part of dbus. It allows two applications to communicate with each other using the dbus serialisation and abstracts the transport…
That's again a myth. There is no dbus dependency. You can use dbus to do activation but you don't have to. Now, there is a dependency on libdbus which just means systemd is using the dbus serialisation format for its…
1 Bitcoin today and 1 Bitcoin in six months is not the same at all because you lose all the value you could have add from this Bitcoin during the six months so you have to discount it. That's called present value of…
Most people are completely unaware of what CS researchers are doing in France because they don't work on things which the public finds ultra-sexy. Most of what they do and are good at has direct industrial application.…
> It's a top-5 program internationally, so I take it to be quite good. Most of the international rankings are heavily biased in favour of English speaking countries and particularly the USA (especially ARWU). It's…
Does someone have read the original article ? I am curious about how the reader evaluation of potential risk was assessed. Was there a control group which didn't see any comment to compare variance amongst this group to…
I think you should probably read the links you post. They are close to claim exactly the contrary of what you say. As the Wikipedia article rightfully points, the difference is far less obvious than you make it seem.…
It's because of the way the premises are written in regard to the type environment in the rules and how things are unified. It's directly linked to free and bound type variables and yes, it's complicated to understand.…
No, this nonequivalence applies directly to the typing of the lambda-calculus which was the topic of the original papers by Hindley and proven by Damas. On the contrary, the value restriction is a part of the extended…
> Technically, [Let] is redundant because it is a combination of [App]+[Abs] : let x = e1 in e2 is equivalent to (λx.e2) e1. This equivalence does not hold in the HM formalisation. It's well explained in the…
I tend to disagree with you in the sens that Damas-Milner seems to me as the typical exemple of an algorithm which seems simple but actually have subtle implication and trade-off. Robinson's unification which is at the…
It never was a free lunch. Ever noticed all these shinny advertising banners next to your email and search results ?
> How is this any different than saying "Avoid the + operator at all costs, because behavior is non-trivial and varies from language to language". I never ever remotely said that. You are putting words in my mouth…
If it was that simple, people wouldn't have any issue with the conditional operator. The problem is there actually is a semantic difference between the two lines you wrote in most languages. If-Then-Else is a statement.…
PTO is never going to stop issuing crappy patents. There is a huge conflict of interest there. It's easy. Every time someone files a patent, the PTO gains the filing fees. If they don't check too much, people file a lot…
Thank you, I missed that (I'm an idiot, it explains why the DCRI went after Wikimedia and not Wikimedia France at first). Wikimedia seems to think the law is with them. I'm not entirely sure but contrary to their…
While I agree the situation underlines a real problem, I don't think it lies where people think. If you read the text, you will realise that, even if they are really clumsy, the issue here is not so much the DCRI than…
We have been in a post gold economy since the end of the Breton-Wood agreement. Hording gold is far from a wise investment. It certainly isn't a safe way to store value. First, history aside where it's value comes from…
Sorry for the ambiguity. It's certainly not a waste of money. I found "Types and Programming Languages" really good (for whatever that means, I'm far from being an authority in the subject). It seems to be wildly used…
While not being exactly about type theory like Pierce books (you can't waste your money on those), I really like the part about types in "The Implementation of Functional Programming Languages" by Peyton Jones (the…
> Frankly, I don't understand why any of the movie/TV studios need Netflix when they can simply sell their own content direct to the consumer via Internet. Because they remember what happened to them the last time…
I think your analysis is spot on. Big companies don't want to house large IT infrastructure anymore. It seems too costly in the long run and benefits are difficult to explain to the board. Consequently, you already see…
Thank you for brilliantly proving his point. What you wrote just prove that you completely mixed what is a language and what is its implementation. Of course C semantic uses a calling stack in its definition. Does that…
> All languages are Turing complete, so it doesn't matter? Precisely. The whole "my language is better" argument is completely void. Syntax is mostly a matter of preference. Semantic will make the structure of your…
Taxes are already included. Prices are never given without taxes in Europe except in B2B where your customers don't pay VAT anyway.
It's because I'm not really precise (but neither is Lennart). Technically, libdbus is a part of dbus. It allows two applications to communicate with each other using the dbus serialisation and abstracts the transport…
That's again a myth. There is no dbus dependency. You can use dbus to do activation but you don't have to. Now, there is a dependency on libdbus which just means systemd is using the dbus serialisation format for its…
1 Bitcoin today and 1 Bitcoin in six months is not the same at all because you lose all the value you could have add from this Bitcoin during the six months so you have to discount it. That's called present value of…
Most people are completely unaware of what CS researchers are doing in France because they don't work on things which the public finds ultra-sexy. Most of what they do and are good at has direct industrial application.…
> It's a top-5 program internationally, so I take it to be quite good. Most of the international rankings are heavily biased in favour of English speaking countries and particularly the USA (especially ARWU). It's…
Does someone have read the original article ? I am curious about how the reader evaluation of potential risk was assessed. Was there a control group which didn't see any comment to compare variance amongst this group to…
I think you should probably read the links you post. They are close to claim exactly the contrary of what you say. As the Wikipedia article rightfully points, the difference is far less obvious than you make it seem.…
It's because of the way the premises are written in regard to the type environment in the rules and how things are unified. It's directly linked to free and bound type variables and yes, it's complicated to understand.…
No, this nonequivalence applies directly to the typing of the lambda-calculus which was the topic of the original papers by Hindley and proven by Damas. On the contrary, the value restriction is a part of the extended…
> Technically, [Let] is redundant because it is a combination of [App]+[Abs] : let x = e1 in e2 is equivalent to (λx.e2) e1. This equivalence does not hold in the HM formalisation. It's well explained in the…
I tend to disagree with you in the sens that Damas-Milner seems to me as the typical exemple of an algorithm which seems simple but actually have subtle implication and trade-off. Robinson's unification which is at the…
It never was a free lunch. Ever noticed all these shinny advertising banners next to your email and search results ?
> How is this any different than saying "Avoid the + operator at all costs, because behavior is non-trivial and varies from language to language". I never ever remotely said that. You are putting words in my mouth…
If it was that simple, people wouldn't have any issue with the conditional operator. The problem is there actually is a semantic difference between the two lines you wrote in most languages. If-Then-Else is a statement.…
PTO is never going to stop issuing crappy patents. There is a huge conflict of interest there. It's easy. Every time someone files a patent, the PTO gains the filing fees. If they don't check too much, people file a lot…
Thank you, I missed that (I'm an idiot, it explains why the DCRI went after Wikimedia and not Wikimedia France at first). Wikimedia seems to think the law is with them. I'm not entirely sure but contrary to their…
While I agree the situation underlines a real problem, I don't think it lies where people think. If you read the text, you will realise that, even if they are really clumsy, the issue here is not so much the DCRI than…
We have been in a post gold economy since the end of the Breton-Wood agreement. Hording gold is far from a wise investment. It certainly isn't a safe way to store value. First, history aside where it's value comes from…
Sorry for the ambiguity. It's certainly not a waste of money. I found "Types and Programming Languages" really good (for whatever that means, I'm far from being an authority in the subject). It seems to be wildly used…
While not being exactly about type theory like Pierce books (you can't waste your money on those), I really like the part about types in "The Implementation of Functional Programming Languages" by Peyton Jones (the…
> Frankly, I don't understand why any of the movie/TV studios need Netflix when they can simply sell their own content direct to the consumer via Internet. Because they remember what happened to them the last time…
I think your analysis is spot on. Big companies don't want to house large IT infrastructure anymore. It seems too costly in the long run and benefits are difficult to explain to the board. Consequently, you already see…
Thank you for brilliantly proving his point. What you wrote just prove that you completely mixed what is a language and what is its implementation. Of course C semantic uses a calling stack in its definition. Does that…
> All languages are Turing complete, so it doesn't matter? Precisely. The whole "my language is better" argument is completely void. Syntax is mostly a matter of preference. Semantic will make the structure of your…