ihojman

Is there any big corp using it massively? why the shift up? It's kind of curious that a lisp is at the top of the list (according to SO). Not surprising, but curious. What do you think? any ideas?

easy physics question here: if the light converges in one focal point after passing through the lens, as pointed in the 2nd animation, that means that the outer light beams reach that point latter in time than the inner ones, right? My point is that at the same speed, they are traveling longer distances, and the animation does not show that, but that they get to at the same time.

shouldn't HN have a gear/hardware section like ask HN or Hiring or show HN?

ok, I expressed myself wrong. But the fact that tourism leads to tourist tend to speak in English first is outrageous for many locals, old and young, and not just in France.

This happened to me in Germany also, so I started approaching people by saluting them in Spanish, which is my main language, and they had a different reaction (a very positive one) than those who I said hi to in English.

It's not bullshit. Many people have an anti-american feeling in a cultural sense. (not saying I'm endorsing it)

Hey Thierry Coquand please change your last name, it's offensive for me to write it down in this comment.

I don't think they are making a decision, rather being pushed to make a certain decision, that might not necessarily match their view.

I aknowledge English as the lingua franca of our digital world, but that doesn't mean that we should be attached to every aspect of English speakers cultural environments, basically because we have our own environments too, and are just as valid as theirs.

And it makes sense that it could be intentional. There is a ton of rivalry between France and The US, in cultural terms. French people have a contempt attitude towards US citizen manners, they think they are rude, loud, and often self-centered. When you go to France, don't you dare to speak to someone in English, they are gonna freak out.

I believe it is pretty clever to defy them by using a French word that sounds a little inappropriate in English, if that were the case. Totally legal. But if its not, why should we, non-US Citizens, have to bare linguistic and cultural impositions because some feel 'uncomfortable' with the way we express in our own languages? Totally non-sense.

The fact that this is an issue tells me how english-centric is the software community! culturally and linguistically speaking.

Why do some folks have to change it's project name regardless of it's meaning in another language? Coq's name wasn't meant to be offensive.

What would happen if the new name is considered an offensive or uncomfortable word in any other language? would that be a good enough reason to reconsider it? Or we only care about english speaking minds?

If coq's team is fine with it, I'm fine with it (maybe they want to have more users and thats a legit reason to change it).

But this sounds like some sort of peer presure to change it.

I don't think it's immoral if you get to accomplish all of your tasks in both companies. For what I understand, companies want you to do the work they hired you for; they make money out of you, otherwise they wouldn't need you.

Maybe a better way to be at 2 companies at the same time is by being completely transparent about working on both places with one of the companies. You automate all your full-time boring work in the first one, and in the second maybe you do part-time, or some kind of work that can align with your own interests.

maybe an etrepeneurial partnership or a flexible deal to get a new product that really interests you without having to commit all of your life.