x****k
发帖数: 2932 | 1 王垠:我和权威的故事
1 墙外楼 by 墙外仙 / 7h // keep unread // hide // preview
Share on Google PlusTwitterFacebookLinkedInBufferFacebookCustom Sharing Tool
[undo save for later] Evernote [Add to Instapaper] [Add to Pocket]
+Tag
每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威
就像广告，你听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用
了，而且这作用越来越强。
消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只
要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在
你脑海里造成一种美好神圣的假象。很神奇的一个现象就是，权威对人思想的作用其实
也跟广告一样。
上大学以前的人因为没有专业，所以还不怎么崇拜权威，大不了追追歌星，影星，球星
啥的。而进入大学之后，就会开始对本领域的权威耳濡目染。一遍，两遍，一千遍的听
到同学们仰慕某“牛人”或者“大师”的名字，虽然从来没亲身见过，不知不觉就对这
人产生了崇拜心理。Donald Knuth, Dennis Ritchie, Ken Thompson, Rob Pike, …
就是通过这些途径成为了很多计算机学生的权威。以至于几十年以后，他们的一些历史
遗留下来的糟糕设计和错误思想还被很多人奉为神圣。
Donald Knuth
很多人（包括我）都曾经对 Knuth 和他的 The Art of Computer Programming (TAOCP
) 极度崇拜。在我大学和研究生的时候，有些同学花了不少钱买回精装的 TAOCP 全三
卷，说是大概不会看，但要放在书架上做摆设，镇场子。当时我本着“书非借不能读也
”的原则，再加上搬家的时候书是最费力气的东西，所以坚决不买书。我就从图书馆把
TAOCP 借了来。说实话我哪里看的下去啊？那里面的程序都是用一个叫 MIX 的处理器
的汇编语言写的。一个字节只有6位，每位里面可以放一个十进制数（不是二进制）！
还没开始写程序呢，就开始讲数学，然后就是几十页的公式推导，证明…… 接着我就
睡着了。但我总是听说有人真的看完过 TAOCP，然后就成为了大师。比尔盖茨也宣称：
“要是谁看完了 TAOCP，请把简历投给我！” 在这一系列的号召和鼓吹之下，我好几
次的把 TAOCP 借回来，心想这次一定决心看完这旷世奇书。每次都是雄心勃勃的开始
，可从来就没看完过开头那段 MIX 机器语言和数学公式。
看不懂 TAOCP 总是感觉很失败，因为看不懂 TAOCP 就成不了“大师”，可我仍然认为
Knuth 就是计算机科学的神，总能从他那学点什么吧。所以又开始折腾他的其他作品
。这就是为什么我开始用 TeX，并且成为中国 TeX 界的主要“传教士”之一。为了
TeX，我把 Knuth 的 TeXbook 借回来，从头到尾看了两遍，做完所有的习题，包括最
难的那种“double bend”习题。接着又开始看 MetaFont。开头还挺有成就感，可是不
多久就发现学会的那些 TeX 技巧到了临场的时候就不知道该怎么用，然后就全都忘记
了。这就是为什么我把 TeXbook 看了两遍，可是看完第二遍之后不久还是忘记得一干
二净。
师兄师姐看到我用 TeX，说怎么折腾这么过时的玩意儿。我很气愤他们以及国内学术界
居然都用 Word 排版论文，然后我就开始针锋相对，写出一系列煽动文章鼓吹 TeX 的
种种好处，打击“所见即所得排版”这种低智商玩意儿。这还不够，又开始折腾 Knuth
设计的 MMIX 处理器，并且认为 MMIX 的寄存器环就是世界上最先进的设计。有几次
发现一些无关紧要的小错，就给 Knuth 发 email，居然拿到两张传说中的“Knuth 支
票”，并且一度引以为豪。当然像所有拿到 Knuth 支票的人一样，你是不会去兑现它
的，甚至有人把它们放在相框里作为摆设。我还没那么疯狂，那两张支票一直在它们原
来的信封里。多年以后我到美国想兑现那支票的时候，发现它们已经过期了。
当你心里有了这样的权威，其他人的话你是不可能听得进去的，就算他们其实比你心目
中的权威更具智慧也一样。在清华的时候我很喜欢一门叫做“计算几何”的课，就经常
跟那门课的老师交流思想。有一次我在 email 里面提到 Donald Knuth 是我的偶像，
那位老师很委婉的回复道：“有偶像很好啊，Knuth 也曾经是我的偶像。” 我对“曾
经”这两个字感到惊讶：难道这意味着 Knuth 现在不是他的偶像了？在我执意的询问
之下他才委婉的告诉我，世界上还有很多很聪明的人，Knuth 并不是计算机科学的一切
。你应该多看看其他人的作品，特别是一些数学家的。然后他给了我几个他觉得不错的
人的名字。
现在回想起来，这些话对我是有深远作用的。那位老师虽然在系里的“牛人”们眼里是
个“研究能力（也就是发paper能力）不强”的人，但是他却对我的人生转折有着强有
力的作用。他引导了我去追寻自己真正的兴趣，而不是去追寻虚无的名气。我发现很多
人都在为着名气而进行一些自己其实不感兴趣的事情，去做一些别人觉得“牛气”的事
情。我真希望他们遇到跟我一样的好老师。
在现在看来，Knuth 的 TAOCP 就是所谓的“神圣的白象”（white elephant）。很少
有人真的看过，却要显得好像看过一样，并且很喜欢。这就让试图看懂它的人更加自卑
和着急，甚至觉得自己智商有问题。别人都看过了，我怎么就看不懂呢？其实 TAOCP
里面的大部分算法都不是 Knuth 自己设计的，而且他对别人算法的解释经常把简单的
问题搞得很复杂。再加上他执意要用汇编语言，又让程序的理解难度加倍。有一句名言
说：“跟真正的大师学习，而不是跟他们的徒弟。”如果你真的要学一个算法，就应该
直接去读那算法的发明者的论文，而不是转述过来的“二手知识”。二手的知识往往把
发明者原来的动机和思路都给去掉了，只留下苍白无味，没有什么启发意义的“最后结
果”。
TeX 其实也是异常糟糕的设计。它过度的复杂，很少有人搞得懂怎么配置。经常为了一
个简单的效果折腾很久，然后不久就忘了当时怎么做的，回头来又得重新折腾。原因就
是因为 TeX 的设计没有“一致性”，不可以“compose”，所以你需要学太多东西，而
不是学习几个简单的东西，然后把它们组合起来。在程序语言设计者看来，TeX 的语言
是世界上最恶劣的设计之一。Knuth 的作品里面有他的贡献和价值，TeX 的排版算法（
而不是语言）仍然是不错的东西。可是如果因为这些好东西爱屋及乌，而把他所推崇的
那些乱七八糟的设计当成神圣的话，那你自己的设计就逃脱不出同样的思维模式，给用
户造成很大的麻烦。仍然对 TeX 顶礼膜拜的人应该看一下 TeXmacs，看看它的作者是
如何默默无闻的，彻彻底底的超越了 TeX 和 Knuth。
Cornell
可是权威和名气的威力还是很大的。虽然 Knuth 在我心目中的位置不再处于“垄断地
位”，世界上可以占据我心里那个位置的人和事物还很多。在离开清华之后我申请了美
国的大学。也许是天意也许是巧合，只有两所大学给了我 offer：Cornell 和 Indiana
，而我竟然先后到了这两所大学就读。
说实话，Indiana 给了我比 Cornell 更好的 offer。Cornell 给我的是一个 TA 的半
工读职位，而 Indiana 给我的是一个不需要工作白拿钱的 fellowship。说实话我从来
没有搞明白 Cornell 这样的“牛校”怎么会给我这样的人 offer，GPA 一般，paper
很菜，而 Indiana 却是真正在乎我的。Indiana 的 fellowship 来自 GEB 的作者
Doug Hofstadter。他从 email 了解到我的处境和我渴求真知的愿望之后，毅然决定给
我，一个素不相识的人写推荐信。后来我才发现那 fellowship 的资金也是他提供的。
可是 Indiana 和 Hofstadter 的名气哪里能跟 Cornell 的号称 “CS前五” 相比啊？
Indiana 的 offer 晚来了几天。当收到 Indiana 的 offer 时，我已经接受了
Cornell。Hofstadter 很惊讶也很失望，因为他以为我一定会做他的学生，可是听说我
接受了 Cornell 的 offer，他也不知道该怎么办。我只隐约的记得他告诉我，学校的
排名并不是最重要的东西……
名气和权威的力量是如此之大，它让我不去选择真正欣赏我并且能给我真知的人。有时
候回想起来，我当时真的是在寻找真知吗？我明白什么叫做真知吗？
Cornell 给了我什么呢？到现在想起来，它给我的东西恐怕只有教训，很多的教训。我
在一篇老的博文里面提到过，Cornell 的学生一上课就抄笔记，一天到晚都在赶作业。
可其实 Cornell 不只是爱抄笔记的学生的天堂，而且是崇拜权威者的天堂。即使你不
是那么的崇拜权威，你不可避免的会被一群像朝圣者一样的人围在中间，在你耳边谈论
某某人多么多么的牛。不管你向同学打听哪一个教授，得到的回答总是：“哇，他很牛
的！” 然后你就去上了他的几节课，觉得不咋的嘛，可是人家就说那是因为你不理解
他的价值。这种气氛我好像在另一个地方感觉到过呢？啊对了，那是在 Google。这样
的气氛也许并不是偶然，Cornell 的大部分 PhD 同学当时的最大愿望，就是毕业后能
去 Google 工作。当然，后来 Facebook 上升成为了他们的首选。值得一提的是，
Indiana 其实是更有个性的地方。我在 Indiana 的同学们一般都把去 Google 工作作
为最后的选择之一。有一次一个刚来不久的学生问，如何才能进入 Google 工作？有个
老教授说，那个容易，Google 招收任何能做出他们题目的人！
Cornell 的研究可以用“与时俱进”来形容，什么热门搞什么。当时 Facebook 和社交
网络正在崛起，所以系里最热门的一个教授就是研究社交网络的。我去听过他几堂课，
他用最容易的一些图论算法分析一些社交网络数据，然后得出一些“理论”。其中好些
结论实在太显然了，我觉得根本不需要数据分析就能猜到，真是不觉得有什么特别的。
可是 Facebook 名气之大，跟着这位教授必然有出路啦，再加上有人在耳边煽风点火，
所以有好多的学生为做他的 PhD 挤破了头皮，被刷下来的就只好另投门路了。每次新
来一个教授都会被吹捧上天，说是多么多么的聪明，甚至称为天才。然后就有一群的人
去上他的课，试图做他的学生。结果人家每节课都是背对学生面朝黑板，写下一堆堆的
公式和证明，一堂课总共就没回过几次头。下面的人当然就是狂抄笔记，有的人甚至带
着录音笔，生怕漏掉一句话。上这样的课还不如干脆把板书打印出来让大家自己回家看
。人多了竞争也就难免了。上课的同学们就开始勾心斗角，三国演义的战术都拿出来了
。作业做不出来就来找你讨论，等你想讨论了就说自己也没做出来。没听懂偏要故作点
头状，显得听懂了，让你觉得有压力。自己越是喜欢的教授就越是说他不咋的，扯淡，
然后就自己去跟他。自己不喜欢的教授就告诉你他真是厉害啊，只可惜人家不要我。怎
么感觉就跟皇帝的后宫差不多呢 ;-) 直到两年后我离开 Cornell 之前，还有好些同学
因为没找到教授而焦头烂额。因为两年内没有找到导师的 PhD 学生，基本上等于必须
退学。
当我离开 Cornell 之后，有一位国内的学生给我发 email 套磁（从系里主页上找到我
的地址），问我 Cornell 情况如何。我告诉他我都已经走人了，并且告诉了他我的感
觉，一天到晚抄笔记赶作业之类的。然后又问我一个刚毕业的 PhD 的情况，我说他水
平不咋的，博士论文我看过了，很扯淡，解决一个根本不存在的问题。他对我说的话有
点惊讶，但还是将信将疑。为了确保万无一失，他在 visiting day 的时候专程去
Cornell 考察了一下。回去又给我 email，说见到好多牛人啊，大开眼界，哪里像你说
的那么不堪。还说跟那位 PhD 的导师谈过话，真是世界级的牛人那，他的博士论文也
是世界一流的。我就无话可说了，仁者见仁，智者见智，随他去吧，哎。
结果两年之后，我又收到这位同学的 email，说他在 Cornell 还没找到导师，走投无
路了，问我有没有办法转学。
图灵奖
说到这里应该有人会问这个问题，我是不是也属于那种没找到导师走投无路的人。答案
是，对的，我确实没有在 Cornell 找到合适的导师。然后我就猜到有人会说，就知道
王垠水平不行嘛，没搞定导师，被迫退学，哈哈！可是事情其实没他们想象的那么简单
。作为一个 PhD 学生，不仅必须精通学术，而且要懂得政治和行情。哦错了，其实不
精通学术也行的，但是一定要懂得政治和行情！可是由于学生之间的勾心斗角，他们之
间的信息互通程度，是没法和教授之间的信息互通程度相比的。这就造成了“学生阶级
”在这场信息战上的劣势。
进入 Cornell 之后我上了一门程序语言的课，就开始对这些东西入迷。可是由于“与
时俱进”，Cornell 的研究方向并不是那么平衡的发展的，程序语言领域的专家们早已
因为受到忽视而转移阵地，剩下一群用纸和笔做扯淡理论的。说实话，在历史上程序语
言方向曾经是 Cornell 的强项，出现了一些很厉害的成果。可是当我在 Cornell 的时
候，只剩下两个名不见经传的教员，一个助理教授，一个副教授。其实 Robert
Constable 也在那里，可惜的是他做了 dean 之后已经没空理学生了，以至于我两年之
后都不知道这个人的存在。我当时也不知道 Cornell 有过这段历史，看不到它的研究
重心的移动趋势。
我不喜欢那个副教授搞的项目，全是在 Java 上面加上一些函数式语言早就有的功能。
可是人家做的是热门语言，所以拉得到资金，备受系里亲睐，他的学生们也比较趾高气
昂。初次见面的时候，我跟他的一个学生说了我的一个想法，他说：“你那也能叫研究
吗？待会儿我给你看看什么是真正的研究！” 其实那只是我的一个微不足道的想法，
我也没说那是真正的研究啊，只是随便聊一下而已。我是不可能跟那样的人合作的，所
以我就跟那个助理教授做了一点静态分析的项目。当然我们分析的也不是什么好东西，
是用 Fortran 写的 MPI 程序。说实话，那个助理教授其实挺有点真知灼见，他有几句
话现在仍然在指引我，防止我误入歧途。他也是很谦虚很善良的人，可是好人不一定有
好报的。后来他没有拿到 tenure 职位，不得不离开 Cornell 加入了工业界，而我就
失去了最后一个有可能在程序语言方向做我的导师的人。
没办法，我就开始探索其它相关领域的教授，比如做数据库的，做系统的，看他们对相
关的语言设计是否感兴趣。可惜他们都不感兴趣，而且告诉我程序语言领域太狭窄了。
我当时还将信将疑，甚至附和他们的说法，可是现在我断定他们都是一知半解胡说八道
。如果这些人虚心向程序语言专家请教，现在数据库和操作系统的设计也不会那么垃圾
，关系式，SQL，NoSQL，…… 一个比一个扯淡。没有办法，我就开始探索其他的方向
，我开始了解图形学和数值分析等东西，进展很不错。可是终究我还是发现，我不喜欢
图形学和数值分析所用的语言。我想制造出更好的程序语言来解决这些问题。而教授们
也能感觉到你不是真的感兴趣，而且他们貌似不喜欢有不同想法的学生，从而会优先考
虑对他的东西更加欣赏的学生。
这就让我走到了跟那位向我打听 Cornell 情况的同学差不多的局面，真是心里有无限
的苦却没有人可以理解。这时候我想到了系里的一些德高望重的教授，比如得过图灵奖
的人，也许这些顶级的大牛会给我指出方向。于是我就联系到一位图灵奖得主，说想找
他聊聊。我说我感兴趣的东西 Cornell 貌似并不重视和发展。Cornell 的校训是“any
person, any study”，而我却找不到我想 study 的东西。最后我谈了一下我对
Cornell 的总体感受。我说我觉得大家上课死记硬背，不是很 intellectual，我不是
很确定学术界是否还保留有它原来的对智慧和真知的向往。
我真的是很诚恳的告诉了他这些，只是希望得到一些建议。结果他立马开始用质问的语
气问我，你成绩怎么样？考试都通过了没有？哎，说白了就是想搞清楚你是不是成绩不
好没人要。怎么就跟高中教导主任一样。于是乎那次谈话就这样不了了之。可是没有想
到，这次谈话就造成了我最后的离别。在学生们互相之间勾心斗角，不通信息的同时，
系里的教授们其实背后都是“通气”的。他们根本不懂得如何教学，就知道拿作业和考
试往学生头上砸，幸存下来的就各自挑去做徒弟，挨不住的就打发掉。这算盘打得真是
妙啊。我也不知道他们是什么机制，每个学生对哪些教授感兴趣，表现如何，他们貌似
都了如指掌。然后系里的教授们不知道怎么的，仿佛就都知道有这样一个不知趣的学生
，居然敢说学术界的坏话！
大地震前夕的天空总是异常的美。我竟然在过道里看到那位图灵奖教授对我点头致意并
且微笑，以前做 TA 时把我呼来唤去还横竖不满意的教授也对我笑脸相迎。我仿佛觉得
，我推心置腹的一席话打动了那位德高望重的教授，再加上在图形学和数值计算的扎实
进展，给我的学术生涯带来了转机。可是，我那一次真正的领悟了什么叫做所谓的“笑
里藏刀”。
由于那个学期上的图形学还有矩阵计算的课成绩都不错，我心想应该能找这两个授课教
授的其中一个做导师吧。再加上那些貌似友好的笑容…… 所以没想很多，居然过了一
个非常快乐的寒假。没有任何前兆，没有任何直接的通知（email，电话），一封纸信
不知道是什么时候默默地进到了我在系里的“信箱”—一个我基本上从来不看的，系里
用来塞广告信息的信夹子里，直到下一个学期开始的时候（2月份）我才发现。信是系
主任写的，大概就是说，由于你的表现，我们觉得 Cornell 不是适合你的地方……
我本来就有想走的意思，可就是喜欢呆在一个地方懒得动。如果你们早一点告诉我这个
，我还可以申请转学到其它学校。可是都 2 月份了才收到这样的东西，Cornell 啊
Cornell，你让我现在怎么办？我想我可以说你不仁不义吧？
在这个走投无路的时候，我想起了曾经关心过我却又很失望的 Hofstadter 教授。我厚
着脸皮告诉他我在 Cornell 很不开心，我很后悔没有认真地考虑过 Indiana。我很想
研究程序语言，可是 Cornell 不在乎这个领域。他回信说，没有关系，你能找到自己
喜欢的东西就应该去追寻它，这次不要再冲着名气做决定好吗。Indiana 的 Dan
Friedman 就是做程序语言的，你可以联系他，就说是我介绍你去的。
于是给 Friedman 发了 email，很快得到了回信说：“王垠，两年前我们都看过你的材
料。我们觉得你是一个非常出众的学生。可惜你最后没有选择我们。你要明白，人生最
重要的事情不是名利，而是找到你愿意合作的人。你的材料都还在我们这里。现在招生
已经快结束了，但是我会把你的材料提交给招生委员会，让他们破例再次考虑你的申请
。” 我和 Dan Friedman 的故事就从这里开始了。
常青藤联盟和“世界一流大学”
我在 Cornell 的经历应该不是偶然，不是因为我比较特殊。跟我同时进入 Cornell 的
博士生有好几个几年后没有拿学位就离开了。其中有一个是非常聪明的少年班，18岁就
读 PhD 了，我根本听不懂的理论课他还能拿A。可是四年后他退学去了 Facebook，说
真是太难毕业了。有些本科生也告诉我类似的经历，说被系里一个被叫做“笑面虎”的
教授“整了”。Cornell 的自杀率居美国大学前列。我走了以后的一天，忽然看到新闻
报道说 Cornell 一周之类有三个学生从瀑布旁边的那座桥跳下去。我觉得自己在
Cornell 所感受到的压力确实超乎想象，是有可能把人逼上绝路的。现在回想起来真是
可笑，因为对权威和名气的下意识的崇拜，我给了一群根本没有资格来教育我的人向我
施加无端压力的权力。
我应该指出，这种现象应该不是 Cornell 所特有的。我对清华，还有 Princeton，
Harvard，MIT，Stanford，Berkeley，CMU 等学校的学生都有了解。这些所谓的“世界
一流大学”或者“世界一流大学 wannabee”差不多都是类似的气氛。你冲着它们的名
气和“关系网”挤破了头皮进去，然后就每天有人在你耳边对其它某些人感叹：哇，他
好牛啊！发了好多 paper，还得了XX奖。跟参加传销大会似的，让你感觉个人的价值被
完全的忽视。然后就是填鸭式的教育，无止境的作业和考试，让你感觉他们不是在“教
育”你，而是在“筛选”你。这种筛选总是筛掉最差的，但也筛掉最好的，因为最好的
学生能意识到你在干什么，他们不给你筛选他们的机会。所以剩下来的就是最一般的，
循规蹈矩听话的。在这样的环境里，你感觉不到真正的智慧和真知的存在。GRE 考试所
鼓吹的什么“批判性思维”（critical thinking ）在美国大学里其实是相当缺乏的。
学生们只不过是在被培训成为某些其他人的工具，他们具有固定的思维定势，像是一个
模子倒出来的。他们不是真正的创造者和开拓者。
人们在这些大学里的时候都是差不多感受的，可是一旦他们出来了，就会对此绝口不提
。自己身上挂着这些学校的镀金牌子，怎么能砸了自己的品牌，长别人的威风？所以每
当我批判 Cornell 就有些以前的同学一脸的着急相，好像自己没有吃过那苦头一样。
再见了，权威们
亲爱的同胞们，如果你们觉得有了可以在背后说王垠“被Cornell 退学”的机会，那么
你们就错了。是我首先从心理上抛弃了 Cornell。Cornell 还有资格来评价我吗？离开
多年以后我仍然收到 Cornell 程序语言研究小组的 mailing list 信息，讨论一些没
水准的问题。我之所以可以告诉你们这些貌似不可告人的故事，是因为你们可能也会经
历这些事情。对权威和名校的崇拜，让你们成为了被“教授阶级”摆布的傀儡和他们在
学术战场上的牺牲品。我很幸运的遇到了像 Hofstadter 和 Friedman 这样的好人，而
你们也许就没有这么幸运。
几经颠簸的求学生涯，让我获得了异常强大的力量。我的力量不仅来自于 Friedman，
Dybvig 等教授的教诲，而且在于我自己不懈的追求。机会只亲睐有准备的头脑，并不
是每个 Friedman 的学生都可以像我一样在一个星期之内解决别人十多年才完成的研究
，完全独立的进行思考。我可以说，这个领域在过去一个世纪的研究，很少有逃脱过我
的洞察力和直觉的。我看到一个东西一般很快就会知道它到底会不会管用，我经常发现
一些被认为很牛的设计其实是在解决根本不存在的问题，而真正的问题却没有得到有效
的解决。这些问题很大程度上是历史上权威的阴影造成的，它让人们不敢否认这些大牛
作品的价值，不敢抛弃它们，所以他们很多的时间花在了解决历史遗留问题，而不是真
正的问题。这就是为什么我的英文blog标题叫做“Surely I Am Joking”，因为它记录
了一些我认为根本不存在，或者是人为造成的问题。我从来不认为自己比别人聪明，我
只是觉得很多人的脑子被权威禁锢了而已。
曾经 Knuth 是我心中唯一的权威。后来我又屈服于 Cornell 和常青藤联盟的权威和名
气。我因为图灵的威名而误以为图灵奖得主都是德高望重的前辈。应该说，在 Indiana
的日子里，权威主义的影子也是经常出现的。Indiana 学生们的权威比较特殊一点，
不然就是 Dan Friedman，不然就是 Kent Dybvig，不然就是 Tony Hoare 之类的。所
以你有时据理力争的时候就会听到人这样跟你辩论：“Kent 说……” 不管你说什么，
他们都想抬出一个明星来压倒你。我很尊敬 Friedman 和 Dybvig，但我也看到他们的
一些思维方式并不是那么的正确，我从来不引用他们的话作为理论依据。我也不喜欢
Indiana 同学这种抬出权威来镇压异议的行为。应该指出的是，权威们自己有时候对这
种行为的产生是不知情的。谁能防止你引用我的话去压倒跟你辩论的人呢？所以这很多
时候不能归咎于权威自己，而应该归咎于那些盲目崇拜他们的人。对权威的崇拜其实现
实了一个人的弱小。如果你有自己的想法和判断就应该可以据理力争，又何必抬出个名
人来压制别人呢？
在一而再再而三的上当受骗之后，我终于把所有的权威们从我的脑子里轰了下去。这些
权威包括所有大学的所有教授，所有的图灵奖得主，Unix 和类似操作系统的设计者，
所有的程序语言设计者，图灵，他的导师邱奇，他的师兄 Kleene，被程序语言研究者
奉为权威的逻辑学家们比如 Per Martin Lof，各大IT界“牛公司”，美国国防部，美
国宇航局，…… 我与权威们完全处于平起平坐的地位。如果你觉得你心目中的超级偶
像在我之上的话，请先问问我对他们的博士论文或者图灵奖作品有何评价 :-)
不再是我心目中的权威并不等于我鄙视他们或者不尊敬他们。他们在我的脑子里失去的
只是他们在很多其他人脑子里的那种被膜拜的地位，那种你可以用“XX人说过……”来
压倒理性分析的地位。现在他们在我心目中是一群普通的，有血有肉，有好心肠或者坏
心眼的，高傲，谦虚或者虚伪的人。他们设计的东西，好的地方我可以借鉴，但是没有
任何人的东西我是不加批判全盘接受的。我深深地知道接受错误的想法的危害性，所以
我也希望大家都具有批判的思维，不要盲目的接受我说的话。我不喜欢“大神”或者“
牛人”这种称呼。
最后我希望国内的同学们，不要盲目的崇拜国外的所谓“大师”，“牛校”或者“牛公
司”。祝你们早日消灭掉心里的各种权威以及对他们的畏惧心理，认识到自己和自己国
家的价值和力量。
新年快乐！ |
m******t
发帖数: 635 | 2 同意Knuth被神话了。不过Tex也算那个时代的master piece了，不能过于苛求了。
感觉王垠更多的在跟自己较劲，总是把一个东西想象的比较美好，然后破灭后就开始抱
怨。学术界拉帮结伙，坑蒙拐骗的不少，工业界也差不多。他不改变的话看样子还要吃
亏啊。 |
g*****g
发帖数: 34805 | 3 不迷信权威倒是没什么错，问题是王垠自己拿不出啥像样的东西，偏偏还要成天把自己
吹得跟千里马没遇到伯乐似的。
王垠说得闪烁其辞，其实不就是在康奈尔学了一年半，成绩不够好，被退学了。王垠就
是没碰到啥挫折，先在四川大学，后来进入清华直博(留在清华直博的大多是三流的学
生)，觉得自己牛逼大了。到康奈尔才受挫折，发现理想和现实差距太大，只能靠博客
补了。 |
p*u
发帖数: 2454 | 4
u seem 2 have bias towards him: i believe his skills and understanding of
certain concepts are far beyond the level that's needed to obtain a good GPA
@ Cornell. his problem (or uniqueness) is that he doesn't want 2 comprise
with reality and whines a lot about real world and real people, but this
should not change the fact that he's very good @ certain things.
i wish his start up a big success, so that more people can listen to him and
benefit from his independent thinking.
【在 g*****g 的大作中提到】
: 不迷信权威倒是没什么错，问题是王垠自己拿不出啥像样的东西，偏偏还要成天把自己
: 吹得跟千里马没遇到伯乐似的。
: 王垠说得闪烁其辞，其实不就是在康奈尔学了一年半，成绩不够好，被退学了。王垠就
: 是没碰到啥挫折，先在四川大学，后来进入清华直博(留在清华直博的大多是三流的学
: 生)，觉得自己牛逼大了。到康奈尔才受挫折，发现理想和现实差距太大，只能靠博客
: 补了。
|
c******o
发帖数: 1277 | 5 IMHO,he does not really have a lot of unique idea(s).
his blog for what i saw, always chasing and echoing some popular ideas
around. |
s***o
发帖数: 2191 | 6 王垠的态度是别人都不行就他自己行，问题都是出在别人身上，这个肯定不行。他要是
真能折腾出啥了不起的玩意才真是怪事。 |
t****a
发帖数: 1212 | 7 这世界上没有完人，何必用太高的标准去要求他？扪心自问，自己达到了么？己所不欲
勿施于人，吸收他的话中对自己有价值的就够了。他很诚恳的写下了这些多年来的积累
和思想给我们看，很感谢他。
他的这段话说的太好了：
不再是我心目中的权威并不等于我鄙视他们或者不尊敬他们。他们在我的脑子里失去的
只是他们在很多其他人脑子里的那种被膜拜的地位，那种你可以用“XX人说过……”来
压倒理性分析的地位。现在他们在我心目中是一群普通的，有血有肉，有好心肠或者坏
心眼的，高傲，谦虚或者虚伪的人。他们设计的东西，好的地方我可以借鉴，但是没有
任何人的东西我是不加批判全盘接受的。我深深地知道接受错误的想法的危害性，所以
我也希望大家都具有批判的思维，不要盲目的接受我说的话。我不喜欢“大神”或者“
牛人”这种称呼。 |
l*********s
发帖数: 5409 | 8 re. I have much better impression about 王垠 now.
GPA
and
【在 p*u 的大作中提到】
:
: u seem 2 have bias towards him: i believe his skills and understanding of
: certain concepts are far beyond the level that's needed to obtain a good GPA
: @ Cornell. his problem (or uniqueness) is that he doesn't want 2 comprise
: with reality and whines a lot about real world and real people, but this
: should not change the fact that he's very good @ certain things.
: i wish his start up a big success, so that more people can listen to him and
: benefit from his independent thinking.
|
g*****g
发帖数: 34805 | 9 I was willing to give him benefits of doubts when he quit from Tsinghua.
But no way he'd earn it after similar stories in Cornell and Indiana. We all
learn the "wolf's here" story as a kid.
No doubt Cornell was tough, but you put up or shut up. I had an ex-classmate
graduated from there and became a professor in a good school.
I value people who walk the walk, not talk the talk. I wish him good luck in
the business. But until he's proven it otherwise, he's just an average joe
and an attention whore in my book.
GPA
and
【在 p*u 的大作中提到】
:
: u seem 2 have bias towards him: i believe his skills and understanding of
: certain concepts are far beyond the level that's needed to obtain a good GPA
: @ Cornell. his problem (or uniqueness) is that he doesn't want 2 comprise
: with reality and whines a lot about real world and real people, but this
: should not change the fact that he's very good @ certain things.
: i wish his start up a big success, so that more people can listen to him and
: benefit from his independent thinking.
|
w***g
发帖数: 5958 | 10 王垠写程序的能力还是非常强的。不过要在programming language这个方向出啥了不起
的东西还真是比较难。一个东西要卖给程序员很难卖出什么好价钱。我本科时就看他写
的那些东西，然后倒腾Linux。要说也是被他引上了一条正路。这人敢做敢当，我觉得
是一条汉子，比那种在背后阴别人的人强太多。
【在 s***o 的大作中提到】
: 王垠的态度是别人都不行就他自己行，问题都是出在别人身上，这个肯定不行。他要是
: 真能折腾出啥了不起的玩意才真是怪事。
|
|
|
c*******9
发帖数: 9032 | 11 嗯，看他对haskell的评论可以看出他比较偏实际，不适合搞理论。搞理论应该更能欣
赏数理逻辑的美感，而不是仅仅抓住一些东西细节的晢时的缺点。
【在 w***g 的大作中提到】
: 王垠写程序的能力还是非常强的。不过要在programming language这个方向出啥了不起
: 的东西还真是比较难。一个东西要卖给程序员很难卖出什么好价钱。我本科时就看他写
: 的那些东西，然后倒腾Linux。要说也是被他引上了一条正路。这人敢做敢当，我觉得
: 是一条汉子，比那种在背后阴别人的人强太多。
|
c*******9
发帖数: 9032 | 12 嗯，看他对haskell的评论可以看出他比较偏实际，不适合搞理论。搞理论应该更能欣
赏数理逻辑的美感，而不是仅仅抓住一些东西细节的晢时的缺点。
【在 w***g 的大作中提到】
: 王垠写程序的能力还是非常强的。不过要在programming language这个方向出啥了不起
: 的东西还真是比较难。一个东西要卖给程序员很难卖出什么好价钱。我本科时就看他写
: 的那些东西，然后倒腾Linux。要说也是被他引上了一条正路。这人敢做敢当，我觉得
: 是一条汉子，比那种在背后阴别人的人强太多。
|
P********l
发帖数: 452 | |
D*****r
发帖数: 6791 | 14 也没有被别人背后阴吧。他找大毛谈话，别人以为他是辞职。发了辞退的信之后，“笑
面虎”是怕他狗急跳墙吧。
我佩服王垠的自信心和不屑的追求，这种俯视权威的气度还是很少见的。
而且我觉得他非常有写作天赋，自己的经历写出来真是引人入胜啊
要是
【在 w***g 的大作中提到】
: 王垠写程序的能力还是非常强的。不过要在programming language这个方向出啥了不起
: 的东西还真是比较难。一个东西要卖给程序员很难卖出什么好价钱。我本科时就看他写
: 的那些东西，然后倒腾Linux。要说也是被他引上了一条正路。这人敢做敢当，我觉得
: 是一条汉子，比那种在背后阴别人的人强太多。
|
x****u
发帖数: 44466 | 15 王垠公开发表的关于linux的文章大部分都是错的或者误导的，这种类型的sb到处都有
但是只有在我国才能成为名人，我国开源界就是被这样的人搞得乌烟瘴气。
【在 w***g 的大作中提到】
: 王垠写程序的能力还是非常强的。不过要在programming language这个方向出啥了不起
: 的东西还真是比较难。一个东西要卖给程序员很难卖出什么好价钱。我本科时就看他写
: 的那些东西，然后倒腾Linux。要说也是被他引上了一条正路。这人敢做敢当，我觉得
: 是一条汉子，比那种在背后阴别人的人强太多。
|
a*****e
发帖数: 1700 | 16 文章里面自己承认了是因为不按时查信箱，所以二月份才看到劝退信，然后居然还要怪
罪学校不给他时间找下家。
自己永远伟光正，错了的都是被误导，被蒙蔽，被陷害，被xx。
我也是做 PL 研究的，王垠的夸夸其谈，也就哄哄外人吧。
【在 P********l 的大作中提到】
: 感觉王垠的气量比较小，难以共事．
|
t****t
发帖数: 6806 | 17 这是啥时候写的, 怎么还是好象车轱辘话来回说的样子?
Tool
【在 x****k 的大作中提到】
: 王垠:我和权威的故事
: 1 墙外楼 by 墙外仙 / 7h // keep unread // hide // preview
: Share on Google PlusTwitterFacebookLinkedInBufferFacebookCustom Sharing Tool
: [undo save for later] Evernote [Add to Instapaper] [Add to Pocket]
: +Tag
: 每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威
: 就像广告，你听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用
: 了，而且这作用越来越强。
: 消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只
: 要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在
|
d***q
发帖数: 1119 | 18 just a few days ago.
【在 t****t 的大作中提到】
: 这是啥时候写的, 怎么还是好象车轱辘话来回说的样子?
:
: Tool
|
D*******a
发帖数: 3688 | 19 这哥们也就是能说敢张嘴爱发牢骚，其内容别较真就是了。过一段时间他估计就又写些
什么，把这些全都推翻。
【在 g*****g 的大作中提到】
: I was willing to give him benefits of doubts when he quit from Tsinghua.
: But no way he'd earn it after similar stories in Cornell and Indiana. We all
: learn the "wolf's here" story as a kid.
: No doubt Cornell was tough, but you put up or shut up. I had an ex-classmate
: graduated from there and became a professor in a good school.
: I value people who walk the walk, not talk the talk. I wish him good luck in
: the business. But until he's proven it otherwise, he's just an average joe
: and an attention whore in my book.
:
: GPA
|
g*****g
发帖数: 34805 | 20 你说清华耽误他了我信，连换两个牛校都耽误他了，谁信谁傻逼。这就跟 flg面了一圈
全废了，回来说面试官太弱，不值得跟他们共事一个性质。
【在 D*******a 的大作中提到】
: 这哥们也就是能说敢张嘴爱发牢骚，其内容别较真就是了。过一段时间他估计就又写些
: 什么，把这些全都推翻。
|
|
|
t****t
发帖数: 6806 | 21 我不是正规军, 不太懂他做的计算机语言的研究, 也没什么看法.
但是我就挺奇怪的, cornell被退学或者自己退学都是好几年前的事了吧, 怎么老是拿出
来说.
【在 d***q 的大作中提到】
: just a few days ago.
|
b*******s
发帖数: 5216 | 22 这就是悲愤也没有用吧
拿出
【在 t****t 的大作中提到】
: 我不是正规军, 不太懂他做的计算机语言的研究, 也没什么看法.
: 但是我就挺奇怪的, cornell被退学或者自己退学都是好几年前的事了吧, 怎么老是拿出
: 来说.
|
d****i
发帖数: 4809 | 23 他这么愤世嫉俗，有发过什么重要的论文吗？
【在 g*****g 的大作中提到】
: 你说清华耽误他了我信，连换两个牛校都耽误他了，谁信谁傻逼。这就跟 flg面了一圈
: 全废了，回来说面试官太弱，不值得跟他们共事一个性质。
|
l*********s
发帖数: 5409 | 24 He might be another zhang yitang.
【在 d****i 的大作中提到】
: 他这么愤世嫉俗，有发过什么重要的论文吗？
|
c*******9
发帖数: 9032 | 25 看他的观念比较平庸，应该没戏。他估计就是码code能力强些。
【在 l*********s 的大作中提到】
: He might be another zhang yitang.
|
r*********r
发帖数: 3195 | 26 原来是因为老板没拿到tenure而在康奈尔呆不下去。也挺惨的。
他后来在indiana 拿到博士没有？ |
P********l
发帖数: 452 | |
P********l
发帖数: 452 | 28 － 心理不成熟
都上大学了还崇拜名人，像个小学生．后来又像个teenager，藐视规则，藐视他人，藐
视权威．
－ 价值观扭曲．
＂名＂有那么重要么？
贬低别人，就能拔高自己？
我感觉很多时候是王在搬弄是非．
【在 P********l 的大作中提到】
: 清华梦的粉碎—写给清华大学的退学申请
: http://www.china.com.cn/chinese/MATERIAL/1067489.htm
|
t****t
发帖数: 6806 | 29 好象有个ACM的best paper award?
不过按他自己的说法那是个垃圾产品.
【在 d****i 的大作中提到】
: 他这么愤世嫉俗，有发过什么重要的论文吗？
|
t****t
发帖数: 6806 | 30 好象据他自己的说法不是因为老板的问题.
不过那个无所谓, 谁都有运气不好的时候, 不过这么些年了老说这个事就没意思了.
【在 r*********r 的大作中提到】
: 原来是因为老板没拿到tenure而在康奈尔呆不下去。也挺惨的。
: 他后来在indiana 拿到博士没有？
|
|
|
r*********r
发帖数: 3195 | 31 有的人对博士学位比较在乎。没拿到就是永远的痛。
【在 t****t 的大作中提到】
: 好象据他自己的说法不是因为老板的问题.
: 不过那个无所谓, 谁都有运气不好的时候, 不过这么些年了老说这个事就没意思了.
|
b***e
发帖数: 1419 | 32 我倒是觉得他不是这个意思。他是说理论上的东西被一些权威搞得无比复杂，即使是原
先的思路很直观。这个我是赞同的。学术界的东西你玩过就知道，是要有“深度”的。
【在 c*******9 的大作中提到】
: 嗯，看他对haskell的评论可以看出他比较偏实际，不适合搞理论。搞理论应该更能欣
: 赏数理逻辑的美感，而不是仅仅抓住一些东西细节的晢时的缺点。
|
c*******9
发帖数: 9032 | 33 你说的现象虽然常见，但我感觉他并没有真正理解和欣赏category theory所以会批判
Monad之类楖念把直观的思路搞复杂了，从普通程序员角度可以这么认为，但做为理论
研究者这样指责Haskell的创造者就比较浮浅了，人家有人家的考量，他理解不了而已
，就像category theory一开始也被部分数学家认为没有新东西。
【在 b***e 的大作中提到】
: 我倒是觉得他不是这个意思。他是说理论上的东西被一些权威搞得无比复杂，即使是原
: 先的思路很直观。这个我是赞同的。学术界的东西你玩过就知道，是要有“深度”的。
|
m******t
发帖数: 635 | 34 type system背后的理论他还是很懂得，他之前有个文章提到haskell作为根本的某理论
有致命缺陷，如果证实了的话，还是很有深度的。要是在奥术神座里，一群搞haskell
的，或者引申些搞scala都要爆头
【在 c*******9 的大作中提到】
: 看他的观念比较平庸，应该没戏。他估计就是码code能力强些。
|
d******k
发帖数: 4295 | 35 搞理论是螺旋形的，简单-复杂-简单。
最开始很简单，然后各路人马出来从不同方向整的很复杂，最后某大牛站在大家肩膀上
灵光一现弄出了简单的模型。过两年又开始同样的循环。
真要做理论必须静的下来，王垠离这个阶段还差的很远。
【在 b***e 的大作中提到】
: 我倒是觉得他不是这个意思。他是说理论上的东西被一些权威搞得无比复杂，即使是原
: 先的思路很直观。这个我是赞同的。学术界的东西你玩过就知道，是要有“深度”的。
|
r******r
发帖数: 1735 | 36 写的不错，支持。
Tool
【在 x****k 的大作中提到】
: 王垠:我和权威的故事
: 1 墙外楼 by 墙外仙 / 7h // keep unread // hide // preview
: Share on Google PlusTwitterFacebookLinkedInBufferFacebookCustom Sharing Tool
: [undo save for later] Evernote [Add to Instapaper] [Add to Pocket]
: +Tag
: 每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威
: 就像广告，你听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用
: 了，而且这作用越来越强。
: 消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只
: 要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在
|
d*******r
发帖数: 3299 | 37 我看他工作之余是在搞琢磨自己的language的，大家回头看看他设计的东西如何吧
Typed Racket 是一种类似 typed lisp/scheme 的东西
Yin Wang @ Google Plus
Shared publicly - Dec 1, 2013
#racket
Spent hours trying to get my first interpreter for the Y programming
language to pass Typed Racket's type checker and still have 8 errors can't
be resolved because of the rough edges of the type system.
In general Typed Racket is very powerful and helpful. It caught quite some
actual errors, and is much more powerful and easier to work with than the
type systems of Haskell or OCaml. However there are still a few corners not
covered which will catch legitimate programs and need work-arounds. This
reminds me of the difficulty that "typed Ylang" is going to face.
My code is here. Really appreciate any help to get it pass the type checker
;-)
https://github.com/yinwang0/ylang/blob/master/v1-typed.rkt
#racket #types |
c******o
发帖数: 1277 | 38 完全赞同，我最近在公司里做presentation 就是讲这些 Algebraic Data Type
基本上把http://www.haskell.org/haskellwiki/Typeclassopedia里的都介绍了一遍，用scala实现了，在做了一些小应用。一点都不难，就是要理解。
其实这些对我来说是建模工具，不用它们，在pure FP里我还不知道能用啥。
说复杂，都是没用它们实现东西的，每一个实现一个小东西就清楚了。自己会应用才是
难点。
【在 c*******9 的大作中提到】
: 你说的现象虽然常见，但我感觉他并没有真正理解和欣赏category theory所以会批判
: Monad之类楖念把直观的思路搞复杂了，从普通程序员角度可以这么认为，但做为理论
: 研究者这样指责Haskell的创造者就比较浮浅了，人家有人家的考量，他理解不了而已
: ，就像category theory一开始也被部分数学家认为没有新东西。
|
c*******9
发帖数: 9032 | 39 你说的是什么致命缺馅？
haskell
【在 m******t 的大作中提到】
: type system背后的理论他还是很懂得，他之前有个文章提到haskell作为根本的某理论
: 有致命缺陷，如果证实了的话，还是很有深度的。要是在奥术神座里，一群搞haskell
: 的，或者引申些搞scala都要爆头
|
d*******r
发帖数: 3299 | |
|
|
c*******9
发帖数: 9032 | 41 我是看过丘成桐和他学生写的一本关于几何分折和计算机图形应用的书才觉得类似这些
抽象楖念非常有用。王垠具体技术能力应该是不错的，就是匠气太重不适合搞学术，又
自以为是误导别人。
【在 c******o 的大作中提到】
: 完全赞同，我最近在公司里做presentation 就是讲这些 Algebraic Data Type
: 基本上把http://www.haskell.org/haskellwiki/Typeclassopedia里的都介绍了一遍，用scala实现了，在做了一些小应用。一点都不难，就是要理解。
: 其实这些对我来说是建模工具，不用它们，在pure FP里我还不知道能用啥。
: 说复杂，都是没用它们实现东西的，每一个实现一个小东西就清楚了。自己会应用才是
: 难点。
|
n***e
发帖数: 723 | 42 是这样，我觉得被退学这种事虽然他自己说不介意其实应该蛮介意的。
拿出
【在 t****t 的大作中提到】
: 我不是正规军, 不太懂他做的计算机语言的研究, 也没什么看法.
: 但是我就挺奇怪的, cornell被退学或者自己退学都是好几年前的事了吧, 怎么老是拿出
: 来说.
|
d*******r
发帖数: 3299 | 43 同意这个，而且他说过的“一手的idea” (其实就是解决“元问题”的直觉和方法) 比
学术界大多数的“二手货”简单很多, 这个还是很在理。而且我其实同意学术界大都是
一帮高级混混。啥火研究啥，啥给钱搞啥，啥能得到顶级学霸的青睐就写啥，只要能骗
住观众就行。。。基本
就一政治游戏。这帮人跟远古的巫婆祭司，古代的神职人员其实是一个路数的。人类有
“神秘崇拜”的弱点，所以所有跳大神的工作都需要制造各种 unnecessary
complexities。
【在 b***e 的大作中提到】
: 我倒是觉得他不是这个意思。他是说理论上的东西被一些权威搞得无比复杂，即使是原
: 先的思路很直观。这个我是赞同的。学术界的东西你玩过就知道，是要有“深度”的。
|
m******t
发帖数: 635 | 44 说的不错，赞一个
【在 d*******r 的大作中提到】
: 同意这个，而且他说过的“一手的idea” (其实就是解决“元问题”的直觉和方法) 比
: 学术界大多数的“二手货”简单很多, 这个还是很在理。而且我其实同意学术界大都是
: 一帮高级混混。啥火研究啥，啥给钱搞啥，啥能得到顶级学霸的青睐就写啥，只要能骗
: 住观众就行。。。基本
: 就一政治游戏。这帮人跟远古的巫婆祭司，古代的神职人员其实是一个路数的。人类有
: “神秘崇拜”的弱点，所以所有跳大神的工作都需要制造各种 unnecessary
: complexities。
|
c****d
发帖数: 116 | 45 读了前边几段，后来就看不下去了。
【在 m******t 的大作中提到】
: 说的不错，赞一个
|
a*****e
发帖数: 1700 | 46 HM 类型推导系统引入 let poly 的限制是为了保证推导无需任何类型注释，不仅
decidable 而且高效。这个缺陷只要是学过类型理论的都应该知道，搞得好像是自己了
不起的发现似的就只有王垠了。
以此来批评 Haskell 更是不知所谓，Haskell 的类型推导早就脱离了 HM 系统了。
【在 d*******r 的大作中提到】
: 我猜他说的是这个吧
: http://www.yinwang.org/blog-cn/2013/04/01/hindley-milner/
: http://www.tudou.com/programs/view/GU9GtDuWSMk
|
f******n
发帖数: 346 | 47 跟教授发这么一个抱怨，等于是把系里大部分人都得罪了，谁还能容的下你这尊神呢。
这个人太理想化了，政治哪儿都存在，没有什么真正的净土一说。像Cornell这种地方
，一般都是招上一大堆学生，然后几年之后淘汰掉一批，这虽然让人恶心，但这是学校
的优势地位决定的，为了自身利益所做的算计，不喜欢也没人逼你来这里。
想留，就要按照这个游戏规则跟人家玩，不喜欢这里的游戏规则，可以走，但是要提前
做好规划，有步骤的找好下家，全身而退。其实再不济，起码要做到professional，至
少要脑子有根弦来保护自己。 |
a*****e
发帖数: 1700 | 48 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 PL 领域并不少见。
不妨客观地看看他经手的几个项目：
1. Pysonar。将类型推导引入动态语言，是个不错的主意，具体的优势，光凭王本人的
吹嘘不足取信。如果他能够给出一整套形式化的总结，包括 language and type
definition, type inference rules, proof of soundness 等等，写一篇 paper，如
果有料，完全可以投到 POPL 或者 PLDI。
2. Register allocation。他提出了不同于传统 colorization 的方案，如果能有一个
完整的实现和 evaluation，也至少是一片 PLDI 量级的论文。
3. PL 课堂作业。似乎他本人非常引以为豪，但这其实没什么了不起的，框架都是老师
搭好的，就做个具体实现，而且实现的也不是新方案。碰巧和某前人的研究成果撞车，
但这一点也不新鲜，人家有能力有耐心把具体实现中的技巧提炼出来成为理论，并且给
与证明。而从 1 和 2 可以看出，王垠本人其实从未正经完成过这样的事情。
缺乏一个 PhD 做研究的最基本素质，也正是他连续退学的主要原因，而他还要把责任
全部推到别人身上，心性可见一斑。
【在 d*******r 的大作中提到】
: 同意这个，而且他说过的“一手的idea” (其实就是解决“元问题”的直觉和方法) 比
: 学术界大多数的“二手货”简单很多, 这个还是很在理。而且我其实同意学术界大都是
: 一帮高级混混。啥火研究啥，啥给钱搞啥，啥能得到顶级学霸的青睐就写啥，只要能骗
: 住观众就行。。。基本
: 就一政治游戏。这帮人跟远古的巫婆祭司，古代的神职人员其实是一个路数的。人类有
: “神秘崇拜”的弱点，所以所有跳大神的工作都需要制造各种 unnecessary
: complexities。
|
x****u
发帖数: 44466 | 49 这个人工作了也是啥事做不成总跳槽，还高调批评老东家。人家雇了他反而是人家的错。
【在 f******n 的大作中提到】
: 跟教授发这么一个抱怨，等于是把系里大部分人都得罪了，谁还能容的下你这尊神呢。
: 这个人太理想化了，政治哪儿都存在，没有什么真正的净土一说。像Cornell这种地方
: ，一般都是招上一大堆学生，然后几年之后淘汰掉一批，这虽然让人恶心，但这是学校
: 的优势地位决定的，为了自身利益所做的算计，不喜欢也没人逼你来这里。
: 想留，就要按照这个游戏规则跟人家玩，不喜欢这里的游戏规则，可以走，但是要提前
: 做好规划，有步骤的找好下家，全身而退。其实再不济，起码要做到professional，至
: 少要脑子有根弦来保护自己。
|
g*****g
发帖数: 34805 | 50 这哥们从学习到工作，地方换了不少，所有论调都是一样的。
这家求着我来，上家傻逼。我很牛逼，上家不配。我又做了正确的决定。
错。
【在 x****u 的大作中提到】
: 这个人工作了也是啥事做不成总跳槽，还高调批评老东家。人家雇了他反而是人家的错。
|
|
|
n****e
发帖数: 2401 | 51 这种垃圾废物人见人烦。自己也不撒泡尿照照，什么鸡巴烂玩意哦。 |
e*******o
发帖数: 4654 | |
d***a
发帖数: 13752 | 53 严格来说，他在美国什么学术工作都没做，怎么评价呢？
【在 e*******o 的大作中提到】
: 很好奇，他恩师怎么评价他。
|
t***c
发帖数: 289 | 54 这倒是，这哥们这点是不好，不过这个是为人处世方面的问题，他技术方面应该还是很
牛逼的，这个不矛盾
这就好像科比虽然各种作奸犯科，但勤能补拙的他在联盟最好的平台下还是打出了自己
的半片天空嘛
【在 g*****g 的大作中提到】
: 这哥们从学习到工作，地方换了不少，所有论调都是一样的。
: 这家求着我来，上家傻逼。我很牛逼，上家不配。我又做了正确的决定。
:
: 错。
|
x****u
发帖数: 44466 | 55 他技术方面还不如学术呢。
【在 t***c 的大作中提到】
: 这倒是，这哥们这点是不好，不过这个是为人处世方面的问题，他技术方面应该还是很
: 牛逼的，这个不矛盾
: 这就好像科比虽然各种作奸犯科，但勤能补拙的他在联盟最好的平台下还是打出了自己
: 的半片天空嘛
|
r****y
发帖数: 26819 | 56 最让人不平的还是他学术不如名气，对吧。
【在 x****u 的大作中提到】
: 他技术方面还不如学术呢。
|
x****u
发帖数: 44466 | 57 是啊，名字还不如罗玉凤才最让他不平。
【在 r****y 的大作中提到】
: 最让人不平的还是他学术不如名气，对吧。
|
r****y
发帖数: 26819 | 58 还好吧，起码这俩都是闻达于诸侯的。哈哈
【在 x****u 的大作中提到】
: 是啊，名字还不如罗玉凤才最让他不平。
|
d*******r
发帖数: 3299 | 59 我倒是觉得王垠应该把他的python分析器，甚至是自己的ylang，搞出来，让大家实实
在在的看看，功能到底有多牛x，这时候大家能评判他是吹牛皮，还是有真本事。
【在 a*****e 的大作中提到】
: 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 PL 领域并不少见。
: 不妨客观地看看他经手的几个项目：
: 1. Pysonar。将类型推导引入动态语言，是个不错的主意，具体的优势，光凭王本人的
: 吹嘘不足取信。如果他能够给出一整套形式化的总结，包括 language and type
: definition, type inference rules, proof of soundness 等等，写一篇 paper，如
: 果有料，完全可以投到 POPL 或者 PLDI。
: 2. Register allocation。他提出了不同于传统 colorization 的方案，如果能有一个
: 完整的实现和 evaluation，也至少是一片 PLDI 量级的论文。
: 3. PL 课堂作业。似乎他本人非常引以为豪，但这其实没什么了不起的，框架都是老师
: 搭好的，就做个具体实现，而且实现的也不是新方案。碰巧和某前人的研究成果撞车，
|
t****t
发帖数: 6806 | 60 他的pysonar据说已经拿出来了.
【在 d*******r 的大作中提到】
: 我倒是觉得王垠应该把他的python分析器，甚至是自己的ylang，搞出来，让大家实实
: 在在的看看，功能到底有多牛x，这时候大家能评判他是吹牛皮，还是有真本事。
|
|
|
m******t
发帖数: 635 | 61 对programming language的学术界不熟，这两个conference PLDI和POPL水平怎样啊?
当教授的话要几篇才够 (不算journal的话）？
【在 a*****e 的大作中提到】
: 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 PL 领域并不少见。
: 不妨客观地看看他经手的几个项目：
: 1. Pysonar。将类型推导引入动态语言，是个不错的主意，具体的优势，光凭王本人的
: 吹嘘不足取信。如果他能够给出一整套形式化的总结，包括 language and type
: definition, type inference rules, proof of soundness 等等，写一篇 paper，如
: 果有料，完全可以投到 POPL 或者 PLDI。
: 2. Register allocation。他提出了不同于传统 colorization 的方案，如果能有一个
: 完整的实现和 evaluation，也至少是一片 PLDI 量级的论文。
: 3. PL 课堂作业。似乎他本人非常引以为豪，但这其实没什么了不起的，框架都是老师
: 搭好的，就做个具体实现，而且实现的也不是新方案。碰巧和某前人的研究成果撞车，
|
j********x
发帖数: 2330 | 62 老张是餐馆打工不忘琢磨数学问题
这个老王是写程序不忘琢磨：我咋这么牛逼，那些鄙视我的咋不知道我这么牛逼。。。
【在 l*********s 的大作中提到】
: He might be another zhang yitang.
|
j********x
发帖数: 2330 | 63 呵呵
你看来也是离主流学术圈比较远的。。。
学术圈跟工业界一回事，少数牛逼，理论和实践双秀。。。
我就不说整个计算机工业的技术基础基本上都是从学校里面出来的
论文嘛，跟工业界代码一样，99.9999%都是垃圾
教授嘛，跟工业界码农一样，99.9999%都是垃圾
这个问题辩证统一看就好了。。。
【在 b***e 的大作中提到】
: 我倒是觉得他不是这个意思。他是说理论上的东西被一些权威搞得无比复杂，即使是原
: 先的思路很直观。这个我是赞同的。学术界的东西你玩过就知道，是要有“深度”的。
|
b***e
发帖数: 1419 | 64 这两个是最顶级的。一个偏理论, 一个偏实践。
【在 m******t 的大作中提到】
: 对programming language的学术界不熟，这两个conference PLDI和POPL水平怎样啊?
: 当教授的话要几篇才够 (不算journal的话）？
|
m******t
发帖数: 635 | 65 如果alanine说的没错的话，王垠到目前的工作大概相当于两、三篇顶级编程语言学术
会议论文的水平，感觉还可以啊。Scala的作者Martin Odersky是知名学校的正教授也
没几篇POPL呢，大家不要苛求太多。
【在 b***e 的大作中提到】
: 这两个是最顶级的。一个偏理论, 一个偏实践。
|
n****1
发帖数: 1136 | 66 他只有一些模糊的猜想而已, 是对是错都不知道. 猜想是不足以发论文的, 除非你是歌
德巴赫或庞加莱. 论文都是要从理论上严格证明的. 比如他提出那个加强版的type
inference algorithm, 需要以下元素:
1. 证明算法是decidable
2. 证明是所有目前type inference algorithm的超集
3. 给出实际的例子, 说明别人做不到的inference他能做到, 而且需要justify这个例
子并非边角情况, 而是普遍存在.
CS里面潜心钻研的大拿太多了,从王打嘴仗的内容来看, 他没有证明自己猜想的功力.
【在 m******t 的大作中提到】
: 如果alanine说的没错的话，王垠到目前的工作大概相当于两、三篇顶级编程语言学术
: 会议论文的水平，感觉还可以啊。Scala的作者Martin Odersky是知名学校的正教授也
: 没几篇POPL呢，大家不要苛求太多。
|
n******r
发帖数: 4455 | 67 这个老王最好玩的地方就是总是自己推翻自己说的
文章基本上都是一个调调，举世皆醉而我独醒，XXX很逊，我的看法最最高
过一段再发一篇，XXX很逊，我的新看法最最高
问题是他新文章的鄙视对象常常就是以前文章推崇的东西
作为读者都很难理解，作为作者他居然像根本当以前的事没发生过 |
m******t
发帖数: 635 | 68 点评的不错，王垠 确实有点善始不善终，如果他老实地把这两篇论文写下来，就算会
议不中也会好很多。
【在 n****1 的大作中提到】
: 他只有一些模糊的猜想而已, 是对是错都不知道. 猜想是不足以发论文的, 除非你是歌
: 德巴赫或庞加莱. 论文都是要从理论上严格证明的. 比如他提出那个加强版的type
: inference algorithm, 需要以下元素:
: 1. 证明算法是decidable
: 2. 证明是所有目前type inference algorithm的超集
: 3. 给出实际的例子, 说明别人做不到的inference他能做到, 而且需要justify这个例
: 子并非边角情况, 而是普遍存在.
: CS里面潜心钻研的大拿太多了,从王打嘴仗的内容来看, 他没有证明自己猜想的功力.
|
d***a
发帖数: 13752 | 69 有就是有，没有就是没有，这不是可以折算的。不能说有X篇二三流的工作，可以折算
成一篇顶级的。
但也有一些顶级的工作是发在非顶级会议/期刊上的。
【在 m******t 的大作中提到】
: 如果alanine说的没错的话，王垠到目前的工作大概相当于两、三篇顶级编程语言学术
: 会议论文的水平，感觉还可以啊。Scala的作者Martin Odersky是知名学校的正教授也
: 没几篇POPL呢，大家不要苛求太多。
|
v*****r
发帖数: 2325 | 70 有个性有思想这是肯定的. 妇联网博客的一个现象就是cultivate unrestricted Self-
righteousness
不过有独到见解多, 没有成就做后盾, ...
a big bull programmer is measured with entrepreneur success or widely used
tool/framework creation, or great books by good publishers.
one side of big bull maybe has some politics, the other side of big bull is
that you have to do something winning(whatever that is) to command the
authority.
a golf great, lee trevino, used to quipped: "nobody laughed my jokes until I
won major championships"
Tool
【在 x****k 的大作中提到】
: 王垠:我和权威的故事
: 1 墙外楼 by 墙外仙 / 7h // keep unread // hide // preview
: Share on Google PlusTwitterFacebookLinkedInBufferFacebookCustom Sharing Tool
: [undo save for later] Evernote [Add to Instapaper] [Add to Pocket]
: +Tag
: 每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威
: 就像广告，你听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用
: 了，而且这作用越来越强。
: 消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只
: 要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在
|
|
|
n****1
发帖数: 1136 | 71 事实就是: 王喜欢不明觉厉, 稍微明了就开始喷
【在 n******r 的大作中提到】
: 这个老王最好玩的地方就是总是自己推翻自己说的
: 文章基本上都是一个调调，举世皆醉而我独醒，XXX很逊，我的看法最最高
: 过一段再发一篇，XXX很逊，我的新看法最最高
: 问题是他新文章的鄙视对象常常就是以前文章推崇的东西
: 作为读者都很难理解，作为作者他居然像根本当以前的事没发生过
|
M****z
发帖数: 1058 | 72 这次的楼很有含金量，大家都挺坦率。
这个回复不错。
【在 d*******r 的大作中提到】
: 同意这个，而且他说过的“一手的idea” (其实就是解决“元问题”的直觉和方法) 比
: 学术界大多数的“二手货”简单很多, 这个还是很在理。而且我其实同意学术界大都是
: 一帮高级混混。啥火研究啥，啥给钱搞啥，啥能得到顶级学霸的青睐就写啥，只要能骗
: 住观众就行。。。基本
: 就一政治游戏。这帮人跟远古的巫婆祭司，古代的神职人员其实是一个路数的。人类有
: “神秘崇拜”的弱点，所以所有跳大神的工作都需要制造各种 unnecessary
: complexities。
|
d*******r
发帖数: 3299 | 73
你说那些个"从学校出来"，是说的CS上古的黄金时代了，很多做的人压根不知道啥叫CS，
那个时候大家都在试图解决“元问题”，而不是灌水骗funding，
而且CS很多的“元问题”都出自军工需要，是实打实的实际问题，而不是 XXX 顶级会
议/杂志 的需要。。。
"垃圾"的意思是"没有用处"，不是"能力普通"或者"能力低下"
所以，顺着你的"垃圾"理论，
代码是要实际跑起来用的的，跟废纸论文不一样，不是"垃圾"；
码农是要出代码来交活的，跟写论文吹水不一样，不是"垃圾"。
【在 j********x 的大作中提到】
: 呵呵
: 你看来也是离主流学术圈比较远的。。。
: 学术圈跟工业界一回事，少数牛逼，理论和实践双秀。。。
: 我就不说整个计算机工业的技术基础基本上都是从学校里面出来的
: 论文嘛，跟工业界代码一样，99.9999%都是垃圾
: 教授嘛，跟工业界码农一样，99.9999%都是垃圾
: 这个问题辩证统一看就好了。。。
|
b***e
发帖数: 1419 | 74 顶一下这个。代码就是再垃圾，也是跑起来有用的。科研要是垃圾了，那可是纯垃圾，
屁用没有。
CS，
【在 d*******r 的大作中提到】
:
: 你说那些个"从学校出来"，是说的CS上古的黄金时代了，很多做的人压根不知道啥叫CS，
: 那个时候大家都在试图解决“元问题”，而不是灌水骗funding，
: 而且CS很多的“元问题”都出自军工需要，是实打实的实际问题，而不是 XXX 顶级会
: 议/杂志 的需要。。。
: "垃圾"的意思是"没有用处"，不是"能力普通"或者"能力低下"
: 所以，顺着你的"垃圾"理论，
: 代码是要实际跑起来用的的，跟废纸论文不一样，不是"垃圾"；
: 码农是要出代码来交活的，跟写论文吹水不一样，不是"垃圾"。
|
b***e
发帖数: 1419 | 75 嘿，这个你想当然了。我最近还做PLDI 2014的reviewer。
【在 j********x 的大作中提到】
: 呵呵
: 你看来也是离主流学术圈比较远的。。。
: 学术圈跟工业界一回事，少数牛逼，理论和实践双秀。。。
: 我就不说整个计算机工业的技术基础基本上都是从学校里面出来的
: 论文嘛，跟工业界代码一样，99.9999%都是垃圾
: 教授嘛，跟工业界码农一样，99.9999%都是垃圾
: 这个问题辩证统一看就好了。。。
|
d*******r
发帖数: 3299 | 76 大牛在学术界混得开，还愿意批评学术界的问题，真是难得的实诚人！
【在 b***e 的大作中提到】
: 嘿，这个你想当然了。我最近还做PLDI 2014的reviewer。
|
