顶级优秀程序员可以分为：哲学家型，竞赛型，博客型。
首先哲学家型，他们的特点是，他们往往不认为自己是程序员，而是哲学家。
田春冰河：
号称中国Lisp第一人，研究的范围从梵文，意大利语到common Lisp，毽球，计算机基础理论，摄影，羽毛球，利用长柄伞进行街头搏击等，配合冷峻的面容，潇洒的长衣，人称伞哥。目前定居意大利从事计算机理论开拓以及梵文研究工作。
王垠
多年前以及一篇怒骂windows，力挺linux的文章横空出世，就读清华博士退学，去硅谷工作又退出，话题人物。多年碰过的东西从linux到windows，从中国教育体制到美国教育体制，从中国博士培养到美国的博士培养，以及还把谷歌批的体无完肤。
竞赛型，
楼天城，楼教主目前国内ACM界教主级别的人物。江湖早已流传他的传说
2004年9月，国际信息学奥林匹克竞赛（IOI）金牌。
2005年，百度之星程序设计大赛总冠军。
2006年，蝉联百度之星程序设计大赛总冠军。
2006年，Google全球编程挑战赛第三名。
2006年，TopCoder算法中国区第一名。
2006年，ACM/ICPC中国赛区各站冠军。
2007年，带领清华大学队在ACM/ICPC全球总决赛中获得第二名。
2007年，楼天城开发了WalkScript（WalkLan）（Walk脚本），构造了我国GIS软件的第一个测绘地理信息脚本语言。
2008年11月14日，Google全球编程挑战赛冠军。
2008年11月23日，临时代替受伤的同学参加ACM/ICPC杭州赛区，力压群雄夺得第一名。
2009年4月21日，再次带领清华大学队在ACM-ICPC全球总决赛中获得第二名，因为罚时，遗憾与冠军失之交臂。
2009年11月，蝉联Google全球编程挑战赛冠军。
2011年1月，在Facebook举办的2011脸书骇客杯世界编程大赛 (Facebook Hacker Cup 2011)获得第三名。
2012年3月，在Facebook举办的2012脸书骇客杯世界编程大赛中再次获得第三名。
毕业后，楼天城曾在Google总部工作，从事社交网络和机器学习相关问题的研究。
2015年11月离开Alphabet（谷歌母公司）加入Quora公司。
2016年4月，楼天城加入百度美研，参与无人车的技术研发，成为百度最年轻的T10级员工。
2017年初，楼天城从百度离职，与离职百度的首席架构师彭军一起创立了自动驾驶创业公司小马智行（Pony.ai）
ACM世界冠军陆靖，
现就职阿里云，为人十分低调，公司内号称“人肉逻辑机”，他做事不轻易动手，深思熟虑后开干，一气呵成，鲜有编译错误。遇到搞不定的代码找他时，他就看代码，不调试，一遍一遍看代码，然后指出某行代码有错误。我们都觉得他看代码的时候大脑其实就是多核CPU，在一次又一次的运行代码。某次代码遇到bug,良久无策和另外一个同事打电话问他，他在电话里说你们检查下某个cpp文件的780行左右，是否参数传递有问题，一查果不其然，问他是否在电脑边，他说不在，在肯德基吃饭，众人大惊之下去git blame,发现这代码他8个月前提交过。特别聪明的本身少见，特别聪明而且记忆力超强的更是凤毛麟角。他有一个爱好是看日本动画片，为此自学日语，最后能和日本人正常沟通，参与字幕组做翻译。好多人留言问他的情况，这里统一补充答复，他是我见过的最纯粹自由的人，对钱，对名誉毫无兴趣，对别人怎么看他也不在乎，只对挑战性的问题有浓厚的兴趣和异于常人的专注。
博客型
陈皓（左耳朵耗子）
长期稳定坚持更新博客且博客有料的猛人，目前阿里资深专家，对于他我觉得是没什么黑点的，而且他的博客干货挺多
阮一峰
同样是长期稳定博客更新人，现在近期入职支付宝，他的博客和耗子的博客区别就是耗子更偏重于具体的问题分析过程，发现问题解决问题这种思考游戏，他则比较偏向于介绍某一个领域的入门到精通，每次需要了解新技术的时候，他的博客有一种提纲般的作用。
你认为还有哪些顶级程序员呢？