Ask HN: Best holiday 2016 choices for true developer laptop?