王垠又发文章了: 对博士学位说永别 (2012-09-08 23:01:45)

[jiyinyiyong]

文章有点长, 主题的话看题目就知道了. 链接在下面, 就结尾复制了下
http://blog.sina.com.cn/s/blog_5d90e82f0101atzr.html

"""
当然接下来我需要思考的是，我应该做什么。
显然，我所学到的知识可以轻而易举的给我带来高薪的工作。
可是我也知道，我知道的这些东西，其实归根结底就是那么几个小把戏。
所以我更愿意探索更加广阔的世界，学会新的东西，找到真正值得合作的人，创造真正的价值。
另外，我也会逐渐把我知道的这些“把戏”以直观而容易理解的方式公诸于众，
让权威们的神秘面纱都见鬼去。
"""

[jjgod]

其实我真的很想知道他到底想做啥和能做啥...

[chenluois]

@jjgod + 1，我也想知道。目前只知道他在 Google 实习时做了个 Python 解析器
http://blog.sina.com.cn/s/blog_5d90e82f010191rh.html

[jjgod]

他还做过一个结构化的 diff 工具，但基本没人用。

[chenluois]

@jjgod 给个链接观摩一下

[virushuo]

@chenluois https://github.com/yinwang0/ydiff

他的中文blog主要是喷，英文的东西有点意思 http://yinwang0.wordpress.com

@jjgod 你不应该看不出来他能做啥吧。

这人可能是有点理想主义，但他一旦安分下来完成一个项目，那么这东西至少是LLVM这水平的。

[chenluois]

@virushuo 谢谢！我去看看

[jjgod]

@virushuo: 你要提 LLVM 王垠会觉得是在侮辱他，老实说我还真觉得他踏实不下来做出 LLVM 这么基础的项目，LLVM 在学术上其实不是很先进，难得的是开发出来了这么一套平台，带动了整个行业的开发水平。

我的理解是王垠有很多很好的想法，但仅此而已。

[virushuo]

@jjgod 单论学术的话，确实LLVM不算先进。但是最终完成一个产品并不容易，他这理想主义估计是难找到跟他一起做东西的人，能够上他水平的也不多。那么他自己最终能实现出来LLVM这样的东西，就算不容易了。当然，他可能并不想做一个具体产品，只是想研究东西。那么大部分人就不可能看到他做出来什么东西了。

所以你之前说的是”他到底想做啥和能做啥“，我觉得他能做啥并不难知道，但他想做啥确实不知道，甚至他自己恐怕也不知道。

[caomu]

水木上看到一个跟帖：
“看来只有胡正的道路，才是他的解决方案”
by i8O86

[resettarget]

不要看他摧毁了什么，看他建立了什么

[coderoar]

世界错了！

[dreamer]

@jjgod 同意你的看法。我觉得他在理论的道路上走得太远了，实践方面基本没有得到什么锻炼。在理论上走得太远的人往往会觉得自己“有能力”做一件事情就代表一定可以把它实现。

事实上，“有能力”做一件事情和真正完成一件事情完全不一样。想要完成一件事情，才能只是基础，能否保持兴趣和忍受琐碎肮脏的细节才是关键。理论总是比较完美的，现实则是肮脏的，在理论上走得太远的人往往没办法软着陆。

[zhouhua97]

@dreamer 他在google实习做的东西还是很实际的，你可以看看他那篇讲google的。

[hyh1048576]

@virushuo 求科普，啥是 LLVM 啊，看 wiki 没搞明白……

[dreamer]

@zhouhua97 看过那篇，但那个是 Google 安排给他的任务，并不是说他很想创造那个东西，然后完成它。

[daqing]

对于这样的人，不应该读CS，应该去研究理论物理。。

[lch21]

NB的人各有各的NB

[Ricepig]

一方面，他至今没有作出什么东西证明自己。另一方面，证明不了自己也并不说明他吐槽的槽点不对

[Ricepig]

“我总是发现一些复杂的类型系统的功能，要么就是完全不可能实用，要么就是可以用已有的更简单的方法实现。所以这些发现其实是“杀死”了好几个长达几十年的领域”，这些成果如果存在，完全可以出论文并发表，会颠覆一个学科或者分支。要不就是作者在吹牛逼。吹牛逼的可能性比较大，因为投一篇论文相对比较简单。

[Ricepig]

“在两个星期之内，完全凭自己的思考写出正确的 CPS 变换（10多年的研究成果），以及 ANF 变换（我导师的最重要成果）。多次在两个星期之内“灭掉”某些领域20多年的研究。”。他还可以说，他可以推导出勾股定理，正弦函数和余弦函数，这些是人类好几百年才研究出来的。。。