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

ACM世界冠军陆靖，现就职阿里云，为人十分低调，公司内号称“人肉逻辑机”，他做事不轻易动手，深思熟虑后开干，一气呵成，鲜有编译错误。遇到搞不定的代码找他时，他就看代码，不调试，一遍一遍看代码，然后指出某行代码有错误。我们都觉得他看代码的时候大脑其实就是多核CPU，在一次又一次的运行代码。某次代码遇到bug,良久无策和另外一个同事打电话问他，他在电话里说你们检查下某个cpp文件的780行左右，是否参数传递有问题，一查果不其然，问他是否在电脑边，他说不在，在肯德基吃饭，众人大惊之下去git blame,发现这代码他8个月前提交过。特别聪明的本身少见，特别聪明而且记忆力超强的更是凤毛麟角。他有一个爱好是看日本动画片，为此自学日语，最后能和日本人正常沟通，参与字幕组做翻译。他是我见过的最纯粹自由的人，对钱，对名誉毫无兴趣，对别人怎么看他也不在乎，只对挑战性的问题有浓厚的兴趣和异于常人的专注。机器学习领域的顶尖：caffe作者贾扬清，xgboost作者，mxnet主要贡献者之一陈天奇。像老赵说的，感觉到总有一天R大会让全世界的程序员知道这个名字。田春冰河：号称中国Lisp第一人，研究的范畴从梵文，意大利语到common Lisp，毽球，计算机基础理论，摄影，羽毛球，利用长柄伞进行街头搏击等，配合冷峻的面容，潇洒的长衣，人称伞哥。目前正定居意大利从事计算机理论开拓以及梵文研究工作。