Technically, what has to be proved is "for all code paths we can identify if the value is not an int." And then it can provide a backoff/error handler case when the value isn't an int. The issue is that typically the the error handler is significantly slower than doing it the naive way. So there is a cut-off point where the optimization because a net win, and generally you need some amount of profiling/feedback to correctly identify that cut-off.

Reminds me of a friends facebook status: "At Genius Bar. I can think of at least two things wrong with that name."

Uh, because they bought the device? I think the burden is on the other side for taking away control.

Why isn't OS X appropriate? What is the difference between this and an Air? I saw the presentation, the device sat between the iPod touch and the macbook. What is one OS appropriate and the other isn't?

"Google's doing it too!" is not a good argument.

Well, I'm sure it will: https://thejoojoo.com/, though the market doesn't always act rationally, and perhaps the FSF is trying to raise awareness about the freedoms people are giving up for Apple's style.