I'm not sure how linux handles high resolution but osx only makes the display crisper. You have the option of making everything smaller but that's not quite optimized. If rmbp boots into windows, it has the same issue, last time I check.
If you're getting rmbp, I would go with the 15 in model. 13 in only uses integrated graphic which has trouble handling the high resolution.