事情是這樣子的。今天偶然看到王垠在其個人博客上寫的一篇《微軟的秘密離職協議》，覺得很有意思，這哥們兒更有意思。
相信很多人對王垠很陌生，也相信很多人對他並不陌生，這位才華逼人、傲氣也同樣逼人的天才在其所在的圈子裡還是挺有名氣的。早在2003年，他就因發表《完全用Linux 工作》、《寫給支持和反對的人們》，痛陳Windows弊端、宣揚Linux而出名。
他的光輝事跡，還包括被保送清華大學計算機系軟體所碩博連讀，然後在清華大學、康奈爾大學、印第安納大學伯明頓分校讀博期間三次退學，他認為他的「博士生涯」已經幫助他找到了比博士學位更重要的東西 。
王垠每次都會寫一篇文章來宣布自己退學：
2005年9月22日在水木社區BLOG上發表了《清華夢的粉碎–寫給清華大學的退學申請》明確要求退學，痛斥國內高等教育弊端；
2008年發表《Cornell 感受》並從康奈爾大學退學，到印第安納大學伯明頓分校（IUB）計算機繼續攻讀博士學位；
2012年，發表《對博士學位說永別》，宣布再次退學。
他曾經在谷歌實習，2012年結束在Google的實習後發表《王垠：我和Google的故事》，他在其博客中宣布停用 Gmail，並建議大家也都停用，「為什麼想停用 Gmail 呢？因為 Google 太邪惡了。總是號稱『不作惡』（don』t do evil），然而它其實是世界上最邪惡的公司之一。Google 一直都在幫助美國情報機關監聽和分析大量的用戶信息，從事危害美國和其他國家民眾利益和安全的活動。Gmail 裡面包含了大量的個人隱私信息：地址，電話，日程，機票，訂單，合同，文檔，照片，技術討論，個人觀點，政治言論，…… 這些都落到極其險惡的美國情報機關手中，他們就可以利用這些信息來做可怕的事情。」
在做了這麼多前戲之後，進入本文的主題，即王垠和微軟的恩怨。
王垠在《微軟的秘密離職協議》中說：「我與微軟的對峙，終於以我的『有條件離職』而告終，現在微軟把事情弄得相當醜陋，我不想再壞自己心情，所以拋開他們不理了。『有條件離職』的意思是，微軟必須滿足我的條件，我才會簽字表示『自願離職』。看來微軟真是目光短淺的公司，寧願放棄優秀的人才和極其可靠的代碼，也不願意給人合理的報酬和職稱。或者也許我的代碼寫得實在太清晰了，所以他們覺得不需要我就可以搞定一切吧，那我祝他們好運了。」
王垠的狂傲和自負流淌在他博客中的每個字符和行間距里。
這次，王垠徹底告別了微軟，並且說他創辦的公司永遠也不會賣給微軟。關於離職協議，問題主要出在「sign-on bonus」上：
由於入職的時間不夠一年（7 月份到一年），按照 offer letter，如果我「自願離職」，微軟就有權收回入職時給我的「sign-on bonus」，價值 2 萬 5 千美元。不過如果不是自願離職的，比如被開掉或者裁掉，那就不用還這個錢。在我看來，這個 sign-on bonus 根本就不應該退。微軟在談工資的時候，一直把這個 sign-on bonus 和其它 bonus 算在我「第一年的收入」上面，以此來說服我他們給的工資還算差強人意。直到給 offer letter 的時候，才悄悄加進一個條款，說這個 sign-on bonus 是不滿一年要退的。
我這幾個月日夜辛勞，付出的額外工作時間的價值，已經遠遠超過 sign-on bonus 的數額，更不要說我放棄了今年的 performance bonus，而且我已經工作了 9 個月，所以就算退也不應該全部退，而應該是按比例。因此，我對於「自願離職」提出了一個很簡單的條件，我要求微軟放棄收回 sign-on bonus，這樣我才會給他們簽字，表示自願離職。否則他們就必須通過其他手續開掉我，這樣因為不是「自願離職」，我就不需要退他們 sign-on bonus。
結果他們「同意」了不收回 sign-on bonus，然而卻為此附加了許多的條件，把這些都寫進了我的離職協議，要求我簽字。這些條件非常的噁心，特別是第 8 條：從今以後我不得再加入微軟，它的子公司，合資企業，以及微軟股份超過 50% 的附屬公司，如果加入了他們就有權趕我走。
第8條原文是：
No Future Employment with Microsoft or Affiliates. I understand and agree that, as a condition of receiving the consideration described in Paragraph 2, I will not be entitled to any future employment with Microsoft or any subsidiary, joint venture, or affiliate of Microsoft in which Microsoft owns an interest of 50 percent or more (collectively, 「Microsoft or its Affiliates」). I further agree that I will not accept, apply for, or otherwise seek future employment by Microsoft or its Affiliates, and that I will not institute or join any action, lawsuit or proceeding against Microsoft or its Affiliates for any failure to employ me. I understand and agree that if I breach any obligation set forth in this paragraph, including by applying for and/or accepting future employment with any of the Released Parties, such breach will constitute lawful and sufficient basis for the termination of any such employment.
不得不說，微軟夠狠，微軟的HR更狠。王垠說他幾個經驗豐富的朋友看了這個條款，都說從來沒見過任何公司使用這樣的離職條款，就算被開掉也沒見過這樣的條款，這是非常險惡的霸王條款：
另外，協議還要求我不能鄙視和嘲笑微軟，不能協助現在，過去或者將來的微軟員工對公司提出抱怨或者顧慮，承認微軟沒有犯任何錯誤，不得用任何原因起訴微軟，等等封嘴協議。由此可見，雖然美國有所謂「言論自由」，然而你的自由卻是被金錢牢牢地控制的。
當然，我嚴詞拒絕了簽這個協議，因為它簡直就像是清朝政府跟洋鬼子們簽的不平等條約。
然後王垠開啟了對微軟HR的討伐模式：
後來，我就發現 HR 開始肆意歪曲我的話，想造成一種我已經主動離職的假象，這樣他們就可以利用這個 sign-on bonus 的問題，來逼迫我簽這個噁心的協議。
與微軟 HR 和上司們的談話，從我面試的時候開始就已經充滿了謊言和欺詐，讓我各種不爽。撒謊找藉口壓低職稱和工資。號稱六個月升職，卻完全沒有動靜。上司們為了樹立威信，對自己的經歷和成就進行誇大。故意不讓我和其它團隊面試。各種討價還價貶低人的價值。在 offer letter 上做文章。再加上入職後的各種奇葩經歷，超時工作，各種變相的不尊重，拿一些 principal engineer 甚至印度小菜鳥跟我比…… 這一切都讓我噁心而厭倦。要不是我早已經決定在美國只看最後一個大公司，我是肯定不會加入微軟的。沒想到就要離開了，還要特大的噁心我一下，留下終生難忘的記憶。
你可能以為微軟是大公司，很多人事上的事情應該大度不計較，然而微軟 HR 和 recruiter 對各種事情的處理方式，其實比起很小的 startup 還要不規範和惡毒，各種摳門，威逼欺詐，隱藏信息，甚至肆意歪曲。微軟不能靠自己的魅力留住人才，就想方設法設置各種討厭的限制，比如 H1-b 和綠卡程序都用最慢的方式辦，拖泥帶水讓你走不掉，或者要求不滿一年全額退回 sign-on bonus，或者乾脆用 L1 簽證從印度搬運不能換工作的奴隸過來。想以這樣的方式來阻礙人才的流失，可想而知留下來的都是什麼樣的人。
王垠形容微軟是一個「邪惡的霸王公司」，「微軟的最後滅亡應該是遲早的事」。
王垠之前在《一個人的罷工》中就將他在微軟遭遇的「慘絕人寰」經歷寫了下來，他說：
微軟用極其低廉的價錢，已經從我這裡得到了多出許多倍的價值。我寫出的代碼，其難度和質量，解決的問題，是微軟的 principal 級別都難以做到的，然而我卻拿著 SDEV2 的職稱和 senior 的工資。由於職稱工資嚴重的不符合本人水平，隨之帶來的是尊嚴的失去。隨著時間的推移，我越來越感覺到這個公司的貪婪和狡詐，感覺自己並沒有受到尊重。
在微軟，我沒有受到專家的禮遇。事情做的越好越多，越是有人催你做更多的事。我沒有感覺到欣賞，感激和尊敬。只感覺到有人在不斷地提醒你：工期將近。催你寫注釋，催你寫測試，以為這樣你的代碼就能被完全據為己有。為了滿足事先設定的日程計劃，很多時候還必須加班，周末加班，晚上加班，這是極其不合理的。如果你的計劃不能在一天 8 小時之內完成，那麼它就是霸王計劃。
再更早些時候，那時候估計是王垠剛加入微軟不久，他還是適度地誇了一下微軟的，當然，看上去更像是在夸自己，他說：
我的能力是蓋世無雙的，我可以心平氣和的說出這句話，不帶半點虛榮。這不需要任何人的認可，因為世界上已經沒有任何人有資格來認可我。
這種奇妙的能力，不但最初在 Google 得到了體現，在 Coverity，Sourcegraph，Shape Security，一次次的巧妙發揮，最近又再一次的在微軟得到了發揚光大。我不得不說，微軟是少有的踏踏實實，用心做技術的公司，很少有瞎指揮的情況。也只有這樣的公司，才可能從最底層開始做獨立的技術。在微軟，我的團隊的產品是一種企業級存儲設備，名叫 StorSimple。這東西看似跟我的特長程序語言（PL）關係不大，然而我從來就沒有局限於 PL，我的洞察力深入到了計算機科學的各個領域。這是一種藝術，是不局限於領域的才能。任何我接觸到的東西，都被揭示出其本質，揭開膚淺複雜的表面現象，被改造得更加簡單，更加可靠和精密。
……
微軟有一些厲害的 principal engineer，他們的 B+ 樹代碼我看過了。實話說吧，雖然可以用，但非常繁複沒法看，很難確信它是正確的。每次用到新的地方，你都得改動挺多代碼才行，不能作為「庫代碼」來調用。而且你一改可能就給改錯了，難怪跟我說需要很多很多的測試，還說要先寫測試再寫代碼什麼的…… 當然我說這些完全沒有貶低微軟工程師的能力，有個會寫 B+ 樹的 principal engineer 跟我關係相當好，初期還給了我挺好的參考資料，所以我無意貶低他。不過呢，寫代碼不能超越王垠，是再正常不過的事了，不是嗎？所以當然不是恥辱 😛 相比其它膚淺的公司（Google，Facebook……），微軟的好些人顯然是有兩刷子的，兢兢業業踏踏實實的在做自己的工作，而且在必要的時候給了我一些啟發，人也相當好。可是在代碼的優雅，簡單和可靠性上，世界上還真沒有人可以跟王垠抗衡。
何其狂妄，何其自負，又何其自信！當然，王垠或許擁有這份自信或自負的本事。他以一己之力抗衡微軟的勇氣本身就讓人側目。
他現在離開了微軟，然後被微軟徹底封殺了，但他似乎並不在乎。他不止一次表達過回國的想法，他說：「我的心，已經飛回到了中國，飛回到了家鄉，飛到了北京。我每天都在想像跟老朋友們坐在一起喝茶聊天，感受城市生命的律動。這一切，都是在美國永遠得不到的，我命中注定要在中國生活。當然我知道國內的人也很複雜，很多制度不健全，但中國之大，我相信會遇到很多靠譜的人。我不會再給任何公司工作。我會創造一個偉大的公司，它會創造世界上最精緻的產品，它會給真正有價值的人相應的回報和尊重。由於一些現實的問題，回國的日子還要等幾個月，不過應該在年底之前。」
天才和瘋子，僅一步之遙。