各大IT公司員工都用什麼筆記本電腦？

不知道各個IT，互聯網公司（Facebook，Google，Twitter，Linkedin，微軟，Intel）的內部員工都在用什麼筆記本電腦？ Apple肯定是用自家的`Mac，但是mac是用什麼型號的呢？Pro還是Air