目前中國頂級優秀的程序員都有誰？

11-25

希望寫上名字，代表作，特點，軼事。（註：程序員既可以是在中國的，也包括中國人在國外工作的）

ACM世界冠軍陸靖，現就職阿里雲，為人十分低調，公司內號稱「人肉邏輯機」，他做事不輕易動手，深思熟慮後開干，一氣呵成，鮮有編譯錯誤。遇到搞不定的代碼找他時，他就看代碼，不調試，一遍一遍看代碼，然後指出某行代碼有錯誤。我們都覺得他看代碼的時候大腦其實就是多核CPU，在一次又一次的運行代碼。某次代碼遇到bug,良久無策和另外一個同事打電話問他，他在電話里說你們檢查下某個cpp文件的780行左右，是否參數傳遞有問題，一查果不其然，問他是否在電腦邊，他說不在，在肯德基吃飯，眾人大驚之下去git blame,發現這代碼他8個月前提交過。特別聰明的本身少見，特別聰明而且記憶力超強的更是鳳毛麟角。
他有一個愛好是看日本動畫片，為此自學日語，最後能和日本人正常溝通，參與字幕組做翻譯。

好多人留言問他的情況，這裡統一補充答覆，他是我見過的最純粹自由的人，對錢，對名譽毫無興趣，對別人怎麼看他也不在乎，只對挑戰性的問題有濃厚的興趣和異於常人的專註。

機器學習領域的頂尖：caffe作者賈揚清，xgboost作者，mxnet主要貢獻者之一陳天奇

必須 @RednaxelaFX，像老趙說的，感覺到總有一天R大會讓全世界的程序員知道這個名字。

打包狂魔肥貓 @晏然FelixYan
作爲 Arch Linux 的 DEV ，肥貓打的包能佔 Arch Linux 半壁江山。
svntogit/packages.git

svntogit/community.git

然後你看 Open Hub, the open source network 上的 commit 統計：

肥貓永遠穩居第一，超越後面 top2 ~ top 9 加起來。
（當然其中有半數是給 Arch 打包的 commit 不過還是很厲害）
肥貓說手上的計算資源太空了，不如爲科學事業做點貢獻，於是就上了 LHC@HOME 主頁：

