h*********i
发帖数: 2605 | 1 【 以下文字转载自 JobHunting 讨论区 】
发信人: Body (生命的奇迹), 信区: JobHunting
标 题: 王垠造剑
发信站: BBS 未名空间站 (Wed Sep 14 11:01:40 2016, 美东)
王垠小时候就非常仰慕剑术名家，立志要造出天下举世无双的名剑，而且已经为这把名
剑取好了名字，叫做yin。
王垠稍微长大，就考入本地培养造剑工匠的作坊，学习如何造剑。作坊师傅见孺子可教
，便修书一封，让王垠进京拜访名师。
王垠拜入名师门下，苦学4年造剑方法。期间，曾尝试修习波斯拜火教传来的独门绝技
，并将其修炼心得公布天下，在武林中起到启蒙作用，并得到大神虚名。
在即将出师之际，王垠宣布，退出师门，并公告武林，例数师傅诸多劣迹，天下顿时为
之哗然。
王垠负籍西渡，拜入大马士革名师门下，苦学西方造剑工艺。然即将学成之时，出言顶
撞师傅，被逐出师门。
此时，有女仰慕，委身王垠，王垠为生计所迫，只得从新投师，从头学艺。不料，师傅
日渐不满王垠指责其不懂造剑之道，将其逐出师门。
王垠无奈，遍书武林义士，得邀加入造剑作坊。虽然工钱低微，然为生活所迫，王垠也
只得从了... 阅读全帖 |
|
B**y
发帖数: 824 | 2 王垠小时候就非常仰慕剑术名家，立志要造出天下举世无双的名剑，而且已经为这把名
剑取好了名字，叫做yin
王垠稍微长大，就考入本地培养造剑工匠的作坊，学习如何造剑。作坊师傅见孺子可教
，便修书一封，让王垠进京拜访名师。
王垠拜入名师门下，苦学4年造剑方法。期间，曾尝试修习波斯拜火教传来的独门绝技
，并将其修炼心得公布天下，在武林中起到启蒙作用，并得到大神虚名。
在即将出师之际，王垠宣布，退出师门，并昭告武林，例数师傅诸多劣迹，天下顿时为
之哗然。
王垠负籍西渡，拜入大马士革名师门下，苦学西方造剑工艺。然即将学成之时，出言顶
撞师傅，被逐出师门。
此时，有女仰慕，委身王垠，王垠为生计所迫，只得从新投师，从头学艺。不料，师傅
日渐不满王垠指责其不懂造剑之道，将其逐出师门。
王垠无奈，遍书武林义士，得邀加入造剑作坊。虽然工钱低微，然为生活所迫，王垠也
只得从了。
王垠奋力工作，早出晚归，做出造剑锤子一把。老板大怒，给你发这么多钱，感情是让
你来造锤子的么？于是被赶出作坊大门，流落街头。
王垠流浪之时，偶然遇见两位义士，许以重金，聘为军师，图谋起事。王垠运筹帷幄，
自以为出兵必胜。不料，主公实乃... 阅读全帖 |
|
B**y
发帖数: 824 | 3 来自主题: Programming版 - 王垠造剑 王垠小时候就非常仰慕剑术名家，立志要造出天下举世无双的名剑，而且已经为这把名
剑取好了名字，叫做yin。
王垠稍微长大，就考入本地培养造剑工匠的作坊，学习如何造剑。作坊师傅见孺子可教
，便修书一封，让王垠进京拜访名师。
王垠拜入名师门下，苦学4年造剑方法。期间，曾尝试修习波斯拜火教传来的独门绝技
，并将其修炼心得公布天下，在武林中起到启蒙作用，并得到大神虚名。
在即将出师之际，王垠宣布，退出师门，并昭告武林，例数师傅诸多劣迹，天下顿时为
之哗然。
王垠负籍西渡，拜入大马士革名师门下，苦学西方造剑工艺。然即将学成之时，出言顶
撞师傅，被逐出师门。
此时，有女仰慕，委身王垠，王垠为生计所迫，只得从新投师，从头学艺。不料，师傅
日渐不满王垠指责其不懂造剑之道，将其逐出师门。
王垠无奈，遍书武林义士，得邀加入造剑作坊。虽然工钱低微，然为生活所迫，王垠也
只得从了。
王垠奋力工作，早出晚归，做出造剑锤子一把。老板大怒，给你发这么多钱，感情是让
你来造锤子的么？于是被赶出作坊大门，流落街头。
王垠流浪之时，偶然遇见两位义士，许以重金，聘为军师，图谋起事。王垠运筹帷幄，
自以为出兵必胜。不料，主公实... 阅读全帖 |
|
s*******h
发帖数: 3219 | 4 【 以下文字转载自 Programming 讨论区 】
发信人: walalala123 (耗子), 信区: Programming
标 题: 天才王垠
发信站: BBS 未名空间站 (Thu Aug 14 21:07:27 2014, 美东)
天才是什么
（王垠 yinwang.org 版权所有，未经许可，请勿转载）
有人说我是天才。我一直“谦虚”得很， 从来不承认。可是纵观像 John Nash，
Richard Feynman 这些公认的天才的各种特征和生活遭遇，我发现自己还真的是一个天
才。我知道这个事实已经很久了，这一方面让我开心，另一方面又让我痛苦。可是除非
洗脑技术高度发展，一旦成为了天才，就很难再还原成普通人了。所以目前我只是做一
天天才撞一天钟，也许哪天就像 Nash 那样疯掉也说不定 :)
在 IU 的时候我有一个好朋友，是一个很美的女生，新闻学院的。我很喜欢她，所以有
时候不小心泄漏点“牛气”，以为这样可以增加她对我的好感。于是有一天吃冰激凌的
时候我扭扭捏捏的说：“其实……其实你知道吗……我是一个天才……”她神秘地笑了
，说：“我相信你啊。因为我也是一个天才。... 阅读全帖 |
|
w*********3
发帖数: 188 | 5 来自主题: Programming版 - 天才王垠 天才是什么
（王垠 yinwang.org 版权所有，未经许可，请勿转载）
有人说我是天才。我一直“谦虚”得很， 从来不承认。可是纵观像 John Nash，
Richard Feynman 这些公认的天才的各种特征和生活遭遇，我发现自己还真的是一个天
才。我知道这个事实已经很久了，这一方面让我开心，另一方面又让我痛苦。可是除非
洗脑技术高度发展，一旦成为了天才，就很难再还原成普通人了。所以目前我只是做一
天天才撞一天钟，也许哪天就像 Nash 那样疯掉也说不定 :)
在 IU 的时候我有一个好朋友，是一个很美的女生，新闻学院的。我很喜欢她，所以有
时候不小心泄漏点“牛气”，以为这样可以增加她对我的好感。于是有一天吃冰激凌的
时候我扭扭捏捏的说：“其实……其实你知道吗……我是一个天才……”她神秘地笑了
，说：“我相信你啊。因为我也是一个天才。每个人都是天才，只是他们天才的地方不
一样而已。比如我，我对文字就很有天才，你就没有这种天才！”然后我忽然发现，原
来做个天才并不是什么了不起的事情，那我以前在谦虚些什么呢？也许扭扭捏捏不承认
，却打心眼里想让人认为自己是天才，其实才是真正的傲慢吧... 阅读全帖 |
|
w*******e
发帖数: 15912 | 6 王垠，被微软全球封杀的男人
2017-05-11
事情是这样子的。今天偶然看到王垠在其个人博客上写的一篇《微软的秘密离职协议》
，觉得很有意思，这哥们儿更有意思。
相信很多人对王垠很陌生，也相信很多人对他并不陌生，这位才华逼人、傲气也同样逼
人的天才在其所在的圈子里还是挺有名气的。早在2003年，他就因发表《完全用Linux
工作》、《写给支持和反对<完全用linux工作>的人们》，痛陈Windows弊端、宣扬
Linux而出名。
他的光辉事迹，还包括被保送清华大学计算机系软件所硕博连读，然后在清华大学、康
奈尔大学、印第安纳大学伯明顿分校读博期间三次退学，他认为他的“博士生涯”已经
帮助他找到了比博士学位更重要的东西。
王垠每次都会写一篇文章来宣布自己退学：
2005年9月22日在水木社区BLOG上发表了《清华梦的粉碎--写给清华大学的退学申请》
明确要求退学，痛斥国内高等教育弊端；
2008年发表《Cornell感受》并从康奈尔大学退学，到印第安纳大学伯明顿分校（IUB）
计算机继续攻读博士学位；
2012年，发表《对博士学位说永别》，宣布再次退学。
他曾经在谷歌实习，2012年结... 阅读全帖 |
|
f********t
发帖数: 6999 | 7 【 以下文字转载自 JobHunting 讨论区 】
发信人: xiaotuzi5 (Xiao Tu Zi), 信区: JobHunting
标 题: 给王垠同学的一点看法
发信站: BBS 未名空间站 (Sun Mar 8 13:18:40 2015, 美东)
作为学计算机的，多少都听过一点王垠同学的事迹。十年前王同学是传奇，十年后王同
学渐渐沦为笑柄。十年前王同学意气风发，清华退学，洋洋万言书，做了别人不敢做的
事情，勇气可嘉。十年后的王同学，Cornell PHD 退学，U of Indiana PHD 退学，然
后进startup1, startup2, startup3, 中间H1B过期求收留，十年间一篇peer review
Paper没有。你还知道当你新发博文，同事间的语气都是王垠那个疯子又发新文章了，
你看了嘛？然后一个午饭会变成对你的各种不屑。
我也挺认真的看过你不少博文，我觉得最近你有以下两种逻辑：
1） A提出了观点-->我找出A观点中一个瑕疵/错误 -> 所以我比A强，
如果我没有记错的话，他由于此逻辑鄙视了Knuth, Guido van Rossum
2... 阅读全帖 |
|
w*******e
发帖数: 15912 | 8 来源： 王垠blog
那些垠黑们
我知道有许多人喜欢看我的博客，因为我擦亮了他们的眼睛，给了他们智慧和力量。我
也知道有很多人喜欢“黑”我，我曾经在意过这些“垠黑”，甚至亲自跟他们吵。然而
逐渐的，我发现了这些垠黑们的一些特征。有些是闲的无聊，有的是心理不正常，有些
则是因为我批判的东西，正好伤到了他耐以生存的幌子。所以这些人开始在网上黑我，
甚至自己立个靶子，杜撰我从来没有说过的话，然后进行反驳，以此攻击我本人。
有朋友跟我说，在网上看到这些黑我的人，都帮我骂回去。其实逐一的反击这些垠黑，
完全是浪费时间。不但不起作用，反倒坏了自己的心情。对这些人，最好的办法是忽略
他们。不去看他们说什么，不去访问他们聚集的网站（比如知乎）。虽然我根本不在乎
这种人，然而由于他们在网络上的行为可能引起我的朋友们不必要的烦扰，我觉得还是
有必要统一对他们进行披露和鄙视。
现实中的垠黑
如果你只看网上的信息，还真能把你急坏了，因为似乎很多人都在黑我，你会以为王垠
名声这么差，这下子完蛋了。然而“网民”跟现实的世界，其实是有很大的差别的。现
实世界里，我的身边充满了敬佩和支持我的人。之前的公司 20 多个... 阅读全帖 |
|
x*******5
发帖数: 152 | 9 作为学计算机的，多少都听过一点王垠同学的事迹。十年前王同学是传奇，十年后王同
学渐渐沦为笑柄。十年前王同学意气风发，清华退学，洋洋万言书，做了别人不敢做的
事情，勇气可嘉。十年后的王同学，Cornell PHD 退学，U of Indiana PHD 退学，然
后进startup1, startup2, startup3, 中间H1B过期求收留，十年间一篇peer review
Paper没有。你还知道当你新发博文，同事间的语气都是王垠那个疯子又发新文章了，
你看了嘛？然后一个午饭会变成对你的各种不屑。
我也挺认真的看过你不少博文，我觉得最近你有以下两种逻辑：
1） A提出了观点-->我找出A观点中一个瑕疵/错误 -> 所以我比A强，
如果我没有记错的话，他由于此逻辑鄙视了Knuth, Guido van Rossum
2）我是天才（是天才，是天才...)-->你们怎么能不把我捧到天上，你们这些下贱的人怎
么能我这天才比肩（SF中餐馆里的waiter， 和他blind date 的女生）
鉴于这个是随笔不是paper，我就不做reference了。
王同学还深深了鄙视了GOOGLE，觉... 阅读全帖 |
|
w*****s
发帖数: 2896 | 10 我不知道王垠是谁，没去查过，也不知道他为什么火了。咱们仅仅从楼主所给出的信息
中做个推断，就事论事。
王垠的这段代码，是不太容易看得懂，但短小精悍有美感。他用不常见的的编程语言，
实现了一个高大上的研究成果，应该说是达到了他的目的：就是我很牛，你们拜服吧。
王垠提到，他用很短的时间，只一个星期，搞懂了一项成果，而这，是一些顶尖专家花
了十多年的才研究出来的。由此看来，普通人肯定是都不懂的，即便是专业人员，也需
要花“不止一个月的时间”,你说他牛不牛啊，牛！
读懂了这项成果之后，还得把这方案转化为程序算法，就是把抽象的概念和他们之间的
逻辑联系，具体实现的过程以程序流程的方法表示出来。这算法的好坏差别太大了，差
几个数量级都有可能。看王垠这洋洋得意的样子，这算法应该是相当不错，这应该也是
他引以为豪的亮点之一。算法是个黑箱，不给你讲解一下，外人根本无从知晓，因为实
现的方法可以有很多，条条大路通罗马，所以这是一个隐秘的东西。
接下去是编程了，王垠不用常规的编程语言，而选了一个cps.ss，有其原因。一是程序
简短，二是程序漂亮，外行人看着象看天书，却依然叹服它的美感，而这正是王垠要达
到... 阅读全帖 |
|
n*********2
发帖数: 357 | 11 首先说明：我不想引起另外一场群殴。
我的感觉是你集中在王垠文章里面的感性方面的东西。没有看到那些理性的东西。 我
不想讨论王垠这个人（我不认识这个人）； 宽容是一种美德， 他又没有抢你饭碗。王
垠的话题是很具挑逗性，但好处是能引起深入的，技术性的讨论。一般这种性质的话题
都走极端； 在技术论坛并不少见。
王垠的观点和从程序版的讨论得到：
（1）图灵的在攻击Enigma密码的贡献被人为地拔高了。我还没有看到一个人反驳王垠
在这个上面的宣称的。 而这个恰恰是引起我注意的原因。我很赞成王垠的说法： 图灵
在Enigma的贡献是被拔高了太多； 在这方面的精确定位的文章太少。如果有兴趣的话
， 可以到国家安全局的密码博物馆去看看（免费的）。 图灵在那里有一个位置， 但
是是很小，很小的一个位置。
（2）图灵在计算机界的地位被人为地拔高太多 （这个也是那三片ACM文章的意思； 只
不过人家说话有艺术性，还把文章给发了）。
a.第一个解决Hilbert 的the Entscheidungsproblem的不是图灵。图灵不应当得到这个
功劳。
b.图灵在解决the Entscheidungsprob... 阅读全帖 |
|
d***a
发帖数: 13752 | 12 虎肉你别拿王垠说的东西当真。我查了一下当年王垠从清华退学，清华的人对他的评价
。和我早先的感觉差不多，这大约是一个B+的学生（按重点大学的标准），基础打的不
牢；但相对于拿C的学生来说，他比较聪明，自多感觉过于良好。:)
https://www.douban.com/note/246498669/
"王同学的一个问题在于没有认识到科研的真谛，肤浅地以为一些漂亮的技术应用就算
是"研究"了。甚至认为一门课程的大作业完成得出色，就算理解了科研的精髓。其实这
是大错了，上文说过科研探索的是不确定的、人们从未尝试过的领域，而他所引以为豪
的都是确定地、可以预料结果的任务。就拿王同学最熟悉的 TeX 为例，当年图灵奖获
得者 Knuth 写核心程序代码的时候，那是没有人接触过的课题，当然是科研创新；而
你王同学玩 TeX 很熟练就算成精了，那也算不得是科研创新，只是这个技术的应用高
手而已。"
计算机这个专业，有一些学生课业很好，但动手能力不强。有一些学生相反，玩硬件软
件很“牛”，课业修的不行。课业和动手能力皆强的人，也不在少数。
王垠的课业应该修的还行，但也就还行而已。
我当年读书的时候，动... 阅读全帖 |
|
p*e
发帖数: 6785 | 13 【 以下文字转载自 Military 讨论区 】
发信人: wsnonline (卫所南次郎-哥们儿要火啦！), 信区: Military
标 题: 曾三次博士退学 王垠:牛校生脑子貌似有病
发信站: BBS 未名空间站 (Sun May 8 00:19:54 2016, 美东)
退读清华、康奈尔 印第安纳大学博士 王垠:牛校生脑子貌似有病
文章来源: 王垠 于 2015-03-05
人物简介：王垠
1997年，考入四川大学计算机系97级。
2001年，保送清华大学计算机系软件所硕博连读，主要进行集成电路布线算法的研究。
2003年发表《完全用Linux 工作》、《写给支持和反对<完全用Linux工作>的人们》，
痛陈windows弊端、宣扬linux。
2004年8月，发表网络文摘《完全用linux工作》、《写给支持和反对<完全用Linux工作
>的人们》，痛陈windows弊端、宣扬linux，文章在中国的计算机和linux阵营引起极大
轰动效应，成为水木清华linuxapp版和中国多个linux社区的偶像级人物。
2005年，发表学术论文“The polygonal cont... 阅读全帖 |
|
s******y
发帖数: 28562 | 14 至于你说的这一点：
“d.王垠没有指出（或者不愿看到）的是，Universal 图灵机的确指出了（通用）计算
的本质。 这是图灵厉害的地方。但是图灵这个贡献在很长的时间都没有被人认识到。”
这个我完全同意。这个也是为什么图灵在计算机学理论里面有如此地位的关键原因。
但是王垠没有指出这一点，说明他根本就不知道图灵机对于计算机科学有什么意义。
所以这个是为什么我说他连半桶水都不如。
其实我又想了一下，你和我对于绝大部分要点的看法都是一样的，但是我们之间的主要
分歧在于我的评论着重点在于王垠，而你的评论着重点在于图灵。
我其实并不认为图灵有多么的牛X闪闪，但是我觉得王垠对图灵的评价完全是本末倒置
。你看他写的那个原文里，先是说图灵机不如Lambda 容易理解，然后又说图灵对
ENIGMA 项目贡献不大，然后又说图灵根本不是发明计算机的人。但是，这些事情本来
就是整个计算机科学领域的人都知道的事情，也不知道有什么值得让他来洋洋洒洒的写
这么一大片恍然大悟文。尤其是他还得意洋洋的说他查了如何如何多的文献才得出这些
个结论，让人听了感觉就是，某个人跑到大街高声叫嚷说他用了几十年的心血，用了多
种高... 阅读全帖 |
|
c*****a
发帖数: 1638 | 15 RE
LZ的双标很有趣，我回了一段不过是觉得王垠无病呻吟，他就叫我open mind，我觉得
王垠才是那个要open mind的人吧，也不见LZ去对王垠说。
BTW：为啥总是有人拿王垠的项目出来说事。客观点那个根本算不上啥了不得的成就吧
。王垠可能是个好程序员，也就这样为止了，他还真不见得在好程序员里面就怎么NB了
。既然大家都是就事论事，怎么轮到王垠就各种保护。是因为实名的行为艺术家比较稀
少的缘故？
Python
paper
justification |
|
d*******r
发帖数: 3299 | 16 最近满版王垠, 但是很多帖子和讨论忽然有趣起来了.
看知乎上，也是在讨论老王，老王话题性爆表啊，哈哈哈
下面转一篇知乎的评论，不知道是黑还是粉啊，看着好带感 :D
https://www.zhihu.com/question/46343481/answer/100971206
by 莫文蔚的歌
以前每当王垠发博客的时候，我就很兴奋，常常搬个小板凳坐在那里等着看大家嘲讽他。
对每一个年轻的程序员来说，王垠的中二，一定给他们略显枯燥的职业生涯带来过很多
喜感。
也许很多人的印象里，王垠始终就是那个中二青年。但有谁知道，王垠已经年近四十了
，也许我们得称呼他叫老王了。
自从锤子手机降价之后，情怀已经一钱不值。但我还是忍不住煽情，一个四十岁的男人
，依然动不动就在吹技术的牛逼，这不正是一种执着么？不管我们承认不承认，我们都
是俗人，也最终会俗不可耐。也许四十岁的时候，我们会吹牛说自己睡了多少女人，自
己占了多少便宜，又有谁会愿意吹牛说自己技术如何如何牛逼呢？我们中有多少人敢拍
着胸脯说，我四十岁时候还能为了技术问题和人撕逼？
我承认，老王看起来像个傻B，但正是这个傻B陪我们度过了青春的岁... 阅读全帖 |
|
a****a
发帖数: 5763 | 17 这个， 如果自己水平没到就别评论王垠的水平了
我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
物会起作用
王垠最好的出路可能是自己写个项目赚钱，或者开个consulting 公司，给别的公司解
决问题赚钱，解决完问题走人，这样不用拘束在公司里，自由一些 |
|
发帖数: 1 | 18 【 以下文字转载自 JobHunting 讨论区 】
发信人: wooluba (), 信区: JobHunting
标 题: 开赌喽！王垠对jiama！
发信站: BBS 未名空间站 (Fri May 12 23:09:22 2017, 美东)
最近工作版好热闹，原因是羊群中出了两个头上带把儿的（纯褒义）！既然王垠和
jiama都算是公众人物了，那咱们就拿他们开赌一把（绝无不敬之意），赌谁能先成功
-- 实现目标心中安乐。欢迎大家踊跃参加，广泛传播，人多热闹嘛。
成功之花以勇气和觉悟为根，以团结和组织为茎。王垠有根，却在茎上差了两点，所以
不易成功。反观jiama，根固然有，还成立了“北美华人软件工程师协会”，这样的茎
够坚挺了，离开花儿大概也就一步之遥了。所以我押宝jiama！
如果jiama看到此贴，希望他能记住我的支持，苟“富贵”勿相忘。如果王垠看到此贴
，请不要丧气，我也乐见你成功，并先唱两句助威：王垠王垠你擦亮眼，否则永远都差
两点！
（全曲https://www.youtube.com/watch?v=50dyyevLH6I） |
|
发帖数: 1 | 19 【 以下文字转载自 JobHunting 讨论区 】
发信人: wooluba (), 信区: JobHunting
标 题: 开赌喽！王垠对jiama！
发信站: BBS 未名空间站 (Fri May 12 23:09:22 2017, 美东)
最近工作版好热闹，原因是羊群中出了两个头上带把儿的（纯褒义）！既然王垠和
jiama都算是公众人物了，那咱们就拿他们开赌一把（绝无不敬之意），赌谁能先成功
-- 实现目标心中安乐。欢迎大家踊跃参加，广泛传播，人多热闹嘛。
成功之花以勇气和觉悟为根，以团结和组织为茎。王垠有根，却在茎上差了两点，所以
不易成功。反观jiama，根固然有，还成立了“北美华人软件工程师协会”，这样的茎
够坚挺了，离开花儿大概也就一步之遥了。所以我押宝jiama！
如果jiama看到此贴，希望他能记住我的支持，苟“富贵”勿相忘。如果王垠看到此贴
，请不要丧气，我也乐见你成功，并先唱两句助威：王垠王垠你擦亮眼，否则永远都差
两点！
（全曲https://www.youtube.com/watch?v=50dyyevLH6I） |
|
w***g
发帖数: 5958 | 20 我老板说过，there are many interesting things to work on, but there are very
few things worth many years of hard working。我觉得王垠是bar比较高，随便点的
东西他看不上眼。对真正有才华的人来说，其实找个MLGB之类的公司做脚踏实地的engi
neer，不但是埋没自己才华的问题，其实也是社会的一个损失。他quit了，以后还有希
望做出大事来，他要走academia或者在google干下去，就他那个方向，永无出头之日。
社会并不缺少一个教授王垠或者在Google做engineer的王垠。大量的中国人和
印度人因为签证绿卡生活家人小孩各种原因不得不拿低工资在academia或industry给美
国资本家干活，其实已
经把market搞坏了。现在正是需要大量像王垠这种人来让人重新认识到技术牛人的价值
。出来混本来就是要take risk。也许若干年后王垠还是没有混出一番事业，但我绝不
会怀疑是他技术不行。那时候他要是又要quit，我还是会竖起大拇指叫一声:好。
下面贴个战国策里的故事... 阅读全帖 |
|
w*******e
发帖数: 15912 | 21 退读清华、康奈尔 印第安纳大学博士 王垠:牛校生脑子貌似有病
文章来源: 王垠 于 2015-03-05
人物简介：王垠
1997年，考入四川大学计算机系97级。
2001年，保送清华大学计算机系软件所硕博连读，主要进行集成电路布线算法的研究。
2003年发表《完全用Linux 工作》、《写给支持和反对<完全用Linux工作>的人们》，
痛陈windows弊端、宣扬linux。
2004年8月，发表网络文摘《完全用linux工作》、《写给支持和反对<完全用Linux工作
>的人们》，痛陈windows弊端、宣扬linux，文章在中国的计算机和linux阵营引起极大
轰动效应，成为水木清华linuxapp版和中国多个linux社区的偶像级人物。
2005年，发表学术论文“The polygonal contraction heuristic for rectilinear
Steiner tree construction” 。
2005年9月22日在水木社区BLOG上发表了《清华梦的粉碎--写给清华大学的退学申请》
明确要求退学，痛斥国内高等教育弊端。
2006年8月，从清华退学后考G... 阅读全帖 |
|
K******i
发帖数: 530 | 22 写得不错。
退读清华、康奈尔 印第安纳大学博士 王垠:牛校生脑子貌似有病
文章来源: 王垠 于 2015-03-05
人物简介：王垠
1997年，考入四川大学计算机系97级。
2001年，保送清华大学计算机系软件所硕博连读，主要进行集成电路布线算法的研究。
2003年发表《完全用Linux 工作》、《写给支持和反对<完全用Linux工作>的人们》，
痛陈windows弊端、宣扬linux。
2004年8月，发表网络文摘《完全用linux工作》、《写给支持和反对<完全用Linux工作
>的人们》，痛陈windows弊端、宣扬linux，文章在中国的计算机和linux阵营引起极大
轰动效应，成为水木清华linuxapp版和中国多个linux社区的偶像级人物。
2005年，发表学术论文“The polygonal contraction heuristic for rectilinear
Steiner tree construction” 。
2005年9月22日在水木社区BLOG上发表了《清华梦的粉碎--写给清华大学的退学申请》
明确要求退学，痛斥国内高等教育弊端。
2006年8月，从... 阅读全帖 |
|
d*******2
发帖数: 3045 | 23 【 以下文字转载自 Dreamer 讨论区 】
发信人: Dreamer (不要问我从哪里来), 信区: Dreamer
标 题: 我突然发现我对王垠有一点心动
发信站: BBS 未名空间站 (Sun Jul 17 10:34:41 2016, 美东)
我突然发现我对王垠有一点心动。我有一天知道了王垠，然后一口气看了他的大部分文
章，感觉就是哇，这正是我想说的。然后我突然发现我对王垠有一点心动。第一次通过
这种方式认识一个人，然后对他心动。当然我知道他有女友。想问一下王垠的女粉丝是
不是挺多的？ |
|
Y****N
发帖数: 8694 | 24 【 以下文字转载自 JobHunting 讨论区 】
发信人: pxu (又呱噪又抠门还偷老婆钱), 信区: JobHunting
标 题: 王垠又要回国了 (转载)
发信站: BBS 未名空间站 (Fri Apr 7 13:59:19 2017, 美东)
发信人: pxu (又呱噪又抠门还偷老婆钱), 信区: Programming
标 题: 王垠又要回国了
发信站: BBS 未名空间站 (Fri Apr 7 13:51:43 2017, 美东)
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
码。
我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
走向成功啦！” 我听了苦笑一声。因... 阅读全帖 |
|
|
M****o
发帖数: 4860 | 26 【 以下文字转载自 JobHunting 讨论区 】
发信人: pxu (又呱噪又抠门还偷老婆钱), 信区: JobHunting
标 题: 王垠又要回国了 (转载)
发信站: BBS 未名空间站 (Fri Apr 7 13:59:19 2017, 美东)
发信人: pxu (又呱噪又抠门还偷老婆钱), 信区: Programming
标 题: 王垠又要回国了
发信站: BBS 未名空间站 (Fri Apr 7 13:51:43 2017, 美东)
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
码。
我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
走向成功啦！” 我听了苦笑一声。因... 阅读全帖 |
|
p*e
发帖数: 6785 | 27 【 以下文字转载自 JobHunting 讨论区 】
发信人: pxu (又呱噪又抠门还偷老婆钱), 信区: JobHunting
标 题: 王垠又要回国了 (转载)
发信站: BBS 未名空间站 (Fri Apr 7 13:59:19 2017, 美东)
发信人: pxu (又呱噪又抠门还偷老婆钱), 信区: Programming
标 题: 王垠又要回国了
发信站: BBS 未名空间站 (Fri Apr 7 13:51:43 2017, 美东)
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
码。
我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
走向成功啦！” 我听了苦笑一声。因... 阅读全帖 |
|
w***g
发帖数: 5958 | 28 版上很多人没意识到王垠的牛B之处。王垠技术确实很牛，但也就是好学校科班出身
中上的样子。王垠是牛在他的影响力。事实上没有迹象表明王垠的马甲在本版出现过，
一般都是别人转过来一个帖子，然后大家讨论得不亦乐乎。事实上只要一听到王垠
这个名字，就能让很多人肾上腺素飙升。
他那些文章一转过来的时候，我就对自己说，这文章这次绝对不读了。结果几个帖子
发下来，还是不得不去读他的文章。
他。 |
|
发帖数: 1 | 29 最近工作版好热闹，原因是羊群中出了两个头上带把儿的（纯褒义）！既然王垠和
jiama都算是公众人物了，那咱们就拿他们开赌一把（绝无不敬之意），赌谁能先成功
-- 实现目标心中安乐。欢迎大家踊跃参加，广泛传播，人多热闹嘛。
成功之花以勇气和觉悟为根，以团结和组织为茎。王垠有根，却在茎上差了两点，所以
不易成功。反观jiama，根固然有，还成立了“北美华人软件工程师协会”，这样的茎
够坚挺了，离开花儿大概也就一步之遥了。所以我押宝jiama！
如果jiama看到此贴，希望他能记住我的支持，苟“富贵”勿相忘。如果王垠看到此贴
，请不要丧气，我也乐见你成功，并先唱两句助威：王垠王垠你擦亮眼，否则永远都差
两点！
（全曲https://www.youtube.com/watch?v=50dyyevLH6I） |
|
r******n
发帖数: 4522 | 30 是王垠离不开索男，要没有索男们，王垠哪儿会有名气？我家LD就不知道王垠是谁，国
内随便抓个人，无论大小老板，官员，农民工，还是街头混混，股市大妈，只要不是码
工索男，保管不知道王垠是谁。所以王时不时就得行为艺术一把撩拨索男们，怕大家忘
了他。 |
|
H**r
发帖数: 10015 | 31 王垠又不是没在Google呆过
锁男就是比不上王垠，王垠除了本科不是清华的，锁男还有什么干货攻击王垠的水平？ |
|
P**5
发帖数: 7467 | 32 40岁男人该有的，【王垠】都没有
没有工作，收入。据王垠说有不少工作 offer，但公司文化太 low， 配不上他的高逼
格。
没有老婆。看王垠文章，没说ABC女友要跟着回中国。
没有孩子。黄土都埋半截了，屌毛都开始变白了，该研究孩子学钢琴了。
没有房产，不动产。孟子说，无恒产者无恒心，王垠对中国和美国，自始至终一种过客
心态。
没有财产。穷到安家费都出来了。回国还要啃老半年。
没有朋友，好像连酒肉朋友，一起喝酒烤肉钓鱼的，都没有。
40岁的男人，还在上蹿下跳，整天骂社会不公。我一个山区放羊砍柴凤凰男，垃圾火坑
专业出身，也没这样抱怨社会不公。 |
|
a*******g
发帖数: 1221 | 33 是的，我也觉得，王垠敢爱敢恨，虽然人家有点走凤姐路线，虽然人家可能真的水平有
限，但至少活得的有滋有味，有血有肉。这种老了之后，年轻的这些都是回忆的财富。
不像版上版下的老中琐男，那他妈真的不是搜coupon买东西的萎缩，那真的是精神上的
萎缩。琐男把自己的这份工作当成祖宗一样贡着，把在大公司工作当成在宫里当太监。
王垠就随便说了两句话，王垠他自己都不在乎，把这些琐男气得睡不着觉，甚至扬言要
自己亲手开除王垠，他妈的，你算个鸡巴。 |
|
p*u
发帖数: 2454 | 34 【 以下文字转载自 Programming 讨论区 】
发信人: pxu (又呱噪又抠门还偷老婆钱), 信区: Programming
标 题: 王垠又要回国了
发信站: BBS 未名空间站 (Fri Apr 7 13:51:43 2017, 美东)
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
码。
我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
想利用我的名气，说明他们不理解我最重要的价值。可能是好心的恭维，然而这种不理
解真正价值的恭维，听着很不是滋味。我给公司提供的实实在在的价值，有目共睹，有
些人却... 阅读全帖 |
|
r**m
发帖数: 1825 | 35 王垠做过TAOCP的习题、得到过Knuth支票和T恤鼓励
“他是做学术的，搞的是真正的computer science，而且是PLT程序编程语言领域。在
这个领域他批评Google，有足够多的理由。毕竟四大语言C++，Java, Python和
Javascript在语言设计上，可以吐嘈的地方在普通程序员里已经很多，更不用说一个在
此领域的博士生。而其中说到python, javascript的语法语义分析，这本就是其研究领
域的强项。王垠为什么看不起Test Driven? 从他的研究背景和方向很容易理解。他读
书时候写project，老师的要求就远超过Test Driven。程序不但要求从输入到输出是正
确，还要求程序能倒推运行，即给出输出结果，能产生所有可能的输入。王垠做的，是
逻辑编程的方向，目的是通过逻辑推导演算去保证程序的正确性。为此不难理解，为什
么他对测试是那么不以为然 - 用大量测试就能保证程序逻辑正确么？王垠的技术吐槽
很有看点，有理有根有据。” |
|
s***d
发帖数: 15421 | 36 【 以下文字转载自 Joke 讨论区 】
发信人: xiaopo (小坡), 信区: Joke
标 题: 王垠：我的个人防火墙(MITBBS惨被黑) (转载)
发信站: BBS 未名空间站 (Sun Apr 26 07:33:22 2015, 美东)
发信人: yugong (愚公挖坑), 信区: Military
标 题: 王垠：我的个人防火墙(MITBBS惨被黑) (转载)
发信站: BBS 未名空间站 (Sun Apr 26 06:20:00 2015, 美东)
发信人: zyeye (zyeye), 信区: JobHunting
标 题: 王垠：我的个人防火墙(MITBBS惨被黑)
发信站: BBS 未名空间站 (Sat Apr 25 23:12:26 2015, 美东)
文/王垠
很多人都不知道，我其实有一种“个人防火墙”，它存在于我的头脑里。跟伟大的
天朝 GFW 一样，它的用途是自动过滤有害的信息，构建我内心的“和谐社会”。我现
在来讲一下，这个个人防火墙封锁的一些信息来源，以及它们被封的原因。
MITBBS
我已经有很多年没有上过 MITBBS 了。最早上 MIT... 阅读全帖 |
|
发帖数: 1 | 37 【 以下文字转载自 Military 讨论区 】
发信人: dirtywalker (得体挖坑儿), 信区: Military
标 题: 王垠其实集中表现了年轻人的焦虑心理
发信站: BBS 未名空间站 (Wed May 18 17:04:06 2016, 美东)
很多人，也包括我老人家，都下意识地烦王垠牛逼哄哄的样子。无外乎两点：没有上顶
尖大学，没有做出顶尖成果。保不齐心里都想呢：“你王垠算根毛啊，比你牛逼百倍的
都没抱怨啥，你的博得博什么？”
而实际上，王垠抱怨的，正是绝大多数将军心里也在抱怨的。谁不是千军万马杀出来的
，最后还是落得个泯然众人，为几斗米憔悴悴的悲切切模样。
当前社会的“人才”，已经饱和了。因为持续几十年的和平，学校持续几十年的批量生
产解决问题的人，这类标准化的人才已经过剩。接下来，主要有两个趋势：
1是这些标准化人才之间的竞争越来越激烈，都是为了争夺相对高一点的社会地位，和
更有效剥削他人劳动成果的机会。
2是财团，先富，老知识分子们，牢牢把持住先发优势，更进一步压迫标准化人才的上
升空间。
太可悲了。地上高铁跑，天生飞船飞，而实际上，我们还是被束缚在这小星... 阅读全帖 |
|
l*********g
发帖数: 1899 | 38 ta前面有帖子提到ta认为Perelman是为名利，所以他领取了奥数金牌。之后Perelman拒
了菲尔兹奖，ta认为Perelman也是为了更多的名利才拒了菲尔兹奖。换句话讲，如果用
ta的逻辑，就是你领奖是死，你不领奖也是死，你Perelman在我眼里你就死定了。
另外就是，我认为ta的reading也很有问题。例如我看了一下有网友提到丘的事情，也
提到Perelman拒领菲尔兹奖的事，但是那个网友没有提过Perelman是否因为丘的事而拒
领菲尔兹奖，而ta不知道为何就联系起来了。这种联想我认为其实是一种臆想，或者说
也是一种reading problem。还有，ta认为Perelman拒领1MUSD是因为他很有钱。一个和
母亲住在母亲的公寓里靠母亲的退休金生活的人是“很有钱”？这个信息随便google一
下都大把，你说ta不是有reading problem是什么？
如果不是你提到，我是不屑再Re 这个topic的帖子的。就好像你是一个数学PHD，你提
到庞加莱猜想、提到Perelman很牛、很脱俗，然后有一个从来没在数学界混过的人在你
讲完后跑去google谁是Perelma... 阅读全帖 |
|
l*********g
发帖数: 1899 | 39 ta前面有帖子提到ta认为Perelman是为名利，所以他领取了奥数金牌。之后Perelman拒
了菲尔兹奖，ta认为Perelman也是为了更多的名利才拒了菲尔兹奖。换句话讲，如果用
ta的逻辑，就是你领奖是死，你不领奖也是死，你Perelman在我眼里你就死定了。
另外就是，我认为ta的reading也很有问题。例如我看了一下有网友提到丘的事情，也
提到Perelman拒领菲尔兹奖的事，但是那个网友没有提过Perelman是否因为丘的事而拒
领菲尔兹奖，而ta不知道为何就联系起来了。这种联想我认为其实是一种臆想，或者说
也是一种reading problem。还有，ta认为Perelman拒领1MUSD是因为他很有钱。一个和
母亲住在母亲的公寓里靠母亲的退休金生活的人是“很有钱”？这个信息随便google一
下都大把，你说ta不是有reading problem是什么？
如果不是你提到，我是不屑再Re 这个topic的帖子的。就好像你是一个数学PHD，你提
到庞加莱猜想、提到Perelman很牛、很脱俗，然后有一个从来没在数学界混过的人在你
讲完后跑去google谁是Perelma... 阅读全帖 |
|
M****o
发帖数: 4860 | 40 【 以下文字转载自 WaterWorld 讨论区 】
发信人: MVPYao (退役了 | Hall of Famer), 信区: WaterWorld
标 题: 王垠：未来计划 (转载)
发信站: BBS 未名空间站 (Wed May 18 12:30:10 2016, 美东)
发信人: MVPYao (退役了 | Hall of Famer), 信区: Faculty
标 题: 王垠：未来计划 (转载)
发信站: BBS 未名空间站 (Wed May 18 12:29:34 2016, 美东)
发信人: MVPYao (退役了 | Hall of Famer), 信区: Military
标 题: 王垠：未来计划
发信站: BBS 未名空间站 (Wed May 18 12:23:47 2016, 美东)
发信人: MVPYao (退役了 | Hall of Famer), 信区: JobHunting
标 题: 王垠：未来计划
发信站: BBS 未名空间站 (Wed May 18 12:23:39 2016, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常... 阅读全帖 |
|
e*****t
发帖数: 1005 | 41 来自主题: Programming版 - 王垠忏悔录 话不能这么说，术业有专攻。
不能说只有自己比别人好才有资格评价别人。否则移民局的大妈们是靠什么资格评价你
们的eb1的呢？
王垠在王垠领域的成就，是需要那个领域的人来承认的。如果我们看不到他们领域peer
的承认，我没法去承认他有多牛。
张益唐似的人物总是有的。王垠可能是，可能不是。可一切还是得等王垠拿出peer
reviewed之后的东西再称赞不迟。 |
|
x****k
发帖数: 2932 | 42 王垠:我和权威的故事
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
每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威
就像广告，你听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用
了，而且这作用越来越强。
消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只
要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在
你脑海里造成一种美好神圣的假象。很神奇的一个现象就是，权威对人思想的作用其实
也跟广告一样。
上大学以前的人因为没有专业，所以还不怎么崇拜权威，大不了追追歌星，影星，球星
啥的。而进入大学之后，就会开始对本领域的权威耳濡目... 阅读全帖 |
|
c******3
发帖数: 296 | 43 http://www.baike.com/wiki/王垠
成功是什么？发了几篇有名的paper？进入FLG?被版上公认为大牛？发布了好的产品？
w2>300k?
这是大多数人认为成功的标准吧。
王垠是快乐的。他追求的是内心的自由和对好奇探索中的快乐。
王垠又是孤寂的。他的很多行事为人和平常人不一样。
王垠根本不介意别人怎么看他。自然他也不会按常人成功的标准行事。
他只是一路追寻自由自在的快乐。这就是他自己的成功。 |
|
c******3
发帖数: 296 | 44 是的，人应该是很牛的。不然也不会引起那么大关注。
他傻呀，冒然进了Steve Yegge的组。wiki上那Steve Yegge是比王垠还王垠的主呀。SY
那厮离开亚麻，把亚麻老总骂了个狗血，进了G家，又把G骂一通，害的G的老总都要出
来声明说不会解雇他。王垠找了个刺猬，能好过吗？
感觉那startup更是个教训，王垠可是把他们当伯乐而投奔的。 |
|
d***a
发帖数: 13752 | 45
。）
给学生改过文章的人一般都知道，写的太垃圾的东西，其实是非常不容易纠正的。
关于Enigma，懂的人都知道那不过是图灵的副业。有人爱乱捧图灵，那又不是图灵的错
。真正的砖家，看了后也就一笑了之罢了，哪会象王垠这么唠叨个没完。
后来居然还有一大段他对图灵心理活动的揣测...这活生生是一个编程过多，头脑僵化
，心理不太正常的程序员形象。
图灵对计算机界最大的贡献，是图灵机模型和相关理论与论断。图灵机一种用于分析可
计算性和计算复杂度的工具，并不是直接拿来编程的，这是常识。王垠说的是: “图灵
机的设计是丑陋，复杂，缺乏原则的。它的读写头，纸带，状态，操作，把本来很简单
的语义搞得异常复杂。“ 可是，图灵机是研究计算机理论的工具，难要做的和Java一
样？王垠这是脑子不清楚。
王垠这家伙就象一个B+的学生，以为自己很了不起，象个老太婆一样整天唠叨。他说的
那些东西，对拿C的学生来说，听起来可能新鲜，对砖家来说，读起来如同嚼蜡，没什
么内容。 |
|
d***a
发帖数: 13752 | 46 大家还在讨论王垠啊。王垠在Google做的东西不受重视，其实很好理解。王垠做的事情
是这样的：
"你可以把它想象成Eclipse, 但是 Grok 的设计目标不只是像 Eclipse 那样检索和分
析本机的某一种语言的代码...Grok 的初期设计目标是一个静态的代码索引服务，只要
程序员点击任何一个变量或者函数名，就能“准确”的跳转到它定义的位置。动态的编
辑功能稍后也在陆续加入。"
这个功能当时在Eclipse和Visual Studio这样的IDE都有，是很成熟的技术。但Google
想自己做一套。王垠做的工作的背景，就是把这个功能复制到Google的软件开发环境中。
这个并不是Google核心的业务，什么时候说砍就可以砍了。 |
|
h*h
发帖数: 27852 | 47 发信人: blaze (狂且), 信区: Programming
标 题: Re: 王垠的40行代码是干嘛的
发信站: BBS 未名空间站 (Fri May 20 19:51:38 2016, 美东)
我来用中文给大家解释一下吧。
王垠的代码在数学上严格的定义了goto(callcc in FP)的形式语义。这个结果的确是经
过了多年研究才得到的。在此之前，人们认识到有goto这个东西，也知道怎么用，但是
没有严格的数学模型来描述其语义。所以goto是停留在炼金术的阶段。有了这个数学定
义，goto才进入了化学的殿堂。如果王垠一周内通过全自研得到了goto的形式语义定义
，那的确不是一般人能做到的。至少我做不到。
发信人: hci (海螺子), 信区: Programming
标 题: 王垠的40行代码是干嘛的
发信站: BBS 未名空间站 (Thu May 19 15:26:35 2016, 美东)
https://github.com/yinwang0/lightsabers/blob/
6a66c294d4c4217efebfdeae18ee4697d802f79e/cps.... 阅读全帖 |
|
发帖数: 1 | 48 王垠现在的意思是：谁给他内推，他如果在这个公司呆的不爽了，内推他的还得给他道
歉：对不起垠神，给你内推了错误的公司！然后王垠再表示大度：算了，也不能全怪你。
看看版上给王垠洗地的对这事怎么洗？ |
|
|
