a****a
发帖数: 5763 | 1 我做出了一个可能让很多人遗憾的决定。从今天开始，我曾经开源放在 GitHub 上的代
码，除了教育性质的代码，全部进入私有闭源状态。这些代码包括 PySonar2，
RubySonar 等等，它们已经从 GitHub 上消失。从今以后，除非用于教育目的，我将不
再开源任何代码。当然，你们已经下载的那些代码，仍然可以按照开源许可证免费使用
，然而最新的改进以及将来的新产品，将全部闭源。做出这个决定的大部分原因，是因
为多次对人心的失望。
PySonar2 一度处于开源状态，使用宽松的 BSD 和 Apache 版权。PySonar 的用户包括
了 Google，Sourcegraph，还有其它几个我不能透露名字的，做专业代码管理工具的公
司。很多人崇尚 BSD 这样的宽松版权，因为这样可以最大限度的传播代码。他们甚至
把这作为了一种信仰，对于 GPL 这类严格限制商业用途的版权嗤之以鼻。甚至遮住眼
睛对你说：“你的代码是 GPL 的，我不能看！看了之后写出一样的代码来，你会起诉
我！” 然而多年的经历之后，我才发现 BSD 并不是好的开源版权，它其实会让代码的
作者失去自由，而 GPL ... 阅读全帖 |
|
s*******h
发帖数: 3219 | 2 【 以下文字转载自 Programming 讨论区 】
发信人: walalala123 (耗子), 信区: Programming
标 题: 天才王垠
发信站: BBS 未名空间站 (Thu Aug 14 21:07:27 2014, 美东)
天才是什么
（王垠 yinwang.org 版权所有，未经许可，请勿转载）
有人说我是天才。我一直“谦虚”得很， 从来不承认。可是纵观像 John Nash，
Richard Feynman 这些公认的天才的各种特征和生活遭遇，我发现自己还真的是一个天
才。我知道这个事实已经很久了，这一方面让我开心，另一方面又让我痛苦。可是除非
洗脑技术高度发展，一旦成为了天才，就很难再还原成普通人了。所以目前我只是做一
天天才撞一天钟，也许哪天就像 Nash 那样疯掉也说不定 :)
在 IU 的时候我有一个好朋友，是一个很美的女生，新闻学院的。我很喜欢她，所以有
时候不小心泄漏点“牛气”，以为这样可以增加她对我的好感。于是有一天吃冰激凌的
时候我扭扭捏捏的说：“其实……其实你知道吗……我是一个天才……”她神秘地笑了
，说：“我相信你啊。因为我也是一个天才。... 阅读全帖 |
|
w*********3
发帖数: 188 | 3 来自主题: Programming版 - 天才王垠 天才是什么
（王垠 yinwang.org 版权所有，未经许可，请勿转载）
有人说我是天才。我一直“谦虚”得很， 从来不承认。可是纵观像 John Nash，
Richard Feynman 这些公认的天才的各种特征和生活遭遇，我发现自己还真的是一个天
才。我知道这个事实已经很久了，这一方面让我开心，另一方面又让我痛苦。可是除非
洗脑技术高度发展，一旦成为了天才，就很难再还原成普通人了。所以目前我只是做一
天天才撞一天钟，也许哪天就像 Nash 那样疯掉也说不定 :)
在 IU 的时候我有一个好朋友，是一个很美的女生，新闻学院的。我很喜欢她，所以有
时候不小心泄漏点“牛气”，以为这样可以增加她对我的好感。于是有一天吃冰激凌的
时候我扭扭捏捏的说：“其实……其实你知道吗……我是一个天才……”她神秘地笑了
，说：“我相信你啊。因为我也是一个天才。每个人都是天才，只是他们天才的地方不
一样而已。比如我，我对文字就很有天才，你就没有这种天才！”然后我忽然发现，原
来做个天才并不是什么了不起的事情，那我以前在谦虚些什么呢？也许扭扭捏捏不承认
，却打心眼里想让人认为自己是天才，其实才是真正的傲慢吧... 阅读全帖 |
|
c****x
发帖数: 6601 | 4 http://www.yinwang.org/blog-cn/2017/05/17/practical-idealism
曾经有人看了我的文章，以为我是一个“理想主义者”，来找我聊天。他说：“你知道
吗，我跟你一样喜欢干净优雅的代码。上次我在某公司工作，看到他们的代码乱得不成
样子，二话没说就给他们推翻重写了，结果有几个小地方跟原来的代码不大一样，后来
系统因此当掉了。老板对我说，明天你不用再来上班了！你说我是不是好心没好报啊？”
虽然我同情他丢了工作，然而我并不认同这种不经同意就把别人的代码推翻重写的作法
。我对他说：“哈哈，你不可以这样改别人的代码的！如果我是你老板，虽然可能不会
开掉你，却也会给你一个严重警告的。”
从我们的对话你也许已经发现了，我并不是一个通常人所谓的“理想主义者”。虽然我
有很多新颖而美好的想法，然而它们每一个都深深地植根在现实中。我反对一切不以现
实为基础的“理想”，我往往在很早的时候就发现和避免那些最终会失败的“理想主义
作法”。
如何对待别人的代码
那么我是如何对待别人的“垃圾代码”的呢？你也许会很惊讶我的做法：我尽量不动它
们！
虽然我喜欢干净优雅的代... 阅读全帖 |
|
h*h
发帖数: 27852 | 5 http://www.jianshu.com/p/be4b4dee5a57
为Java说句公道话
有些人问我，在现有的语言里面，有什么好的推荐？我说：“Java。” 他们很惊讶：
“什么？Java！” 所以我现在来解释一下。
Java超越了所有咒骂它的“动态语言”
也许是因为年轻人的逆反心理，人们都不把自己的入门语言当回事。很早的时候，计算
机系的学生用Scheme或者Pascal入门，现在大部分学校用Java。这也许就是为什么很多
人恨Java，瞧不起用Java的人。提到Java，感觉就像是爷爷那辈人用的东西。大家都会
用Java，怎么能显得我优秀出众呢？于是他们说：“Java老气，庞大，复杂，臃肿。我
更愿意探索新的语言……”
某些Python程序员，在论坛里跟初学者讲解Python有什么好，其中一个原因竟然是：“
因为Python不是Java！” 他们喜欢这样宣传：“看Python多简单清晰啊，都不需要写
类型……” 对于Java的无缘无故的恨，盲目的否认，导致了他们看不到它很重要的优
点，以至于迷失自己的方向。虽然气势上占上风，然而其实Python作为一个编程语言，
是完全无法... 阅读全帖 |
|
c****x
发帖数: 6601 | 6 我太喜欢这个小伙子了！ LOL
http://www.yinwang.org/blog-cn/2020/01/16/plan
我的事业计划
在上一篇文章提到“创业”之后，很多人联系我，说想加入我的创业计划，有些人还提
出了自己的创业想法和方向。我很感谢大家的支持，不过我可能要让很多人失望了，因
为我的事业跟现在铺天盖地的所谓“创业”是很不一样的。
我应该把我的目标叫做“事业”，而不是“创业”。
关于人
事业的合作者就像结婚，是一件非常严肃的事情。我到现在 40 岁了都没有结婚，由此
可见我对合作者的标准是极高而不妥协的。我不看一个人是否名校名企出身，但我对人
本身的品质有着非常敏感的直觉。不仅是在技术方面，而且在于人品，人格，成熟程度
和个人风格。我不能接受自以为是，不能互相尊重，无法自我改进的合作者。
我跟很多世界级名校的毕业生合作过：牛津，哈佛，普林斯顿，斯坦福，MIT，清华，
北大，中科院…… 然而我发现他们很多人并没有因为从这些学校毕业就发
生质的飞跃。许多这种学校出来的人不仅在知识上一知半解，挂个牌子，而且染上了一
身让人讨厌的习性。很多人一副天之骄子的德行，各种拉关系，却没... 阅读全帖 |
|
m****a
发帖数: 2593 | 7 看了这篇，我觉得王垠是个很有自知之明，观察力非常敏锐的人
http://www.yinwang.org/blog-cn/2014/02/09/programmer-mental/
程序员的心理疾病
说实话，虽然似乎为之奋斗了十多年，在真正进入软件行业的短短一年之后，我已经对
它感到相当的厌倦了。这并不是说这个行业没有前景，而是在这个行业工作，其实很难
得到心理上的快乐。
人们说女怕嫁错郎，男怕入错行。我并不认为自己入错了行，我仍然很喜欢设计自己的
程序和语言，而且我显然是这个领域的王牌之一。然而我却看到了这个行业里的无限混
沌，让我觉得喘不过气来。几十年的垃圾设计堆积在那里，却没有人试图把它们清理掉
，权威主义盛行。无论你在哪个公司，哪个地方，只要跟程序员说话，十有八九会谈不
来。非常扫兴不说，甚至感觉很伤自尊。
久而久之我发现了，由于程序员工作的性质，他们长期以来受到的“黑客”式的“熏陶
”，形成了一种行业性的心理疾病。这里我就简单的把我所观察到的一些症状总结一下。
无自知之明
由于程序员的工作最近几年比较容易找，工资还不错，所以很多程序员往往只看到自己
的肚脐眼，看不到自己在整个社... 阅读全帖 |
|
c*******0
发帖数: 5247 | 8
首先，你都不了解我，你怎么知道他比我更加justified？你怎么知道我没做过比他这
个项目更牛逼的项目？
其次，按照你的逻辑，他有了pysonar那他比我更justified，是不是按照同样的逻辑，
他连喷Guido，Rob Pike甚至他以前的老师之类的的资格都没有了？Guido做出了Python
，Rob作出了UTF-8，Go，写了一本Unix编程圣经，他以前的老师发了很多牛逼的paper
。他的资格在哪里？
我来具体说一下你的强盗逻辑问题在哪里。我们说wangyin的问题，是他成天喷，但喷
的大部分都没有干货。他喷的有干货（有一篇讲Go的）至少我是认可的。但大部分是没
有干货的直接claim，比如他说Guido水平不行，不如他强，他有任何的justification
么？在这种情况下，群众才会说，你要真觉得你比Guido强，至少搞一个和Python一样
有影响力的东西出来吧？
这里没人说自己比王垠强，所以凭什么要求这里的人也有pysonar这样的项目？我们喷
的不是他水平烂，是他喷的没有道理。明白了么？ |
|
h*h
发帖数: 27852 | 9 【 以下文字转载自 Military 讨论区 】
发信人: hsh (nidaye), 信区: Military
标 题: 王垠：为Java说句公道话
发信站: BBS 未名空间站 (Mon May 9 18:28:59 2016, 美东)
http://www.jianshu.com/p/be4b4dee5a57
为Java说句公道话
有些人问我，在现有的语言里面，有什么好的推荐？我说：“Java。” 他们很惊讶：
“什么？Java！” 所以我现在来解释一下。
Java超越了所有咒骂它的“动态语言”
也许是因为年轻人的逆反心理，人们都不把自己的入门语言当回事。很早的时候，计算
机系的学生用Scheme或者Pascal入门，现在大部分学校用Java。这也许就是为什么很多
人恨Java，瞧不起用Java的人。提到Java，感觉就像是爷爷那辈人用的东西。大家都会
用Java，怎么能显得我优秀出众呢？于是他们说：“Java老气，庞大，复杂，臃肿。我
更愿意探索新的语言……”
某些Python程序员，在论坛里跟初学者讲解Python有什么好，其中一个原因竟然是：“
因为Python不是Ja... 阅读全帖 |
|
|
g****t
发帖数: 31659 | 11 我的浅见：
我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
始吹，肯定不是做研究的态度。
但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的，的确有一定道理。
但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
作，要么是整人。等等不一而足，但是投资做项目的
背后的逻辑一般来说都是很清楚的。他看不懂背后逻辑，那没法领导项目。
另外我觉得老王肯定还只会悲剧下去。他太没勇气了。不敢坚持。那么早就看好python
，光是这一点就高过很多人。假如他能坚持python tool chain开发10年，现在还能在
美国混不下去吗？自己制造的作品，不管是悲剧还是喜剧，都... 阅读全帖 |
|
M****o
发帖数: 4860 | 12 【 以下文字转载自 JobHunting 讨论区 】
发信人: MVPYao (退役了 | Hall of Famer), 信区: JobHunting
标 题: 王垠：未来计划
发信站: BBS 未名空间站 (Wed May 18 12:23:39 2016, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常有才华的人，只是没有
被放到合适的位置。他们说的是实话。虽然我通过努力，得到了精华的知识和独立深入
的思维能力，然而由于一些早期的错误抉择，再加上遇到一些错误的人，我的生活一度
陷入困境。直到现在缓过气来，我才可以开始考虑一个更好的未来。
曲折的过去
我的第一个错误，来自于一个不切实际的浪漫幻想。我把爱情看得太简单，太容易，太
伟大。我错误地改变了我爱的女孩的生活轨迹。这一个错误，我用了十年的时间来偿还
，同时又导致了另外一系列的错误，以至于我颠沛流离。
我的第二个错误，是进入 Google 做实习。本来就不喜欢那里，为了养家糊口挣点小钱
，下一年却还去同一个地方，结果弄得自己很不舒服，而且失去了其它更好的机会。
我的第三个错误，在于离开 Ind... 阅读全帖 |
|
m******t
发帖数: 1171 | 13 码农们过来，老王给你们号脉了。
http://news.mydrivers.com/1/292/292325.htm
说实话，虽然似乎为之奋斗了十多年，在真正进入软件行业的短短一年之后，我已经对
它感到相当的厌倦了。这并不是说这个行业没有前景，而是在这个行业工作，其实很难
得到心理上的快乐。
人们说女怕嫁错郎，男怕入错行。我并不认为自己入错了行，我仍然很喜欢设计程序和
语言，而且我显然是这个领域的王牌之一。然而我却看到了这个行业里的无限混沌，让
我觉得喘不过气来。几十年的垃圾设计堆积在那里，却没有人试图把它们清理掉，权威
主义盛行。无论你在哪个公司，哪个地方，只要跟程序员说话，十有八九会谈不来。非
常扫兴不说，甚至感觉很伤自尊。
久而久之我发现了，由于程序员工作的性质，他们受到的“熏陶”，形成了一种行业性
的心理疾病。这里我就简单的把我所观察到的一些症状总结一下。
无自知之明
由于程序员的工作最近几年比较容易找，工资还不错，所以很多程序员往往只看到自己
的肚脐眼，看不到自己在整个社会里的位置其实并不是那么的关键和重要。很多程序员
除了自己会的那点东西，几乎对其它领域和事情完全不感兴趣，... 阅读全帖 |
|
w*******e
发帖数: 15912 | 14 来源： 王垠blog
那些垠黑们
我知道有许多人喜欢看我的博客，因为我擦亮了他们的眼睛，给了他们智慧和力量。我
也知道有很多人喜欢“黑”我，我曾经在意过这些“垠黑”，甚至亲自跟他们吵。然而
逐渐的，我发现了这些垠黑们的一些特征。有些是闲的无聊，有的是心理不正常，有些
则是因为我批判的东西，正好伤到了他耐以生存的幌子。所以这些人开始在网上黑我，
甚至自己立个靶子，杜撰我从来没有说过的话，然后进行反驳，以此攻击我本人。
有朋友跟我说，在网上看到这些黑我的人，都帮我骂回去。其实逐一的反击这些垠黑，
完全是浪费时间。不但不起作用，反倒坏了自己的心情。对这些人，最好的办法是忽略
他们。不去看他们说什么，不去访问他们聚集的网站（比如知乎）。虽然我根本不在乎
这种人，然而由于他们在网络上的行为可能引起我的朋友们不必要的烦扰，我觉得还是
有必要统一对他们进行披露和鄙视。
现实中的垠黑
如果你只看网上的信息，还真能把你急坏了，因为似乎很多人都在黑我，你会以为王垠
名声这么差，这下子完蛋了。然而“网民”跟现实的世界，其实是有很大的差别的。现
实世界里，我的身边充满了敬佩和支持我的人。之前的公司 20 多个... 阅读全帖 |
|
M****o
发帖数: 4860 | 15 【 以下文字转载自 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, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常有才华的人，只是没有
被放到合适的位置。他们说的是实话。虽然我通过努力，得到了精华的知识和独立深入
的思维能力，然而由于一些早期的错误抉择，再加上遇到一些错误的人，我的生活一度
陷入困境。直到现在缓过气来，我才可以开始考虑一个更好的未来。
曲折的过去
我的第一个错误，来自于一个不切实际的浪漫幻想。我把爱情看得太简单，太容易，太
伟大。我错误地改变了我爱的女孩的生活轨迹。这一个错误，我用了十年的时间来偿还
，同时又导致了另外一系列的错误，以至于我颠... 阅读全帖 |
|
A*****i
发帖数: 3587 | 16 第一，我可没删帖，帖子本来就在哪，我老从来不做说错话就删帖的傻逼事情。
第二，市面上他的东西确实不出名，有几个用的？你别告诉老夫那个pysonar算，行，
就算那东西算，这句话他自己博客里写的 “我是世界上最优秀的计算机科学家和程序
语言专家之一”，opensource的东西github上一抓一大把，我用的也很多，从来没见过
有任何热门repo的作者这么吹嘘自己的，动不动就觉得自己是研究未来的，呵呵，人人
都会研究未来，你日你老婆的时候就在研发人类不是么？
第三，我说SQL那个纯是不知道所以才来问，因为在他文章中也看到了这个说法所以才
问，你不回答就算了还挖苦人，呵呵
第四，被某某某推荐见过最聪明之一，别搞笑了，都是成年人，有点儿脑子行不？那个
职位的engineer在G家不说有几千，100多人也有了，本来就是普通人物而已，乖乖，我
以为是ken thompson推荐的呢，吓死我了好吧。
最重要的一点，你们都挺逗的，人家王垠写这么多文章的中心思想都没悟到，你们跟人
争辩缺乏思辨能力，只会从一个角度看问题。都来美国了，学学美国人的思维好么？ |
|
x*******5
发帖数: 152 | 17 我觉得的是王同学没有做出众人认可的开拓性贡献，在他眼里这种开拓性贡献都是他不
屑做的，他这种天才分分钟久可以搞定这些事情。
当他说出下面的话的时候：
“很可笑的是，我前段时间面试的所有使用 Python 的公司，最后都认定了我是
Python 的菜鸟。然而我的水平显然高过 Python 的创造者 Guido van Rossum 很多。
在制造了 PySonar 之后，他对程序语言的理解，他的每一个可笑的错误都被我看得清
清楚楚。” 《程序员的心理疾病》
我觉得他已经疯了。 |
|
M****o
发帖数: 4860 | 18 生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常有才华的人，只是没有
被放到合适的位置。他们说的是实话。虽然我通过努力，得到了精华的知识和独立深入
的思维能力，然而由于一些早期的错误抉择，再加上遇到一些错误的人，我的生活一度
陷入困境。直到现在缓过气来，我才可以开始考虑一个更好的未来。
曲折的过去
我的第一个错误，来自于一个不切实际的浪漫幻想。我把爱情看得太简单，太容易，太
伟大。我错误地改变了我爱的女孩的生活轨迹。这一个错误，我用了十年的时间来偿还
，同时又导致了另外一系列的错误，以至于我颠沛流离。
我的第二个错误，是进入 Google 做实习。本来就不喜欢那里，为了养家糊口挣点小钱
，下一年却还去同一个地方，结果弄得自己很不舒服，而且失去了其它更好的机会。
我的第三个错误，在于离开 Indiana 大学之后，进入 Coverity 工作。虽然
Glassdoor 上面恶评如潮，说那里“氛围有毒”，我却因为 Coverity 似乎有很强的技
术实力，拥有像 NASA，Boeing，Lockheed Martin 一类的高大上客户，而对这个公司
产生了尊敬。结果... 阅读全帖 |
|
r*****z
发帖数: 906 | 19 我觉得他在PL方向还是很有专长的。虽然没有什么论文，但是的确可以做出实用的东西
来，比如他做的pysonar。他应该适合在一家大公司做方面的专家。貌似微软没有用好
他啊。
当然了，很可能他自己并不满足于只做这样一个专家（其实还是个螺丝钉）。 |
|
f********a
发帖数: 1109 | 20 【 以下文字转载自 Programming 讨论区 】
发信人: ozin (ozin), 信区: Programming
标 题: 王银看kotlin（本文建议零售价 ￥15）
发信站: BBS 未名空间站 (Thu May 25 18:06:39 2017, 美东)
Kotlin 和 Checked Exception
最近 JetBrains 的 Kotlin 语言忽然成了热门话题。国内小编们传言说，Kotlin 取代
了 Java，成为了 Android 的“钦定语言”，很多人听了之后热血沸腾。初学者们也开
始注意到 Kotlin，问出各种“傻问题”，很“功利”的问题，比如“现在学 Kotlin
是不是太早了一点？” 结果引起一些 Kotlin 老鸟们的鄙视。当然也有人来信，请求
我评价 Kotlin。
对于这种评价语言的请求，我一般都不予理睬的。作为一个专业的语言研究者，我的职
责不应该是去评价别人设计的语言。然而浏览了 Kotlin 的文档之后，我发现 Kotlin
的设计者误解了一个重要的问题——关于是否需要 checked exception。对于这个话题
我已经思考... 阅读全帖 |
|
e*******o
发帖数: 4654 | 21 也是一个奇人
应该没有王寅牛吧，没看到过牛逼的project，王寅还有个pysonar |
|
f********t
发帖数: 6999 | 22 【 以下文字转载自 Programming 讨论区 】
发信人: Dramaer (思无邪), 信区: Programming
标 题: [转载]王垠:版权声明
发信站: BBS 未名空间站 (Sat Dec 13 20:42:21 2014, 美东)
http://yinwang0.lofter.com/post/183ec2_ecff67
2014.03.07
版权声明
有人来信告诉我，有些人把我最近的一些文章贴到了 CSDN，引起很多人评论，其中 90
% 的人都是骂我的，所以建议我以后还是多发点可以提高大家“水平”的东西，不要发
“纯吐槽”的文章。我收到这样的邮件已经不是第一次了，我并不欣赏这类邮件。
首先必须指出的是，我讨厌“吐槽”，“黑”，“喷”，“给力”这类词汇。我认为这
是对汉语的污染和中国文化没落的表现。以至于任何使用这些词汇的人会立即招致我的
反感，被作为没文化的人对待。另外我批评那些现象其实是为了给许多正在经受同样经
历的人一些鼓励。就算我经历过它们，也过去很久了，现在跟我一点关系都没有。要是
没有一点为民除害的侠义心肠，我干嘛要说那些。另外我很久不上 CSDN... 阅读全帖 |
|
M****o
发帖数: 4860 | 23 【 以下文字转载自 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, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常有才华的人，只是没有
被放到合适的位置。他们说的是实话。虽然我通过努力，得到了精华的知识和独立深入
的思维能力，然而由于一些早期的错误抉择，再加上遇到一些错误的人，我的生活一度
陷入困境。直到现在缓过气来，我才可以开始考虑一个更好的未来... 阅读全帖 |
|
M****o
发帖数: 4860 | 24 【 以下文字转载自 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, 美东)
生活就像一出戏，一环扣着一环。很多人对我说，我是一个非常... 阅读全帖 |
|
|
p*u
发帖数: 2454 | 26
omg he jumped ship again:
"
我是世界上最优秀的计算机科学家和程序语言专家之一。我不应该把自己的才华浪费在
折腾这些无能的数据库上面。我的目标之一应该是设计出全新的数据库系统，完全的改
善人们使用数据的方式，而不是绞尽脑汁让一些无可救药的系统能够凑合工作。实际上
我已经知道该怎么做，可惜的是 Voxer 并不是一个制造数据库的公司，没人愿意冒这
个险让我自己设计一个数据库给他们用。
就在这个昏昏欲睡的时候，Quinn 和 Beyang 找到了我，告诉我他们采用了我在
Google 写的第一版 PySonar 代码，并且成立了一家叫做 Sourcegraph 的公司。他们
想成为世界上最大最精确的代码“语义搜索”引擎，想请我加入他们。程序的语义检索
网站，这是我在 Google 的小组试图要做的，然而现在却被这两个毛头小子先做了出来
，还拉到了投资。我不得不佩服 Stanford 同学们的创业精神。随后，我们进行了好几
轮的“面试”。从来面试都是别人考我，这次却是我对 Quinn 和 Beyang 提出各种刁
钻问题。从技术到市场和投资，一一问了个清楚，甚至他... 阅读全帖 |
|
z****e
发帖数: 54598 | 27 因为jython用了它的pysonar，它有东西可以吹了
其实jython这一块社区很不活跃，一度因为没有太多人参与而延迟进度
所以这是一块比较容易捡便宜的地方 |
|
L***n
发帖数: 6727 | 28 how about pysonar? I'm really impressed.
years
his |
|
m******t
发帖数: 635 | 29 这个同意，王垠还没有确立他在数据库设计方面的权威，期待他多发布类似pysonar那
样的作品，否则难免给人眼高手低的感觉。 |
|
a*****e
发帖数: 1700 | 30 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 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... 阅读全帖 |
|
|
m******t
发帖数: 635 | 32 公道点说他做的那个pysonar还是可以吹一吹的，可以算个小牛级别了 |
|
m*******l
发帖数: 12782 | 33 这个版上除了一个ID, 我没有发现第二个人有东西可以和pysonar比美的
当然可能大家都比较谦虚 |
|
d*******r
发帖数: 3299 | 34 他现在那个半成品PySonar就是跑在他公司 SourceGraph 上吧。
要是他做成个稳定的 PyCharm/Eclipse/vim/emacs/sublime Plugin, 大家就好评判了。
不然也没人去折腾这个半成品吧。
我倒是好奇，那东西能实用不。跑之前能帮 Python 代码排排错也是很有用的呀。 |
|
a*w
发帖数: 4495 | 35 秒杀造册、北京二、上海老将...
程序员的心理疾病
说实话，虽然似乎为之奋斗了十多年，在真正进入软件行业的短短一年之后，我已经对
它感到相当的厌倦了。这并不是说这个行业没有前景，而是在这个行业工作，其实很难
得到心理上的快乐。
人们说女怕嫁错郎，男怕入错行。我并不认为自己入错了行，我仍然很喜欢设计程序和
语言，而且我显然是这个领域的王牌之一。然而我却看到了这个行业里的无限混沌，让
我觉得喘不过气来。几十年的垃圾设计堆积在那里，却没有人试图把它们清理掉，权威
主义盛行。无论你在哪个公司，哪个地方，只要跟程序员说话，十有八九会谈不来。非
常扫兴不说，甚至感觉很伤自尊。
久而久之我发现了，由于程序员工作的性质，他们受到的“熏陶”，形成了一种行业性
的心理疾病。这里我就简单的把我所观察到的一些症状总结一下。
无自知之明
由于程序员的工作最近几年比较容易找，工资还不错，所以很多程序员往往只看到自己
的肚脐眼，看不到自己在整个社会里的位置其实并不是那么的关键和重要。很多程序员
除了自己会的那点东西，几乎对其它领域和事情完全不感兴趣，看不起其他人。这就是
为什么我的前同事 TJ 作为一个资深的天体物... 阅读全帖 |
|
L******3
发帖数: 18 | 36 "然而我的水平显然高过 Python 的创造者 Guido van Rossum 很多。在制造了
PySonar 之后，他对程序语言的理解，他的每一个错误都被我看得清清楚楚。"。。。
。这说明不了你比Guido强吧。
Anyway，静候你的语言，强不是说出来的。 |
|
z****e
发帖数: 54598 | 37 给你们解读一下王在写什么吧，看看在说谁，哈哈
程序员的心理疾病
说实话，虽然似乎为之奋斗了十多年，在真正进入软件行业的短短一年之后，我已经对
它感到相当的厌倦了。这并不是说这个行业没有前景，而是在这个行业工作，其实很难
得到心理上的快乐。
...
由于程序员的工作最近几年比较容易找，工资还不错，所以很多程序员往往只看到自己
的肚脐眼，看不到自己在整个社会里的位置其实并不是那么的关键和重要。很多程序员
除了自己会的那点东西，几乎对其它领域和事情完全不感兴趣，看不起其他人。这就是
为什么我的前同事 TJ 作为一个资深的天体物理学家，在一个软件公司里面那么卑微。
貌似会写点 node.js，iOS 软件的人都可以对他趾高气昂的样子，而其实这些东西的价
值哪里可能跟 TJ 知道的物理知识相提并论。让人感觉是在阴沟里翻了船被老鼠欺负。
------------在骂node.js，二爷此处不爽
如果力学工程师犯了错误，飞机会坠毁；如果结构工程师犯了错误，大桥会垮塌；可是
如果软件工程师犯了错误，大不了网站挂掉一小时，重启一下貌似又好了。所以所谓“
软件工程师”，由于门槛太低，他们的工作严谨程度，其... 阅读全帖 |
|
c******3
发帖数: 296 | 38 》为了达到这个愚蠢的目的，很多人开始兜售各种像减肥药一样的东西。面向对象方法，
软件“重用”，设计模式，关系式数据库，NoSQL，大数据…… 没完没了。
精彩，犀利，就是有点言而无据
》这样的东西需要水平高过 Python 的创造者 Guido van Rossum 很多的人才能造出来。
在制造了 PySonar 之后，他对程序语言的理解，他的每一个错误都被我看得清清楚楚
。当然，Ruby 就更烂了，我可以说，Matz 这人其实根本不知道他在干什么。
期待详细说明 |
|
p*u
发帖数: 2454 | 39
his Pysonar project is pretty hot on github, lots of stars given by its
users. |
|
d*******r
发帖数: 3299 | 40 http://www.yinwang.org/blog-cn/2014/04/18/golang/
一家之言，贴个链接，就不转载了
他们 Sourcegraph 貌似后端在用 Go
看他一直在拿 Go 跟 C/C++, Java 比较
内存管理
... ...
Go 的垃圾回收器是一个非常原始的 mark-and-sweep，这比起像 Java，OCaml 和 Chez
Scheme 之类的语言实现，其实还处于起步阶段。
当然如果真的遇到 GC 性能问题，通过大量的 tuning，你可以部分的改善内存回收的
效率。我也看到有人写过一些文章介绍他们如何做这些事情，然而这种文章的存在说明
了 Go 的垃圾回收还非常不成熟。GC 这种事情我觉得大部分时候不应该是让程序员来
操心的，否则就是去了 GC 比起手动管理的很多优势。所以 Go 代码想要在实时性比较
高的场合，还是有很长的路要走的。
由于缺乏先进的 GC，却又带有高级的抽象，所以 Go 其实没法取代 C 和 C++ 来构造
底层系统。Go 语言的定位对我来说越来越模糊。
结论
... ...
Go 由于没有明显的优势，却又有各种其它语... 阅读全帖 |
|
p*u
发帖数: 2454 | 41
check out his pysonar project on github. |
|
|
A*****i
发帖数: 3587 | 43 都黑了一年多了绿卡肯定危险，Eb什么都不行，除非找老美结婚
另外，他那水平要是Eb1的话，那他妈Eb1也太容易了。他现在连个正式工作都没有，
eb1b首先不行，eb1a就更不可能了，没有phd，正规论文都没发几篇，就凭那几篇博客
文和那个什么pysonar？
你是高级黑吧 |
|
|
g*****g
发帖数: 34805 | 45 还是那句话，说啥都没用，要看做啥。尼采是其时代最有名的哲学家，对现代哲学影响
很大。王垠反复吹那个没人用的 pysonar, 这就比肩纳什了，LOL. |
|
D*****r
发帖数: 6791 | 46 http://yinwang0.lofter.com/post/183ec2_ecff67
2014.03.07
版权声明
有人来信告诉我，有些人把我最近的一些文章贴到了 CSDN，引起很多人评论，其中 90
% 的人都是骂我的，所以建议我以后还是多发点可以提高大家“水平”的东西，不要发
“纯吐槽”的文章。我收到这样的邮件已经不是第一次了，我并不欣赏这类邮件。
首先必须指出的是，我讨厌“吐槽”，“黑”，“喷”，“给力”这类词汇。我认为这
是对汉语的污染和中国文化没落的表现。以至于任何使用这些词汇的人会立即招致我的
反感，被作为没文化的人对待。另外我批评那些现象其实是为了给许多正在经受同样经
历的人一些鼓励。就算我经历过它们，也过去很久了，现在跟我一点关系都没有。要是
没有一点为民除害的侠义心肠，我干嘛要说那些。另外我很久不上 CSDN，各种 BBS 以
及其它论坛了，也绝不会把文章贴到那些地方，所以这笔账你们应该跟转帖文章的好事
者去算。博客不是用来为别人服务的，博客 = blog = web log，就是用来记录自己想
法的，是给有同样价值观的人看的。在自己的博客想写什么完全是我的自... 阅读全帖 |
|
L***n
发帖数: 6727 | 47 我挺喜欢他的编程的，丫编程品味追求简洁优雅，我喜欢这个调调．pysonar很不错...
许多人不喜欢他是因为他Ego太大了吧，其实不是啥大问题．．． |
|
H****S
发帖数: 1359 | 48 wangyin确实为人处事上可能差点，这sourcegraph也太欺负人了吧。基本就是全套用
pysonar和rubysonar这些技术在圈VC的钱，最后转身把技术的原创作者就干掉了，就因
为没把您的校友小公举伺候好？弯曲不是尊重人才吗，这都是些什么东西？ |
|
|
n******7
发帖数: 12463 | 50 说的似乎很nb，但是鉴于他吹nb的历史，不知道多大水
另外他一直吹的pysonar好像github还是挺流行的，这是他唯一拿得出来的东西吧
-----
这种思维方式最近的成功实例，是给 Shape Security 做的一个先进的 JavaScript 混
淆器（obfuscator）和对集群（cluster）管理系统的改进。不要小看了这个 JS 混淆
器，它的强度跟 uglify 之类的开源工具比，是天上地下的。它不但包含了 uglify 的
变量换名等基本功能，而且含有专门针对人类和编译器的复杂化，使得没有人能看出一
点线索这个程序到底要干什么，让最先进的 JS 编译器也无法把它简化，从而让人有可
以理解它的机会。
其实这个混淆器也是一种编译器，只不过它把 JavaScript 翻译成更加难读的形式。在
这个项目中，由于失之毫厘就可以差之千里，我采用了从 Chez Scheme 编译器学过来
的，非常严密的测试方法。对每一个编译器的步骤（pass），我都给它设计一些正好可
以测到这个步骤的输入代码（比如，具有函数定义的，for循环，try-catch的，等等）
。Pass 输出的代... 阅读全帖 |
|
