目前中国顶级优秀的程序员都有谁？

今天无意中搜到知乎话题：目前中国顶级优秀的程序员都有谁？留作备忘

链接 https://www.zhihu.com/question/27462559

下面是一些比较好的答复，摘抄备份下

我把程序员分为：哲学家（doubi）型，博客型，竞赛型，以及我也没想好归类为哪一类型。。
首先是哲学家（doubi）型，他们的特点是，他们往往不认为自己是程序员，而是哲学家：

田春冰河：
号称中国Lisp第一人，研究的范畴从梵文，意大利语到common Lisp，毽球，计算机基础理论，摄影，羽毛球，利用长柄伞进行街头搏击等，配合冷峻的面容，潇洒的长衣，人称伞哥。
网易冰河（伞哥）是谁？他和丁磊有什么样的矛盾？ - 网易
告别网易 - 冰河的日志

最终，我是这样离开网易的：CEO 丁磊先生跟我性格不合，难以共事，但因为我工作成绩突出，无法直接开除，而我又深深留恋这家公司，不肯主动辞职，于是不得已将我劝退，给予 N+1 补偿，并言辞恳切地请我走人。所谓 “好聚好散”，我不得不接受。因此我将于近期离开网易，目前已开始移交各项工作，争取本月内办完所有手续。

目前正定居意大利从事计算机理论开拓以及梵文研究工作。

王垠：
多年前以一篇怒骂windows，力挺linux的文章横空出世，就读清华博士退学，去谷歌工作又退出，话题人物。多年喷过的东西从linux 到windows，从中国教育体制到美国教育体制，从中国的博士培养到美国的博士培养，以及还把谷歌批的体无完肤。
我认为：他是一个批评家。。。
王垠的过去和现状_Kurtt.Lin的博客

趁着老板不注意，我继续来更新第二篇：博客型，这一类的特点是博客大部分原创且坚持更新，是很多码农心目中的代言人和灯塔：
陈皓（左耳朵耗子）：
长期稳定坚持更新博客且博客有料的猛人，目前阿里资深专家，对于他我觉得是没什么黑点的，而且他的博客干货挺多的，跟大家推荐下：
酷壳 – CoolShell.cn

阮一峰
同样是长期稳定博客更新人，现在近期入职支付宝，他的博客和耗子的博客区别就是耗子会比较偏重于具体的问题分析过程，发现问题解决问题这种思考游戏，而他则比较偏向于介绍某一个领域的入门精通，每次需要了解新技术的时候他的博客有一种提纲般的作用，他的博客也是我长期订阅的，跟大家推荐下：
阮一峰的网络日志 ： 全部文章（按分类查看）