(其它事蹟未完待續）

@Laruence http://weibo.com/u/1170999921

其實大多數人知道的所謂大牛都是些代碼民科或者代碼公知，還有一些就是說話說得多就被人成為大牛的普通編程勞動力啊，比如我啊，哈哈。

好了，我來談談我所知道的。

我把程序員分為：哲學家（doubi）型，博客型，競賽型，以及我也沒想好歸類為哪一類型。。
首先是哲學家（doubi）型，他們的特點是，他們往往不認為自己是程序員，而是哲學家：

田春冰河：
號稱中國Lisp第一人，研究的範疇從梵文，義大利語到common Lisp，毽球，計算機基礎理論，攝影，羽毛球，利用長柄傘進行街頭搏擊等，配合冷峻的面容，瀟洒的長衣，人稱傘哥。
網易冰河（傘哥）是誰？他和丁磊有什麼樣的矛盾？ - 網易
告別網易 - 冰河的日誌

最終，我是這樣離開網易的：CEO 丁磊先生跟我性格不合，難以共事，但因為我工作成績突出，無法直接開除，而我又深深留戀這家公司，不肯主動辭職，於是不得已將我勸退，給予 N+1 補償，並言辭懇切地請我走人。所謂「好聚好散」，我不得不接受。因此我將於近期離開網易，目前已開始移交各項工作，爭取本月內辦完所有手續。

目前正定居義大利從事計算機理論開拓以及梵文研究工作。

王垠：
多年前以一篇怒罵windows，力挺linux的文章橫空出世，就讀清華博士退學，去谷歌工作又退出，話題人物。多年噴過的東西從linux 到windows，從中國教育體制到美國教育體制，從中國的博士培養到美國的博士培養，以及還把谷歌批的體無完膚。
我認為：他是一個批評家。。。
王垠的過去和現狀_Kurtt.Lin的博客

趁著老闆不注意，我繼續來更新第二篇：博客型，這一類的特點是博客大部分原創且堅持更新，是很多碼農心目中的代言人和燈塔：
陳皓（左耳朵耗子）：
長期穩定堅持更新博客且博客有料的猛人，目前阿里資深專家，對於他我覺得是沒什麼黑點的，而且他的博客乾貨挺多的，跟大家推薦下：
酷殼 – CoolShell.cn

阮一峰
同樣是長期穩定博客更新人，現在近期入職支付寶，他的博客和耗子的博客區別就是耗子會比較偏重於具體的問題分析過程，發現問題解決問題這種思考遊戲，而他則比較偏向於介紹某一個領域的入門精通，每次需要了解新技術的時候他的博客有一種提綱般的作用，他的博客也是我長期訂閱的，跟大家推薦下：
阮一峰的網路日誌：全部文章（按分類查看）

博客型暫時停更，我已經忍不住先來更一個競賽型，實在忍不住出來提前說一說傳奇型的程序員：

樓教主
目前中國acm界唯一的教主級人物。

背景鏈接——樓天城競賽成績
1986年出生,高中畢業於杭州十四中,高中以前幾乎沒摸過電腦.
2001年11月,全國青少年信息學聯賽(浙江賽區)一等獎.
2002年08月,全國青少年信息學競賽三等獎.
2002年10月,全國高中數學聯賽(浙江賽區)一等獎.
2002年11月,全國青少年信息學聯賽一等獎,浙江賽區第1名.
2003年08月,全國青少年信息學競賽一等獎,入選國家集訓隊.
2003年10月,全國高中數學聯賽一等獎.
2003年11月,全國青少年信息學聯賽一等獎.
2004年05月,國家隊選拔賽第一名.
2004年09月,國際信息學奧林匹克競賽金牌,第3名.
2005百度之星程序設計大賽冠軍.
2006百度之星程序設計大賽冠軍.
2006年Google編程挑戰賽第三名.
2006年TopCoder演算法中國區第一名.
2006年ACM/ICPC中國賽區各站冠軍.
2007年ACM/ICPC全球總決賽第二名.(之後宣布退出ACM競賽)
2008年11月14日,Google編程挑戰第一名.
2008年11月23日,臨時代替受傷的同學參加ACM/ICPC杭州賽區,力壓群雄奪得冠軍.
2009年4月21日,再次帶領清華大學在斯德哥爾摩ACM-ICPC Results World Finals 2009中奪得第二名,因為罰時,再次與總冠軍失之交臂,負於St. Petersburg State University of IT, Mechanics and Optics.

樓教主的部分獎項記錄，是否你已經感受到了這種鋪面而來的霸氣。
06年是樓教主接近巔峰的一年，獲得了topcoder，google jam和acm 大滿貫，也是這三項頂級coding的賽事開展以來首位大滿貫的額選手。。
http://hzdaily.hangzhou.com.cn/dskb/html/2011-07/06/content_1096108.htm

從美國歸來在杭短暫停留的「樓教主」忙中抽空來到浙大，莫璐怡、巫澤俊、歐陽嘉林三位冠軍隊員得以親見仰慕已久的「教主」真容。王燦老師聞訊，也興沖沖從玉泉校區趕來。

那天下著小雨，「樓教主」撐著一把雨傘，穩穩地一路走來。
上身穿一件淺色細條紋襯衣，下著深灰色褲子，腳蹬黑色皮涼鞋。高大，微胖，戴近視眼鏡，看上去有些憨頭憨腦，讓人想起電影《功夫熊貓2》里的主角阿波，憨態可掬，親切和藹，卻是絕頂高手。
聽說「樓教主」要「駕臨」機房，不少計算機系學生逃了課專程跑來，爭睹其風采神韻。
莫璐怡上午剛參加完畢業典禮，專程帶著學士服趕來換上，這個清瘦文靜的女孩跟「樓教主」合影時，掩飾不住內心的興奮和激動。
「我是你的忠實粉絲。」莫璐怡仰望著身形高大的「樓教主」說。

「我們也是！」巫澤俊和歐陽嘉林搶著說道。

莫璐怡、巫澤俊、歐陽嘉林是浙大world final冠軍隊的。。感受下這種氣勢。。

雲風
屬於比較早期的成名已久的程序員，博客的技術含量比較高，網易內部也是傳奇的存在，又擅長解決和討論技術問題，也擅長遊戲機制的設計。
雲風的 BLOG
博客裡面大部分內容都是討論網路編程的

黃東旭，許式偉

@陳啟峰。

SBT作者。寫出sbt的時候陳啟峰大牛高一。

LVS作者，章文嵩博士，不用多說了吧，有多少人的代碼能進Linux內核呢？
淘寶霸爺，我以前的上司評價霸業是這樣說的，霸爺是一個人腦計算機。
貼一下霸爺的博客，系統技術非業餘研究我一直是跪著看的

@RednaxelaFX

@郭家寶
從初中學OI就開始關注他的博客一直到現在，受益匪淺，不過現在好像好久沒有更新了……現在好像在蘇黎世吧
高中用linux發現沒有好用的注音輸入法，就自己寫了一個，最後還成為了ubuntu/fedora等發行版的預裝軟體……NOI金牌，大一就去了MSRA實習，畢業時通過了阿里星計劃結果沒去，去了谷歌……對音韻學也很有研究這是他建的站韻典網
代表作：batsh,opencc
他的博客：BYVoid

唐鳳

如果以作品來論的話，我推薦幾個人。

姚期智
因計算理論，偽隨機數生成，密碼學與通信複雜度的成就而獲得了圖靈獎，目前在清華大學理論計算機科學研究中心。

魏永明
開發了嵌入式MiniGUI，在世界範圍內得到認可。

蘇哲
SCIM（Linux下的輸入法平台），現在Google總部，不過好像不做輸入法了。SCIM起先用C++開發，後來用C進行開發了（這個有人可以問問是因為啥，估計是個好問題）。

delphij，朱崇君

很贊你們列舉的求伯君田春樓天成雲風唐鳳...這些都是極牛的。但符合同等條件的人，不會少。這裡舉兩個例子。

先說delphij，如果代碼進Linux內核的水平就符合題主條件，delphij肯定是一個，雖然他寫FreeBSD的，因為我一直覺得FreeBSD代碼比Linux優雅。當然華人里應該不止他一個。不一一列舉了。

提到求伯君，怎麼可以沒有CCED的作者朱崇君？不需要多解釋（記得中學時候讀過一本《C語言進階訣竅》，封面一句話讓我著迷，大致意思是：「為什麼有的人學了C語言可以寫出CCED這樣的好程序」？不知道TCPL得日子裡，成功邁出譚爺爺的書就靠它了）。

戴文淵，林仕鼎，百度百科一下。

你們都不看Github么?

Search · location:China · GitHub

第二名竟然是阮一峰老師 ...

阿里的那個。。。多隆，算不算

求伯君一個人啃泡麵寫出來的wps為何沒人提

這尼瑪帖的都是自己認識的技術人員吧…… ，看到回復我也是醉了。私以為得到頂級優秀兩個詞，最起碼他個人要影響到技術界的發展吧。

上面回答的離頂級優秀差的也太多了吧， linus，Stallman 這種級別的才能算頂級吧……

強答一發，拜康神。

水木社區-源於清華的高知社群

康神原名康曉寧。
康神是誰？

康神在水木社區字典中有收錄：

kxn
n.水木社區系統維護，康神

康神軼事：

#1 atppp"s Blog
話說丙戌年間，康神到北美灣區視察，並邀我撮飯。本著和神吃飯需要低調的原則，我們驅車半小時趕到一個偏遠的小飯館，進門一看，不過聊聊數桌，卻有人朝康神揮手，後又和康神耳語良久。我在灣區待了也有幾個年頭，出去吃飯極少見得到熟人，實在驚嘆於康神的火爆程度。

之後不久康神又邀我撮飯，實在受寵若驚，為表敬意，我開車前去接康神。當時正是晚飯時間，天已半黑，康神公司樓下川流不息，黑人白人幾百個人頭在我面前涌動，康神在哪裡？正當我掏出手機想撥康神號碼的時候，就聽見人群中響起一個女聲：咦？康神您也來吃飯啊？我抬頭一看，康神正憨厚的對著 mm 們傻笑……認識康神不稀奇，稀奇的是在跨國大公司數百人的人流中，隨時都有人能認出康神。

#2 à??a?′?a?a1è?èè?2?±?μ?
對谷歌的李開復來講，今後面臨的最大挑戰不是產品也不是運營本身，而是人才的挑戰。…
在谷歌新招聘的工程師中，有…，有清華大學2001年畢業生康小明，在清華大學外號"康神"，被公認為編程能力像神一樣…

#3 atppp"s Blog
下面的據說出自某公司代碼，說的是康神 quick-dirty-fix
一個問題修改的代碼。

*代碼規範*

void analysis::DicMap::getTermText(UINT32 termid, char *buf,bool iscomman)
//取得指定TermId的文字
// termdid:當前termid
// buf: 輸出文本
// iscomman: 是否康總在調用

複製代碼
#4 今天去聽了傳說中的康神做的報告

報告開始前，大家集體拜神
STO 康神 ORZ
神說："地主家也沒有餘糧！"

#5 以下兩個配置均出自康神之手

$ curl -sI http://dev.kcn.cn/grep Server
Server: Microsoft-IIS/6.0
$ ftp http://dev.kcn.cn
Connected to http://dev.kcn.cn (60.2.251.5).
220 Serv-U FTP Server v6.0 for WinSock ready...
其實都是 Linux 伺服器……

#6 *關於康神的回憶* （來源http://lby.spaces.live.com/blog/cns%2138F88B2D0B460A7%21463.entry）
昨夜北京高溫，夜不能寐。和ldg談起本年級的逸事。突然想起以前康神的那個西門子手機，西門子手機千千萬，唯獨康神那個是個unique。因為i，偉大的康神用西門子提供的彙編重寫了整個界面。。當時看到康神這個手機的時候，只能用高山仰止來形容。。在多年以前的9#，天氣也異常炎熱的時候，我經常會從418逛盪到414。。有天看到康神在640*480的解析度下port apache。VC的code editor在可視範圍內能容納的代碼量是2行左右。。
以上事迹絕無虛構，如有雷同，純粹抄襲。。
康神偉大。

#7 *COMMAN逸事* （來源http://cszy0.spaces.live.com/Blo ... FD1C1CA%21773.entry）
昨天，piper對著電腦屏幕笑，我湊過去一看：MY GOD，對著一堆英文他也能笑出來！實在是admire。
這使我想起了大學室友COMMAN的一件事。當時，我們經常用Realplayer看一些搞笑的.rm小電影。一天，COMMAN也許是要修復一個.rm文件，就用UltraEdit打開了那個文件。而這時我們在寢室里談著一些搞笑的事，於是COMMAN也就一邊看著屏幕一邊笑著。恰巧也在這時，外面進來一個傢伙，他唯一看到的就是：COMMAN對著一堆二進位碼在笑。於是他驚呼：我靠！
你丫用UltraEdit看片兒也能笑！從此，COMMAN跟那個用小刀刻操作系統的人齊名……
（此圖轉自song的文章，據說是COMMAN和另一個師兄在講笑話。）