发帖数: 1 | 1 公司首先需要能出活的人，或者能制造气氛的人，或者能带来个人利益的人
你三点都做不到 为什么要养着你？
不用整天扯资本家那套，资本主义本来就是这样。
王垠也不必不服，有本事可以自己单干，谁也不鸟。问题是单干就不用接触社会了么？
不用接触形形色色的人了么？不用处理各种让自己不爽的问题了么？他有这本事单干么
他。
: 还有从这版上来看，老中还缺乏对思想，行为不合群的人的容忍。正是少数不合
群的人
: 推动社会发展。当然不是说王是什么大思想家，但是不合群人里出思想家的概率
远大于
: 一般人。
: 王的悲剧是公司里只要听话（也就是能合作）的螺丝钉，不需要独立特行的人，
就算他
: 是对的。独立特行的只能自己搞，像steve jobs那种。要么有很好的manager能
罩着他
: 。可惜都很少。
: sign-
|
|
T********i
发帖数: 2416 | 2 最近很多事务缠身，严格遵循多一事不如少一事原则。
前几天看贴，记得有人贴过《王垠：一种新的操作系统设计》。这里的帖子找了下没找
到，牵狗搜到了。
我想说的是，计算机主要是工程。要做出来算。我认为王还是有些见识。个人建议应该
多做少说。
其实，我做的一些东西，基本上也是那个思想。王也说了，那些都不是新思想，我也没
那么无聊受他的启发（从前根本没读过他的文章）。我可是做出来有现货，当时在本版
也贴出来了，看来当时真正能看懂的也就个位数:)
其实这些我不应该说的。多一事不如少一事。今天又犯戒了。 |
|
v*******e
发帖数: 11604 | 3 说得太对了。我的一个认识是，劳动本身的价值，只有在被组织起来之后才能体现出来
。没有对劳动的组织，就没有登月，没有原子弹，没有长城，金字塔。马克思主义的最
大问题是强调劳动，忘了强调对劳动的组织。这个王硍，就属于很会劳动的螺丝钉那种
人。他的代码，只有被人包装之后才能体现出价值。那个Z，还有 sourse graph 的两
个创始人，属于那种劳动组织者。他们的角色就是造金字塔的法老，造长城的秦始皇。
这个王硍，应该早点认识到自己螺丝钉的思维。
: 维护两个分支卖钱恐怕需要组建一个团队，王垠做不来
|
|
T*******x
发帖数: 8565 | 4 【 以下文字转载自 Programming 讨论区 】
发信人: hci (海螺子), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Thu May 11 01:37:25 2017, 美东)
怕啥。
前怕狼后怕虎的，其实是没有文化的表现。
我最喜欢骂留美老中的地方，就是大多数人没有文化。都博士了，教授了，还是没有文
化。
没有文化，就会萎缩，表现就是男萎缩，女外F。
哈哈。
王同学再不济，也是一个有文化的人，所以总是会有人欣赏。
文化这个东西很奇妙，没文化的人，是看不见文化的，也不知道怎么变得有文化。
哈哈。 |
|
B********d
发帖数: 1893 | 5 所谓美国大农村不快活，不如国内每天晚上宵夜，K 歌，洗脚来得快活。这个我无法反
对，每个人快乐的方式不一样。
但是，说什么美国的问题是因为人住着远，我去过美国朋友家，人家一声招呼，很多小
时候的伙伴都过来了，开车十分钟到一个小时，都有，这个比北京上海朋友聚会平均起
来还要快吧。楼主这类人的问题主要就两个，一个是和美国人无法接触，更玩不起来；
另一个是显然和中国人也没有玩到一起，可能是自己工作太忙，不知道为了什么疲于奔
命。
一起玩儿的朋友，一起过的爱人， 才是不寂寞的源泉，王垠没有友人，有个要和自己
结婚的漂亮的女友，但是显然和王先生无法一起过二人世界 （爱情如果幸福，两个人
足够了！） |
|
e*******o
发帖数: 4654 | 6 老邱发帖是快乐的
王是郁郁不得志的
老邱是今日捡瓶子得13.50元
王垠是你们看了我文章捐5块吧 5块其实便宜了你们 |
|
s*****r
发帖数: 43070 | 7 【 以下文字转载自 JobHunting 讨论区 】
发信人: tonyxu007 (tony), 信区: JobHunting
标 题: 王垠: 微软的秘密离职协议 (ZT)
发信站: BBS 未名空间站 (Wed May 10 21:00:46 2017, 美东)
微软的秘密离职协议
我与微软的对峙，终于以我的“有条件离职”而告终，现在微软把事情弄得相当丑陋，
我不想再坏自己心情，所以抛开他们不理了。“有条件离职”的意思是，微软必须满足
我的条件，我才会签字表示“自愿离职”。看来微软真是目光短浅的公司，宁愿放弃优
秀的人才和极其可靠的代码，也不愿意给人合理的报酬和职称。或者也许我的代码写得
实在太清晰了，所以他们觉得不需要我就可以搞定一切吧，那我祝他们好运了。
由于入职的时间不够一年（7 月份到一年），按照 offer letter，如果我“自愿离职
”，微软就有权收回入职时给我的“sign-on bonus”，价值 2 万 5 千美元。不过如
果不是自愿离职的，比如被开掉或者裁掉，那就不用还这个钱。在我看来，这个 sign-
on bonus 根本不应该退。微软在谈工资的时候，... 阅读全帖 |
|
m*****n
发帖数: 3575 | 8 王垠说的这个一点没错
不论位置大小，现在的中国人都是没下限的
而楼上用王本人的个人成就来打击他的发言，也证实了没下限 |
|
|
e*******o
发帖数: 4654 | 10 支持王垠搞一把Google
王要是写文章具体讲一下 这次我愿意付费
a
list
said
and |
|
|
a*****e
发帖数: 1700 | 12 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 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... 阅读全帖 |
|
z*******3
发帖数: 13709 | 13 王垠的观点四平八稳，没啥可以挑剔的地方
它的trick在于，观点和态度截然相反
它的观点是对的，态度很糟糕
如果把王得态度换一下，你还以为是古德霸在说这些东西 |
|
d*******r
发帖数: 3299 | 14 我倒是觉得 王垠 对 Knuth 的评价很中肯,
你们有几个真的看过 Knuth 那些个的砖头？王好歹还是认真看过才喷的. |
|
d*******r
发帖数: 3299 | 15 想起王垠了解各种神棍大牛的过程，板上有人说的好:
王同学喜欢不明觉厉，一旦开始搞懂了，就觉得不过如此，然后开始喷 |
|
g****t
发帖数: 31659 | 16 王垠的目的就是找出别人一些工作的问题，然后能写个blog说自己是天才。
”本天才xxx。。。“这是他最喜欢的。
我最反感的就是他这种态度。莱布尼兹弄错了d（xy），就“本天才xxx”了？
自己没胆量和勇气完成phd，整个学术界都成了他最天才?
我对我儿子说：
人生如戏，全靠演技。不要当观众,嘲笑演员。
演员再差也是挣钱的。观众都是交钱的。当观众我认为那就是白活了。
王寅这算是观众里的战斗机。当年他还真带着不少国人对linux有兴趣了。
linus可以给他个签名，呵呵。 |
|
v*******e
发帖数: 11604 | 17 【 以下文字转载自 JobHunting 讨论区 】
发信人: tonyxu007 (tony), 信区: JobHunting
标 题: 王垠: 微软的秘密离职协议 (ZT)
发信站: BBS 未名空间站 (Wed May 10 21:00:46 2017, 美东)
微软的秘密离职协议
我与微软的对峙，终于以我的“有条件离职”而告终，现在微软把事情弄得相当丑陋，
我不想再坏自己心情，所以抛开他们不理了。“有条件离职”的意思是，微软必须满足
我的条件，我才会签字表示“自愿离职”。看来微软真是目光短浅的公司，宁愿放弃优
秀的人才和极其可靠的代码，也不愿意给人合理的报酬和职称。或者也许我的代码写得
实在太清晰了，所以他们觉得不需要我就可以搞定一切吧，那我祝他们好运了。
由于入职的时间不够一年（7 月份到一年），按照 offer letter，如果我“自愿离职
”，微软就有权收回入职时给我的“sign-on bonus”，价值 2 万 5 千美元。不过如
果不是自愿离职的，比如被开掉或者裁掉，那就不用还这个钱。在我看来，这个 sign-
on bonus 根本不应该退。微软在谈工资的时候，... 阅读全帖 |
|
T*******x
发帖数: 8565 | 18 发信人: verdelite (石头), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Thu May 11 15:10:16 2017, 美东)
嗯，一个大问题是单打独斗。其实美国普通白人也是单打独斗的，顶多比我们多几个直
系亲属。不单打独斗的有：犹太人，印度人，绿教人。他们在内部也是相互斗争，但是
如果有外人来他们还是对自己人更好点。 |
|
T*******x
发帖数: 8565 | 19 发信人: hci (海螺子), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Thu May 11 15:41:15 2017, 美东)
没有文化的，对文化不敏感，看见文化也不知道这就是文化。
居然以为白人是单打独斗的。日耳曼人的文化就是那样的，貌似单打独斗，其实集体性
和排他性极强，喜欢来阴的，狗哨子(dog whistle)厉害得很，各种集体自发行动。
这个稍微有点文化敏感性的人就看出来了，比如在街上捡瓶子的老邱都发现并总结出来
的东西，留学生们愣就一抹黑。
算了。
所以我说是没文化嘛。不要辨了，越辨，证据越多。 |
|
T*******x
发帖数: 8565 | 20 发信人: hci (海螺子), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Thu May 11 17:28:23 2017, 美东)
（1）缠头教当然是文化。文化就是culture啊，这个不复杂吧。中国人在中国大多算是
有文化的，来了美国就把文化丢了而已。本以为可以得个新文化，结果日耳曼人的文化
就是不带别人玩，所以就悲剧了，成了个异数。其实中国人去了其他文化，丢了自己的
文化，是可以得着别人的文化的，比如你去了个缠头国，应该就会得着个缠头文化。
（2）现在人家的文化不带你玩，就必须形成自己的文化。如何形成，这个问题其实不
复杂，本来就是有文化的，不丢不就得了。关键是摆正心态，认清形势，这个不容易。 |
|
T*******x
发帖数: 8565 | 21 发信人: TheMatrix (TheMatrix), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Fri May 12 00:23:35 2017, 美东)
我提一个原因：因为在美华人90%都有个工作，都有一个过得去的生活，所以没有决心
团结起来闹革命。10%的人过不下去了，但是人数太少，被稀释了。
美国厉害啊。90% vs 10% 这是一个精致的平衡，让人人自危又积攒不起足够的动力。 |
|
T*******x
发帖数: 8565 | 22 发信人: hci (海螺子), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Fri May 12 00:44:10 2017, 美东)
闹革命是要讲时机的，现在还不是谈闹革命的时候。我觉得当前主要还是解决没有文化
的这个大问题。没有文化，就谈不上凝聚力，各种问题都会出来。
美国华人到底要有怎样的文化，我觉得可能要抓两点：1.不能忘本。2.可以法古。
很多人现在的问题是忘本，说个自己是中国人都有点期期艾艾的，自己没底气，教育下
一代就问题多多，各种乱象，咱就不说了，说起来伤心。
好，咱不忘本，那是不是就按国内现在那套来呢？我觉得不合适，国情很不一样，何况
国内的文化目前也很差劲。那怎么办呢？
我觉得可以回归华人文明的本源，看看当年周人是怎么办的。当年周人也是迁到一个新
的地方，屈居商人的地盘。我们可以看看周是如何生存下来，逐步壮大，最后灭商的，
大家想一想，是不是有可以借鉴的地方。毕竟，商与当前美帝何其相似，科技发达，好
战，无义，小弟众多... |
|
T*******x
发帖数: 8565 | 23 发信人: hci (海螺子), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Fri May 26 19:03:57 2017, 美东)
文化要服众，必须要有个神话。光提“三个代表”是不够的，必须要有配套的神话。
人家都有各种神话，“白人至上”，“信耶稣得永生”，“上帝的选民”，“信默罕默
德得72处女”，等等，中国人也得有自己的神话。
我的意思，倒不是说真要从周反向工程处一个程序来，而是说，周其实可以作为很好的
神话。要让大家都相信这个神话，事情就好办了。我们这个神话其实更真实，是基于真
实的历史的，有底气。 |
|
T*******x
发帖数: 8565 | 24 发信人: TheMatrix (TheMatrix), 信区: Programming
标 题: Re: 王垠: 微软的秘密离职协议 (ZT) (转载)
发信站: BBS 未名空间站 (Sat May 27 08:31:08 2017, 美东)
这个思路好 - 要有个神话。神话不必建立在科学上，不必建立在历史考古的科学上。
要用旧瓶装新酒：
瓶子是旧的，人民群众都知道但不一定熟悉的。不能是孔子儒家这个破瓶子，没有号召
力。可以是道家，先秦，诸子百家，周，这一类。
酒是新的。内容都是新总结和提出的，具有现代意义，根本不必拘泥于历史真实。 |
|
|
c****m
发帖数: 824 | 26 【 以下文字转载自 Programming 讨论区 】
发信人: xiaoju (可爱的龙猫), 信区: Programming
标 题: 转：王垠--一种新的操作系统设计
发信站: BBS 未名空间站 (Sat Sep 14 10:22:03 2013, 美东)
http://www.yinwang.org/blog-cn/2013/04/14/os-design/
一种新的操作系统设计
我一直在试图利用程序语言的设计原理，设计一种超越“Unix 哲学”的操作系统。这
里是我的设想：
这种系统里面的程序间通信不使用无结构的字符串，而是使用带有类型和结构的数据。
在这样的系统里面，“程序”的概念基本上完全消失。系统由一个个的“函数”组成，
每个函数都可以调用另外一个函数，通过参数传递数据。每个函数都可以并发执行。
由于参数是一个数据结构，而不是字符串，这避免了程序间通信繁琐的“编码”和“解
码”过程。使得“进程间通信”变得轻而易举。任何函数都可以调用另一个函数来处理
特定类型的数据，这使得像 “OLE 嵌入”这样的机制变得极其简单。
所有函数由同一种先进的高级程序语言写成，所以函数间... 阅读全帖 |
|
u*****a
发帖数: 9489 | 27 【 以下文字转载自 SanFrancisco 讨论区 】
发信人: stavka (harder), 信区: SanFrancisco
标 题: 在三藩的两年(王垠)
发信站: BBS 未名空间站 (Tue Jan 13 03:14:59 2015, 美东)
感觉满有道理的,问什么这么多人讲到city像打了鸡血一样,明明是湾区最不想去的地方
今天对于我和三藩市（San Francisco，旧金山），是一个特殊的日子。两年前的今天
，我来到了这座城市，举目无亲，没有一个朋友。两年后的今天，我决定离开这座城市
，举目无亲，没有一个朋友。
三藩，你真是一座神奇的城市。两年的时间，竟然可以交不到一个朋友。就连连年雾霾
的北京，也有好几个朋友想得起我。看看网络上的评论，我发现自己不是特殊情况。有
人说：“在三藩七年了，我终于有了第一个可以叫做朋友的人！”三藩，你就是如此的
特别。你被评为全美国“浪漫事件发生概率最低”的城市，可我觉得，你其实也是“普
通友情发生概率最低”的城市。有人说你“社交无能”（socially incompetent），我
觉得的确如此。
当我以高昂的房租搬进这个坐落于雄... 阅读全帖 |
|
o*****e
发帖数: 430 | 28 这个叫王垠的兄弟，你对生活以及对在美的老中wsnv这个群体的观察和感受，甚至你的自
恋，都跟哥太像了，简直就是哥的一个翻版。以前顶过你的贴一次，这次再顶你！ |
|
|
e******t
发帖数: 3289 | 30 虽然王垠本身性格特点可能有这样那样的不足，
不过他的总结这几点还是很有道理的。
不过不知道lz转这篇老文啥意思 |
|
|
p*******m
发帖数: 667 | 32 王垠算不上林黛玉，撑死是妙玉吧，
特么虎肉怎么也是薛蟠一类的。 |
|
p*******m
发帖数: 667 | 33 特么盖茨退学之前他妈早把路给他铺好了，
换了我我也退学绝不含糊
他一个小屁孩子懂什么？
盖茨对乔布斯是真心佩服，
乔布斯是自己干出来的，
他的商业直觉和执着盖茨不能比
可惜斗了一辈子最后英年早逝。
特么王垠如果不那么娘，
我一定看好他， |
|
d****o
发帖数: 32610 | 34 客观来说，
虎肉比王垠层次还是高不少的
至少自我定位准确，
在胜任的领域搞出成果 |
|
d****o
发帖数: 32610 | 35 那也是成果
嘲笑大牛没资格，
嘲笑王垠还是足够了 |
|
|
p*******m
发帖数: 667 | 37 准确预见，特么装什么先知。
他这种特立独行，自然困难，除非改变性格，那又不是王垠了。
点。 |
|
p*******m
发帖数: 667 | 38 特么不要拿两个对比，
对二者都是最大的侮辱。
王垠这种，理想主义者，宁愿为了理想战死，打手銃都打出手上老茧了
虎肉这种，双赢鞋匠，手艺精湛，人情练达，看你不是名校教授早就宣判你是民科了，
脸上还挂着看似善意的假笑。 |
|
c****3
发帖数: 10787 | 39 王垠想做的东西，都是没法赚钱，没有多少前途，基本没有人爱做的。
不过他博客写的东西还是正确的，对其他技术和人的评价也没啥不对。
不过理想主义在这个行业是行不通的，这是成王败寇的行业。
搞那些没前途的东西，也没法证明他自己的能力，希望他能认识到这点。 |
|
|
c****u
发帖数: 243 | 41 看了看王垠的微博，只能呵呵呵了，
其中有这样一段，评论计算机和数学的：
1. 计算机科学其实根本不是数学，它只不过借用了非常少，非常基础的数学，比高中
数学还要容易一点。所谓“高等数学”，在计算机科学里面基本用不上。
2. 计算机是比数学更加基础的工具，就像纸和笔一样。计算机可以用来解决数学的问
题，也可以用来解决不是数学的问题，比如工程的问题，艺术的问题，经济的问题，社
会的问题等等。
3. 计算机科学是完全独立的学科。学习了数学和物理，并不能代替对计算机科学的学
习。你必须针对计算机科学进行学习，才有可能成为好的程序员。
4. 数学家所用的语言，比起常见的程序语言（比如C++，Java）来说，其实是非常落后
而糟糕的设计。所谓“数学的美感”，其实大部分是夜郎自大。
5. 99%的数学家都写不出像样的代码
根据1的数学水平，他竟然还评论人工智能， |
|
w****5
发帖数: 46 | 42
王垠那篇“The polygonal contraction heuristic for rectilinear
Steiner tree construction” 在ASP-DAC 2005会议上灌了个best paper award.
想知道虎肉专职灌水多年，灌出过几篇这种量级的paper？ |
|
|
c****3
发帖数: 10787 | 44 王垠看问题还是准确的。但是他需要脱离理想主义，不要痴迷重新发明轮子的事情。找
点比较新，比较前沿的东西做，比炒冷饭好 |
|
c*******9
发帖数: 9032 | 45 搞冷门不一定是浪费精力。老想着市场前途的，什么都不用搞了，别人都搞好了。
王垠搞的方向没错，就是有点志大才疏，老以为别人不行，就他行，摆脱不了萎缩男的
思维。 |
|
w*******e
发帖数: 15912 | 46 转自王垠博客
http://www.yinwang.org/blog-cn/2013/04/10/cornell
我为什么离开 Cornell
很多人都知道，我曾经在 Cornell 博士就读，两年之后转学到了 Indiana 大学。几乎
所有人，包括 Indiana 大学的人都感觉奇怪，为什么会有人从 Cornell 这样的“牛校
”转学到 Indiana。我曾经在之前的博文里提到 Cornell 的情况，比如学生一上课就
忙着抄笔记，作业压得喘不过气，等等。那些都是实际的情况，所以我没什么必要为我
的“母校”说好话。
离开 Cornell 之后，看到有人在 facebook 上成立了一个“Cornell 痛恨者协会”。
其中一个人写到：
“Cornell 说要教你游泳，就把你推进池塘里，任凭你扑腾挣扎。等你快扑腾到岸边的
时候，它忽然拿起一块大石头砸在你头上，然后继续等着你上岸。当你再次接近岸边的
时候，它又拿起一个榔头敲在你头上，这样你就可以死了，可是 Cornell 仍然继续等
着你游上岸边……”
这就是一个非常形象的，对我在 Cornell 的两年的总结。现在看看我在 Ind... 阅读全帖 |
|
h*h
发帖数: 27852 | 47 王垠对数学的批判是错误的。数学语言是为人脑设计的，计算机语言是为人操作机器设
计的，两者设计理念不同。除了一些基本逻辑学以外，编程基本用不到数学
θ) |
|
|
|
|
