benbataille

18 ms·

1.
by benbataille 13y ago
Taxes are already included. Prices are never given without taxes in Europe except in B2B where your customers don't pay VAT anyway.
2.
by benbataille 13y ago
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 layer. You ca
3.
by benbataille 13y ago
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 ipc (which, I
4.
by benbataille 13y ago
No, prices are not stupid. You didn't think through the whole problem. The issue of cost and incentive with this kind of revolutionary innovation is real. The problem is simple. When you innovate, you bear alone the fixed cost of devel
5.
by benbataille 13y ago
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 money and that&#x27
6.
by benbataille 13y ago
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. They made some
7.
by benbataille 13y ago
> 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 mostly fine in science
8.
by benbataille 13y ago
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 the other groups v
9.
by benbataille 13y ago
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. The definition of an in
10.
by benbataille 13y ago
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. If you look at the [A
11.
by benbataille 13y ago
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 rules used for the ty
12.
by benbataille 13y ago
> 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 Wikipedia article : http:
13.
by benbataille 13y ago
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 center of the algorit
14.
by benbataille 13y ago
It never was a free lunch. Ever noticed all these shinny advertising banners next to your email and search results ?
15.
by benbataille 13y ago
> 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 and I don't like it. I
16.
by benbataille 13y ago
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. It doesn't return a
17.
by benbataille 13y ago
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 and they win a lot.
18.
by benbataille 13y ago
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 layers, I'm not a special
19.
by benbataille 13y ago
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 French law itself. Let
20.
by benbataille 13y ago
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 is difficult to under
21.
by benbataille 13y ago
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 as a textbook and is
22.
by benbataille 13y ago
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 chapters about type syste
23.
by benbataille 13y ago
> 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 they tried this trick
24.
by benbataille 13y ago
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 companies moving wha
25.
by benbataille 14y ago
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 mean you need a physi
26.
by benbataille 14y ago
> 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 program different but
27.
by benbataille 14y ago
Could everyone on HN just take a course in languages theory so we can all stop with these stupid trolls about the best languages which have been emerging for a week. Hopefully it would allow everyone to realize that a language is just some
28.
by benbataille 14y ago
10 can be divided in third and quarter fine. It does 10/3 and 10/4=2.5. Well, 10/3 isn't round so people don't like it but neither is 1/3 of an inch. It's not because a lot of operations suddenly become doable with numbers that you magicall
29.
by benbataille 14y ago
It certainly is illegal in France. Refusing to sell without a valid reason is an exception to contract liberty since the sixties (article L. 122-1 du code de la consommation). The former situation was seen as biased in favor of the sellers
30.
by benbataille 14y ago
>Actually, no it isn't and at scale it makes it even more expensive, because you need redundancy. We are talking about RAID and CDN, not to mention that at scale hardware breaks a lot more often. That's related to reliability not scalin

More ›