cjh_

>I have a hard time believing that considering the prevalence of the "share" button in apps.

In the OP's example this share button would just lead to a message of 'you need to download our app to view this material'

>There is certainly a "walled garden" problem on iOS, with all the jailbroken nonsense linked to it, but on Android (don't know about MS phones) I can run whatever I want. The app store is just curation, not limitating. Granted there are still some problems with rooting, but they seem to be disappearing from my view. Freedom of expression is still there.

AFAIK he wasn't talking about the OS being a walled garden, more that each app was. Not being able to share content between apps, combine the functionality of them, etc.

Being able to run whatever you want doesn't help if the content owners have locked it down to being only viewable in their app.

Reading this code made my day, thank you.

This reminds me of boomerang for gmail [1] followup.cc has the advantage that it isn't gmail specific.

[1] http://www.boomeranggmail.com/

Like the OP you are confusing static with strong and dynamic with weak; static typing has nothing to do with declaring types but with the compiler doing type-checking at compile-time, whereas dynamic only implies this type-checking is done at run-time.

A compiler could check that all inputs that are possibly from a user are sanitized or explicitly marked as being unclean / clean.

The OP's statements are about type declaration, which is not necessarily a feature of static typing but of strong typing.

It is possible for a language to not have these declaration and still be static (ie; compile-time type inference).

The trackpoint is also amazing, and I know exactly what you mean. I have never really been able to use trackpads so have always stayed near laptops that have trackpoints.

The X1 carbon is the first laptop where I enjoy using the trackpad. It is odd for me too. I still often use the trackpoint, but for scrolling around web pages I often end up using the trackpad (sometimes with the trackpoint buttons which are right above it).

Toshiba and Thinkpad seem to be the only vendors that seem to still include trackpoints.

I bought a Thinkpad X1 Carbon with Windows 8, had no issues getting Debian on there (minus having to manually upgrade kernels as 3.2 was a bit old and was causing issue).

Although the Carbon also support non-EUFI booting which made it easier, it shouldn't be that hard to get linux running with EUFI. What caused you trouble?

I'm also on a X1 Carbon right now, got it only a month ago. Works great with Debian linux, although I compiled my own 3.7 kernel as the default 3.2 in debian had occasional lockups.

I wanted an ultrabook-style machine, i5, 4gb of ram, no cd/dvd drive, ssd only (no hybrid), decent screen res (1080p s a bit too big, 1600x900 is spot on), and most importantly a great keyboard. The x1 carbon was the only machine I could find that matched my specs, it has the best laptop keyboard I have ever had the pleasure of typing on. Highly recommend.

EDIT: The X1C has the first trackpad that I actually enjoy using, I usually have trouble due to sweaty hands, but so far this trackpad hasn't had a single problem and I have been able to get multitouch gestures working via synaptics.

If I had to think of negatives it would be the lack of ethernet/vga/hdmi without adapters, but at least they use 'standard' adapters (display port->hdmi, usb->ethernet).

The background dots behind the text make this a chore to read, I had to give up as this was hurting my eyes.

Regarding your 'onleave' idea; go has a similar construct called defer [1], it is exactly what you are talking about and (imo) is a really elegant way of dealing with cleanup.

[1]http://golang.org/doc/effective_go.html#defer