f********t
发帖数: 6999 | 1 【 以下文字转载自 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... 阅读全帖 |
|
x*******5
发帖数: 152 | 2 作为学计算机的，多少都听过一点王垠同学的事迹。十年前王同学是传奇，十年后王同
学渐渐沦为笑柄。十年前王同学意气风发，清华退学，洋洋万言书，做了别人不敢做的
事情，勇气可嘉。十年后的王同学，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，觉... 阅读全帖 |
|
H********g
发帖数: 43926 | 3 【 以下文字转载自 Military 讨论区 】
发信人: LostAngeles (大天使), 信区: Military
标 题: Re: 如果王垠遇到翟欣欣，会发生什么故事？垠哥会跳楼吗？
发信站: BBS 未名空间站 (Sat Sep 9 16:33:35 2017, 美东)
会写一篇<我与翟欣欣离婚的决定>，
文中诉说前妻的总总不是，
限制了自己才华的发展,
行文中不时装一下B |
|
发帖数: 1 | 4 【 以下文字转载自 JobHunting 讨论区 】
发信人: wooluba (), 信区: JobHunting
标 题: 开赌喽！王垠对jiama！
发信站: BBS 未名空间站 (Fri May 12 23:09:22 2017, 美东)
最近工作版好热闹，原因是羊群中出了两个头上带把儿的（纯褒义）！既然王垠和
jiama都算是公众人物了，那咱们就拿他们开赌一把（绝无不敬之意），赌谁能先成功
-- 实现目标心中安乐。欢迎大家踊跃参加，广泛传播，人多热闹嘛。
成功之花以勇气和觉悟为根，以团结和组织为茎。王垠有根，却在茎上差了两点，所以
不易成功。反观jiama，根固然有，还成立了“北美华人软件工程师协会”，这样的茎
够坚挺了，离开花儿大概也就一步之遥了。所以我押宝jiama！
如果jiama看到此贴，希望他能记住我的支持，苟“富贵”勿相忘。如果王垠看到此贴
，请不要丧气，我也乐见你成功，并先唱两句助威：王垠王垠你擦亮眼，否则永远都差
两点！
（全曲https://www.youtube.com/watch?v=50dyyevLH6I） |
|
发帖数: 1 | 5 【 以下文字转载自 JobHunting 讨论区 】
发信人: wooluba (), 信区: JobHunting
标 题: 开赌喽！王垠对jiama！
发信站: BBS 未名空间站 (Fri May 12 23:09:22 2017, 美东)
最近工作版好热闹，原因是羊群中出了两个头上带把儿的（纯褒义）！既然王垠和
jiama都算是公众人物了，那咱们就拿他们开赌一把（绝无不敬之意），赌谁能先成功
-- 实现目标心中安乐。欢迎大家踊跃参加，广泛传播，人多热闹嘛。
成功之花以勇气和觉悟为根，以团结和组织为茎。王垠有根，却在茎上差了两点，所以
不易成功。反观jiama，根固然有，还成立了“北美华人软件工程师协会”，这样的茎
够坚挺了，离开花儿大概也就一步之遥了。所以我押宝jiama！
如果jiama看到此贴，希望他能记住我的支持，苟“富贵”勿相忘。如果王垠看到此贴
，请不要丧气，我也乐见你成功，并先唱两句助威：王垠王垠你擦亮眼，否则永远都差
两点！
（全曲https://www.youtube.com/watch?v=50dyyevLH6I） |
|
发帖数: 1 | 6 最近工作版好热闹，原因是羊群中出了两个头上带把儿的（纯褒义）！既然王垠和
jiama都算是公众人物了，那咱们就拿他们开赌一把（绝无不敬之意），赌谁能先成功
-- 实现目标心中安乐。欢迎大家踊跃参加，广泛传播，人多热闹嘛。
成功之花以勇气和觉悟为根，以团结和组织为茎。王垠有根，却在茎上差了两点，所以
不易成功。反观jiama，根固然有，还成立了“北美华人软件工程师协会”，这样的茎
够坚挺了，离开花儿大概也就一步之遥了。所以我押宝jiama！
如果jiama看到此贴，希望他能记住我的支持，苟“富贵”勿相忘。如果王垠看到此贴
，请不要丧气，我也乐见你成功，并先唱两句助威：王垠王垠你擦亮眼，否则永远都差
两点！
（全曲https://www.youtube.com/watch?v=50dyyevLH6I） |
|
H**r
发帖数: 10015 | 7 王垠又不是没在Google呆过
锁男就是比不上王垠，王垠除了本科不是清华的，锁男还有什么干货攻击王垠的水平？ |
|
r******n
发帖数: 4522 | 8 是王垠离不开索男，要没有索男们，王垠哪儿会有名气？我家LD就不知道王垠是谁，国
内随便抓个人，无论大小老板，官员，农民工，还是街头混混，股市大妈，只要不是码
工索男，保管不知道王垠是谁。所以王时不时就得行为艺术一把撩拨索男们，怕大家忘
了他。 |
|
h*h
发帖数: 27852 | 9 发信人: 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.... 阅读全帖 |
|
x******g
发帖数: 33885 | 10 很像吕布。
不过吕布是什么下场，大家都知道。
这个世界，不一定是有才能就一定能成功的。
你看毛主席才能够高的了，当年还不是被王明古博李德之流搞的落魄不堪啊？但是，如
果像王垠，一不如意就如张国焘一样骂娘跑路，就没有革命的成功和中华人民共和国的
存在了。
才能的发挥需要有用武之地。你老是蜻蜓点水，跑来跳去，浅尝辄止能成事吗？
所以，王垠这个不切实际的理想主义者，前面还有苦头要吃的。
回国找个教职吧。觉得他这种人当个老师挺好的。 |
|
M****o
发帖数: 4860 | 11 【 以下文字转载自 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, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常... 阅读全帖 |
|
s*****r
发帖数: 43070 | 12 【 以下文字转载自 Military 讨论区 】
发信人: doxso (doxso), 信区: Military
标 题: 王垠：关于离开美国的决定
发信站: BBS 未名空间站 (Sun Jun 19 21:09:47 2016, 美东)
很多人看了我的『未来计划』之后联系我，热心的给我提供线索和帮助。记得一年多以
前，我因为某些人的卑鄙作法而突然丢了工作，导致签证出现问题。在那个危机关头，
也有很多人伸出援助之手。在此我对这些人一并表示由衷的感谢。
不过这次的情况很不一样了。我并没有任何危机，我也不再需要负担另一个人的生活。
我只是想寻求进一步的发展，拓宽自己的事业。然而有些心肠不好的人看了文章，还以
为我又在求救，所以在背后冷嘲热讽说：“原来王垠的日子过得不好，他不是说他很牛
吗？哈哈……” 我只想对这些人说，你们高兴得太早了。
虽然我口头上自嘲，实际上生活过得并不差，吃好穿好住好，还有漂亮妹纸陪 :) 只是
由于美国社会的不合理，我没法发挥自己的能力，没有得到我应有的回报，所以现在的
生活跟我的实际能力，显然差距太远。我劝这些喜欢在背后“黑”我的人趁早放弃。世
界上很多人所... 阅读全帖 |
|
M****o
发帖数: 4860 | 13 【 以下文字转载自 Faculty 讨论区 】
发信人: 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, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常有才华的人，只是没有
被放到合适的位置。他们说的是实话。虽然我通过努力，得到了精华的知识和独立深入
的思维能力，然而由于一些早期的错误抉择，再加上遇到一些错误的人，我的生活一度
陷入困境。直到现在缓过气来，我才可以开始考虑一个更好的未来... 阅读全帖 |
|
n******6
发帖数: 1829 | 14 【 以下文字转载自 Military 讨论区 】
发信人: doxso (doxso), 信区: Military
标 题: 王垠：关于离开美国的决定
发信站: BBS 未名空间站 (Sun Jun 19 21:09:47 2016, 美东)
很多人看了我的『未来计划』之后联系我，热心的给我提供线索和帮助。记得一年多以
前，我因为某些人的卑鄙作法而突然丢了工作，导致签证出现问题。在那个危机关头，
也有很多人伸出援助之手。在此我对这些人一并表示由衷的感谢。
不过这次的情况很不一样了。我并没有任何危机，我也不再需要负担另一个人的生活。
我只是想寻求进一步的发展，拓宽自己的事业。然而有些心肠不好的人看了文章，还以
为我又在求救，所以在背后冷嘲热讽说：“原来王垠的日子过得不好，他不是说他很牛
吗？哈哈……” 我只想对这些人说，你们高兴得太早了。
虽然我口头上自嘲，实际上生活过得并不差，吃好穿好住好，还有漂亮妹纸陪 :) 只是
由于美国社会的不合理，我没法发挥自己的能力，没有得到我应有的回报，所以现在的
生活跟我的实际能力，显然差距太远。我劝这些喜欢在背后“黑”我的人趁早放弃。世
界上很多人所... 阅读全帖 |
|
a********5
发帖数: 1631 | 15 我知道有些人至今仍然嘲笑和鄙视我，因为我曾经说过，我在Dan Friedman的两门课程
B521（程序语言理论)和B621（高级程序语言理论）都得了A+。只要提到我，他们就会
拿出这个把柄来，好像我是一个只在乎分数的肤浅的人。实际上我觉得这些人只是为了
鄙视而鄙视，所以他们发现貌似一个把柄，也不搞清楚Dan Friedman是谁，也不搞清楚
这个A+的分量，拿着半截就开跑，抓住不放了。所以即使我没提过这分数的事情，他们
一样会找到其它话题来损我。我一直都懒得回应这些人的言论，不过今天我有兴致显示
一下自己的价值，所以想花点时间告诉你，这个A+到底意味着什么。
从我的人生历史里面，你应该很明显的看出来，课程，考试，分数，名校，权威，事业
，成就，贡献，以至于图灵奖，诺贝尔奖，对于我来说真的什么都不是。你觉得一个在
乎这些东西的人，会以优秀的成绩从清华，Cornell，Indiana三所大学退学吗？在漫长
的学术生涯中，我上过许多的课程，很多最后结果都是A或者A+，也有几门课的分数低
到C。因为我从来不觉得任何人有资格出题来考我，所以自上大学以来，我给自己定的
标准就是“及格万岁”。我是... 阅读全帖 |
|
c*********e
发帖数: 16335 | 16 【 以下文字转载自 Military 讨论区 】
发信人: doxso (doxso), 信区: Military
标 题: 王垠：关于离开美国的决定
发信站: BBS 未名空间站 (Sun Jun 19 21:09:47 2016, 美东)
很多人看了我的『未来计划』之后联系我，热心的给我提供线索和帮助。记得一年多以
前，我因为某些人的卑鄙作法而突然丢了工作，导致签证出现问题。在那个危机关头，
也有很多人伸出援助之手。在此我对这些人一并表示由衷的感谢。
不过这次的情况很不一样了。我并没有任何危机，我也不再需要负担另一个人的生活。
我只是想寻求进一步的发展，拓宽自己的事业。然而有些心肠不好的人看了文章，还以
为我又在求救，所以在背后冷嘲热讽说：“原来王垠的日子过得不好，他不是说他很牛
吗？哈哈……” 我只想对这些人说，你们高兴得太早了。
虽然我口头上自嘲，实际上生活过得并不差，吃好穿好住好，还有漂亮妹纸陪 :) 只是
由于美国社会的不合理，我没法发挥自己的能力，没有得到我应有的回报，所以现在的
生活跟我的实际能力，显然差距太远。我劝这些喜欢在背后“黑”我的人趁早放弃。世
界上很多人所... 阅读全帖 |
|
z***t
发帖数: 10817 | 17 【 以下文字转载自 Military 讨论区 】
发信人: doxso (doxso), 信区: Military
标 题: 王垠：关于离开美国的决定
发信站: BBS 未名空间站 (Sun Jun 19 21:09:47 2016, 美东)
很多人看了我的『未来计划』之后联系我，热心的给我提供线索和帮助。记得一年多以
前，我因为某些人的卑鄙作法而突然丢了工作，导致签证出现问题。在那个危机关头，
也有很多人伸出援助之手。在此我对这些人一并表示由衷的感谢。
不过这次的情况很不一样了。我并没有任何危机，我也不再需要负担另一个人的生活。
我只是想寻求进一步的发展，拓宽自己的事业。然而有些心肠不好的人看了文章，还以
为我又在求救，所以在背后冷嘲热讽说：“原来王垠的日子过得不好，他不是说他很牛
吗？哈哈……” 我只想对这些人说，你们高兴得太早了。
虽然我口头上自嘲，实际上生活过得并不差，吃好穿好住好，还有漂亮妹纸陪 :) 只是
由于美国社会的不合理，我没法发挥自己的能力，没有得到我应有的回报，所以现在的
生活跟我的实际能力，显然差距太远。我劝这些喜欢在背后“黑”我的人趁早放弃。世
界上很多人所... 阅读全帖 |
|
T*******x
发帖数: 8565 | 18 【 以下文字转载自 Military 讨论区 】
发信人: freedom9080 (８０后), 信区: Military
标 题: 王垠：MITBBS是心理不正常华人的家园
发信站: BBS 未名空间站 (Sun Aug 20 13:50:06 2017, 美东)
十多年前，当我离开清华的时候，有媒体报道说：“支持王垠的也就只有国内屌丝，看
看海外华人居多的 MITBBS，评价就很不一样。” 后来的很多博文，也经常会上
MITBBS 的“十大头条”。这些都是别人告诉我的，因为我根本不上 MITBBS。
清华的那一次，也就是我第一次听说 MITBBS。似乎一个很高大上的名字，然而等你真
正成为了“海外华人”，注册了 MITBBS 的账号，才发现它不但跟 MIT （麻省理工学
院）没有任何关系，而且并不是心理正常的海外华人会出没的地方。我认识的友好的，
有水平的人，没有一个上 MITBBS。MITBBS 称自己是海外华人的家园，还不如叫做“心
理不正常华人的家园”。
很多年前，我也算是有过几个 MITBBS 的“马甲”了。出国初期的时候因为人生地不熟
，到上面问过一些生活方面的问题，希... 阅读全帖 |
|
d***o
发帖数: 7006 | 19 很多人看了我的『未来计划』之后联系我，热心的给我提供线索和帮助。记得一年多以
前，我因为某些人的卑鄙作法而突然丢了工作，导致签证出现问题。在那个危机关头，
也有很多人伸出援助之手。在此我对这些人一并表示由衷的感谢。
不过这次的情况很不一样了。我并没有任何危机，我也不再需要负担另一个人的生活。
我只是想寻求进一步的发展，拓宽自己的事业。然而有些心肠不好的人看了文章，还以
为我又在求救，所以在背后冷嘲热讽说：“原来王垠的日子过得不好，他不是说他很牛
吗？哈哈……” 我只想对这些人说，你们高兴得太早了。
虽然我口头上自嘲，实际上生活过得并不差，吃好穿好住好，还有漂亮妹纸陪 :) 只是
由于美国社会的不合理，我没法发挥自己的能力，没有得到我应有的回报，所以现在的
生活跟我的实际能力，显然差距太远。我劝这些喜欢在背后“黑”我的人趁早放弃。世
界上很多人所谓的“才华”，是吹牛吹出来，广告打出来的。可是王垠的是货真价实的
，没有任何人有任何办法，可以毁谤他的能力。我劝这些人趁早转移目标，不要再做这
种以卵击石的傻事了。
不过我觉得现在是我该离开美国的时候了。虽然我拿着某知名低调大公司一个不错的
of... 阅读全帖 |
|
u*****a
发帖数: 9489 | 20 发信人: umutata (土著人，老邱弟子，邱选主编), 信区: Military
标 题: 老邱体王垠大作：我在Ｃｏｒｎｅｌｌ大学读博士的经历
发信站: BBS 未名空间站 (Thu May 19 20:11:47 2016, 美东)
美国的大学没有好的，即使所谓最好的，也像最好的垃圾食品一样是不好的。 在美
国大学上学只会学成傻瓜。 我在美国的Ｃｏｒｎｅｌｌ大学读了一年半博士，极
其看不起美国的大学生，他们的大学教育非常非常差。
我２００６年来Ｃｏｒｎｅｌｌ大学读博士，学习计算机科学。 学校所在的地方Ｉ
ｔｈａｃａ是个偏僻的小县城，规模比我以前住的雪城还要小。 虽然学校风景很优
美，但学校里的人却都是傻冒。 我来Ｃｏｒｎｅｌｌ不久，就见识到了美国名牌大
学的教授和学生都是一群什么样的傻冒。
我来学校之后，就被要求参加一个Ｔｅａｃｈｉｎｇ Ａｓｓｉｓｔａｎｔ的培训课程
。 美国大学普遍死板僵硬，要求学生必须参加这个培训，即使时差还没倒过来也要
参加。 这个培训对提高英语水平没有什么帮助，只是因为美国人变态， 所以用这
种浪费时间的方式折腾新生。 我因为没有通过最... 阅读全帖 |
|
c****x
发帖数: 6601 | 21 发信人: MoneyPort (MoneyPort), 信区: Programming
标 题: 王垠：我为什么不在乎人工智能
发信站: BBS 未名空间站 (Thu Apr 27 18:20:23 2017, 美东)
来源：王垠
www.yinwang.org/blog-cn/2017/04/23/ai
如有好文章投稿，请点击 → 这里了解详情
有人听说我想创业，给我提出了一些“忽悠”的办法。他们说，既然你是程序语言专家
，而现在人工智能（AI）又非常热，那你其实可以搞一个“自动编程系统”，号称可以
自动生成程序，取代程序员的工作，节省许许多多的人力支出，这样就可以趁着“AI
热”拉到投资。
有人甚至把名字都给我想好了，叫“深度程序员”（DeepCoder = Deep Learning +
Coder）。口号是：“有了 DeepCoder，不用 Top Coder！” 还有人给我指出了这方向
最新的，吹得神乎其神的研究，比如微软的 Robust Fill……
我谢谢这些人的关心，然而其实我并不在乎，也不看好人工智能。现在我简单的讲一下
我的看法。
机器一样的心
很多人喜欢鼓吹人工... 阅读全帖 |
|
|
M****o
发帖数: 4860 | 23 【 以下文字转载自 Military 讨论区 】
发信人: 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, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常有才华的人，只是没有
被放到合适的位置。他们说的是实话。虽然我通过努力，得到了精华的知识和独立深入
的思维能力，然而由于一些早期的错误抉择，再加上遇到一些错误的人，我的生活一度
陷入困境。直到现在缓过气来，我才可以开始考虑一个更好的未来。
曲折的过去
我的第一个错误，来自于一个不切实际的浪漫幻想。我把爱情看得太简单，太容易，太
伟大。我错误地改变了我爱的女孩的生活轨迹。这一个错误，我用了十年的时间来偿还
，同时又导致了另外一系列的错误，以至于我颠... 阅读全帖 |
|
c*******n
发帖数: 442 | 24 皇家认证
http://www.yinwang.org/blog-cn/2017/08/19/zhihu-mitbbs
十多年前，当我离开清华的时候，有媒体报道说：“支持王垠的也就只有国内屌丝，看
看海外华人居多的 MITBBS，评价就很不一样。” 后来的很多博文，也经常会上
MITBBS 的“十大头条”。这些都是别人告诉我的，因为我根本不上 MITBBS。
清华的那一次，也就是我第一次听说 MITBBS。似乎一个很高大上的名字，然而等你真
正成为了“海外华人”，注册了 MITBBS 的账号，才发现它不但跟 MIT （麻省理工学
院）没有任何关系，而且并不是心理正常的海外华人会出没的地方。我认识的友好的，
有水平的人，没有一个上 MITBBS。MITBBS 称自己是海外华人的家园，还不如叫做“心
理不正常华人的家园”。
很多年前，我也算是有过几个 MITBBS 的“马甲”了。出国初期的时候因为人生地不熟
，到上面问过一些生活方面的问题，希望了解“海外华人”们的解决方案。在一次次的
碰壁之后，我终于醒悟了，MITBBS 上是没法形成正常的讨论的，没法得到任何有价值
的信息。为什么呢？因为... 阅读全帖 |
|
d****o
发帖数: 32610 | 25 王垠又没做什么伤天害理的事情
翟欣欣应该交给延壮壮收拾 |
|
|
b***e
发帖数: 1419 | 27 我来用中文给大家解释一下吧。
王垠的代码在数学上严格的定义了goto(callcc in FP)的形式语义。这个结果的确是经
过了多年研究才得到的。在此之前，人们认识到有goto这个东西，也知道怎么用，但是
没有严格的数学模型来描述其语义。所以goto是停留在炼金术的阶段。有了这个数学定
义，goto才进入了化学的殿堂。如果王垠一周内通过全自研得到了goto的形式语义定义
，那的确不是一般人能做到的。至少我做不到。
passing
CPS |
|
O***b
发帖数: 104 | 28 是啊，我看到他数据库这条商业计划也一下子就想到 datomic，何况王垠也多次宣传了
他导师 Friedman 的东西，所以如果王垠整出个“lisp+数据库包一层”的方案我也不
会很惊讶。
连 Datomic 现在也都算不上成功，那么泼泼凉水也是善意。 |
|
发帖数: 1 | 29 【 以下文字转载自 Dreamer 讨论区 】
发信人: Dreamer (不要问我从哪里来), 信区: Dreamer
标 题: 转3片《我的青春都浪费了》，纪念那个时代
发信站: BBS 未名空间站 (Thu Oct 10 20:32:43 2019, 美东)
【小洁篇】by laocat
我的青春都浪费了，是因为一直到大学毕业都没有什么真正的性生活，甚至还不如童年
的时候！
我出生在某大城市，童年和少年的时候差不多是在花丛种度过的。那个城市的女孩，在
全国颜值比一直都是很高的，也在演艺界出了不少女明星！
小的时候我非常好色，也没有辜负周围的美好春光！记得我们大院当时有几位和我年龄
相仿的女孩，差不多各个都是美少女。小雪，小洁，晓红，还有那小颖一家姐妹三支花
，不能說各个绝色，但也绝对是小萝莉！那个时候业余活动比较贫乏，所以男女之事也
成为我们少时的一种娱乐。
我和小洁，小颖都有过实质性的性接触。她俩和我同岁，比我略大，在一个年级。从七
八岁开始，我们就亲过嘴，还在家里玩抚过彼此的性器官。当然，我们的战场不止于此
，还有在煤棚，在菜窖，在吊铺。
我和小洁家是隔着一堵墙的邻... 阅读全帖 |
|
w*******e
发帖数: 15912 | 30 转自王垠博客
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 | 31 王垠对数学的批判是错误的。数学语言是为人脑设计的，计算机语言是为人操作机器设
计的，两者设计理念不同。除了一些基本逻辑学以外，编程基本用不到数学
θ) |
|
M****o
发帖数: 4860 | 32 【 以下文字转载自 JobHunting 讨论区 】
发信人: MVPYao (退役了 | Hall of Famer), 信区: JobHunting
标 题: 王垠：未来计划
发信站: BBS 未名空间站 (Wed May 18 12:23:39 2016, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常有才华的人，只是没有
被放到合适的位置。他们说的是实话。虽然我通过努力，得到了精华的知识和独立深入
的思维能力，然而由于一些早期的错误抉择，再加上遇到一些错误的人，我的生活一度
陷入困境。直到现在缓过气来，我才可以开始考虑一个更好的未来。
曲折的过去
我的第一个错误，来自于一个不切实际的浪漫幻想。我把爱情看得太简单，太容易，太
伟大。我错误地改变了我爱的女孩的生活轨迹。这一个错误，我用了十年的时间来偿还
，同时又导致了另外一系列的错误，以至于我颠沛流离。
我的第二个错误，是进入 Google 做实习。本来就不喜欢那里，为了养家糊口挣点小钱
，下一年却还去同一个地方，结果弄得自己很不舒服，而且失去了其它更好的机会。
我的第三个错误，在于离开 Ind... 阅读全帖 |
|
|
u*****a
发帖数: 9489 | 34 美国的大学没有好的，即使所谓最好的，也像最好的垃圾食品一样是不好的。 在美
国大学上学只会学成傻瓜。 我在美国的Ｃｏｒｎｅｌｌ大学读了一年半博士，极
其看不起美国的大学生，他们的大学教育非常非常差。
我２００６年来Ｃｏｒｎｅｌｌ大学读博士，学习计算机科学。 学校所在的地方Ｉ
ｔｈａｃａ是个偏僻的小县城，规模比我以前住的雪城还要小。 虽然学校风景很优
美，但学校里的人却都是傻冒。 我来Ｃｏｒｎｅｌｌ不久，就见识到了美国名牌大
学的教授和学生都是一群什么样的傻冒。
我来学校之后，就被要求参加一个Ｔｅａｃｈｉｎｇ Ａｓｓｉｓｔａｎｔ的培训课程
。 美国大学普遍死板僵硬，要求学生必须参加这个培训，即使时差还没倒过来也要
参加。 这个培训对提高英语水平没有什么帮助，只是因为美国人变态， 所以用这
种浪费时间的方式折腾新生。 我因为没有通过最后的考核， 被强制要求修一门英
语课。 这门课的教授就是混日子的，不学无术，讲课更是在混，作为教师的学术
指导，言传身教，都不存在。 而且还在在教学中故意设置陷阱误导学生，让学生忙
于熬夜也学不到知识，教学内容不存在循序渐进， 而是打乱... 阅读全帖 |
|
y*j
发帖数: 3139 | 35 机器佣人的很多功能现在基本都已经实现了，自动吸尘器，洗碗机，洗衣机，烘干机，
如果进一步提高的话，再有一个自动执行任务的机器人，那么就是机器佣人了。
早期的人工智能强调理解，但是后来的发展越来越倾向于统计模型。其实人脑也许也是
依赖于统计模型，只不过现在的机器的神经节点以及连接比起人脑差的太远了。硅基的
电脑也许比碳基的人脑发展前途更大，也许有朝一日能够超越人脑的。
：来源：王垠
：www.yinwang.org/blog-cn/2017/04/23/ai
：如有好文章投稿，请点击 → 这里了解详情
：有人听说我想创业，给我提出了一些“忽悠”的办法。他们说，既然你是程序语言专
家，而现在人工智能（AI）又非常热，那你其实可以搞一个“自动编程系统”，号称可
以自动生成程序，取代程序员的工作，节省许许多多的人力支出，这样就可以趁着“AI
：热”拉到投资。
：有人甚至把名字都给我想好了，叫“深度程序员”（DeepCoder = Deep Learning +
：Coder）。口号是：“有了 DeepCoder，不用 Top Coder！” 还有人给我指出了这方
向最新的，吹得神乎其神的研究... 阅读全帖 |
|
s*****r
发帖数: 43070 | 36 【 以下文字转载自 JobHunting 讨论区 】
发信人: tonyxu007 (tony), 信区: JobHunting
标 题: 王垠: 微软的秘密离职协议 (ZT)
发信站: BBS 未名空间站 (Wed May 10 21:00:46 2017, 美东)
微软的秘密离职协议
我与微软的对峙，终于以我的“有条件离职”而告终，现在微软把事情弄得相当丑陋，
我不想再坏自己心情，所以抛开他们不理了。“有条件离职”的意思是，微软必须满足
我的条件，我才会签字表示“自愿离职”。看来微软真是目光短浅的公司，宁愿放弃优
秀的人才和极其可靠的代码，也不愿意给人合理的报酬和职称。或者也许我的代码写得
实在太清晰了，所以他们觉得不需要我就可以搞定一切吧，那我祝他们好运了。
由于入职的时间不够一年（7 月份到一年），按照 offer letter，如果我“自愿离职
”，微软就有权收回入职时给我的“sign-on bonus”，价值 2 万 5 千美元。不过如
果不是自愿离职的，比如被开掉或者裁掉，那就不用还这个钱。在我看来，这个 sign-
on bonus 根本不应该退。微软在谈工资的时候，... 阅读全帖 |
|
|
c*****e
发帖数: 3226 | 38 【 以下文字转载自 CS 讨论区 】
发信人: biochemputer (Pandora Box), 信区: CS
标 题: orz, 王垠骂完了五道口伊萨卡现在开始骂Google了
发信站: BBS 未名空间站 (Fri Aug 10 17:53:39 2012, 美东)
纯转载
---
http://blog.sina.com.cn/s/blog_5d90e82f010191rh.html
---
我和Google的故事 (2012-08-10 02:58:52)转载▼
分类： 杂谈
也许有人看见过我批判 Google 的那篇英文文章。它有一部分片面性，所以被我从英文
博客上拿下来了。我一直在反思自己在 Google 的经历，也许现在用自己的母语，我可
以得出一个准确一点的结论吧。
也许有人觉得作为一个读了这么多年的 PhD 去给别人做实习生（intern）是一种耻辱
，但是我亲眼看到，从一些名校比如 Yale 毕业的 PhD，在 Google 混了好几年，也不
过是过着差不多的生活。只不过做了 intern 之后我长了经验，知道了自己的价值，以
后不至于落到同样的位置。
这里... 阅读全帖 |
|
s*****r
发帖数: 43070 | 39 世上大多数人都是打工仔，都在拧螺丝，有几个真的干自己喜欢的活
码农可以算是拧螺丝行业的金领，虽说拧起来有够无聊，要善于把拧螺丝和喜欢做的事
联系上，就不觉得特无聊
比如喜欢吃羊肉串吗，喜欢吃肉夹馍吗，喜欢和七分妹子吃小肥羊吗
如果答案是喜欢，这事就好办。想想码一行code就能撸个羊肉串，买个肉夹馍，修一个
bug就能请妹子吃顿小肥羊，拧螺丝的工作立马高大上
当然，如果王垠觉得码行code能换块表，那个难度有点大，属于俺们普通码农难以企及
的高度 |
|
K**r
发帖数: 2193 | 40 我不是码工，也不住湾区。
对于你我来说当然不容易。
但是对于真正有能力的人，没那么难吧。
真正去看过他的博客，我不认为王垠在美国混不下去，我觉得他是不想混，不想把人生
当做一个通关的
游戏来玩，很不幸的是，人生就是得混.....
很容易？这个世界上大家都想要的东西没有什么是很容易的。对于眼高手低的更是如 |
|
g**s
发帖数: 2331 | 41 虚伪是人类的主要标签。比如你所想表达的。
如果王垠明白这点，他会很自在的活着，活的很“成功”。
炒作包装一下，很快就是高大上的阶层。
这种人选择这么做，这么爆，自有他的道理。不是我等俗人能理解和追求的。 |
|
g**s
发帖数: 2331 | 42 虚伪是人类的主要标签。比如你所想表达的。
如果王垠明白这点，他会很自在的活着，活的很“成功”。
炒作包装一下，很快就是高大上的阶层。
这种人选择这么做，这么爆，自有他的道理。不是我等俗人能理解和追求的。 |
|
x****o
发帖数: 21566 | 43 来源：王垠的博客
有些人问我，你说学习操作系统的最好办法是学习程序设计。那我们是不是应该学习一
些“设计模式”（design patterns）。这是一个我很早就有定论，而且经过实践检验
的问题，所以想在这里做一个总结。
总的来说，如果光从字面上讲，程序里确实是有一些“模式”可以发掘的。因为你总是
可以借鉴以前的经验，用来构造新的程序。你可以把这种经验叫做“模式”。可是自从
《设计模式》（通常叫做 GoF，“Gang of Four”，“四人帮”）这本书在 1994 年发
表以来，“设计模式”这个词有了新的，扭曲的含义。它变成了一种教条，带来了公司
里程序的严重复杂化以及效率低下。
GoF 借鉴的是一个叫 Christopher Alexander 的建筑师的做法。Alexander 给一些建
筑学里的“设计模式”起了名字，试图让建筑师们有一些“共同语言”。可惜的是，
Alexander 后来自己都承认，他的实验失败了。因为这些固定的模式，并没能有效地传
递精髓的知识，没能让新手成长为出色的建筑师。
照搬模式东拼西凑，而不能抓住事物的本质，没有“灵感”，其实是设计不出好东西的
。这就像... 阅读全帖 |
|
a*****e
发帖数: 1700 | 44 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 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... 阅读全帖 |
|
w***g
发帖数: 5958 | 45 go的concurrency是很牛的。如果说go还有什么可以称道的，我觉得concurrency是最大
的一个。确实如王垠所说，只要有足够的motivation很多语言都可以做。但是现实是大
部分语言都没有，而且在可以预见的将来也不会有。Node要和go比concurrency，我觉
得比较可笑。解释型语言不管怎么说性能上先低了一等了。
要说经验，rob pike在concurrency上的经验肯定比你们丰富得多，应该很有发言权。 |
|
d*******r
发帖数: 3299 | 46 你讨厌王同学，大可以不必理他，
但是你要批判他，至少得认真看看人家的观点吧，
我觉得你根本不知道他想干什么，你开始抓着各种细节狂喷了.
就我的理解，王同学是觉得从易用性和复杂度来看，C, shell, Unix, SQLDB 等等一大
堆上一代的东西，太难用了，都是各种 ad-hoc 的 solutions put together，最后就
是很难用，比如：
1. 很多 ad-hoc 的 solutions 是用一种残疾 DSL (e.g. SQL, shell, makefile 之类
).
还比如王同学觉得各种 DB 整来整去，还不如给内存 object 和 硬盘 object 一个统
一的抽象，access DB object 就做成access remote 内存 object 那样的过程得了 (
其实现在 key/value noSQL 就比较像这个). 像 shell 和 makefile 这样的工具也是
设计的很难用. shell 本来的目的是人类用来敲一行，看一行的东西的"快捷键"，结果
发展成各种 complex cfg bash shell scripts 比 C+... 阅读全帖 |
|
L*****e
发帖数: 8347 | 47 所谓的“下限”是什么的下限？不还是现实的下限么？不能突破现实下限的主义还能叫
理想主义吗？最多叫做“激进现实主义”或者“修正理想主义”。。。
凤姐也好，芙蓉姐姐也好，或者是有目的炒作，或者本来就是突破边界的自恋，他们起
码，至少开始时时从这种“突破边界”中得到现实利益的，当这种“突破边界”不再带
来现实利益的时候，她们就转型了。。。
如果王垠也是个人炒作（没看出他有团队集体操作的迹象），并因此而获得现实的利益
，那算我对过去的他看走了眼，如果他正在转型或者将来马上就要转型，那算我对现在
的他和将来的他看走了眼。。。
BTW，把堂吉诃德当作理想主义的代表并非我独创，狗一下“堂吉诃德 + 理想主义”就
知道了。。。 |
|
|
h*h
发帖数: 27852 | 49 【 以下文字转载自 Military 讨论区 】
发信人: hsh (nidaye), 信区: Military
标 题: 王垠：我和 Google 的故事（2015 修订版）
发信站: BBS 未名空间站 (Mon May 9 18:09:22 2016, 美东)
http://www.yinwang.org/blog-cn/2014/12/31/google-story
我和 Google 的故事（2015 修订版）
2009 和 2010 年，两年的夏天我都在 Google 实习，然而最后毕业的时候我却没有为
Google 工作。虽然我心里很清楚这里面的原因，可总有些人觉得不解，为什么居然有
人不想为 Google 工作？如果你是这些人其中之一，那你可能想知道我在 Google 时的
切身感受。
直到将近 2015 年新年的今天，我发现这篇文章仍然具有普遍的意义。面对 Google 的
员工，我仍然是同样的感觉。他们很多人太拿自己的公司当回事了，自高自大，放弃自
己的尊严来舔这个公司的屁股。这些人总觉得好像所有人都希望为 Google 工作，即使
进不了 Google，都想去... 阅读全帖 |
|
g****t
发帖数: 31659 | 50 王垠的目的就是找出别人一些工作的问题，然后能写个blog说自己是天才。
”本天才xxx。。。“这是他最喜欢的。
我最反感的就是他这种态度。莱布尼兹弄错了d（xy），就“本天才xxx”了？
自己没胆量和勇气完成phd，整个学术界都成了他最天才?
我对我儿子说：
人生如戏，全靠演技。不要当观众,嘲笑演员。
演员再差也是挣钱的。观众都是交钱的。当观众我认为那就是白活了。
王寅这算是观众里的战斗机。当年他还真带着不少国人对linux有兴趣了。
linus可以给他个签名，呵呵。 |
|
