Viewing profile — benbataille

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 seria…

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 t…

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. Wh…

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…

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…

> 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 particularl…

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…

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…

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 an…

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 …

> 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.…

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. …

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. …

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 …

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 …

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 ent…

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 is…

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, his…

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…

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 Programmi…