王垠：你好，世界。

投递人 itwriter 发布于 2013-03-03 18:11 评论(4) 有1256人阅读  原文链接  [收
藏]  « »

　　周末闲的无事，打算先写一点关于自己的更新，然后再在下一篇博文里，针对一些
来信的共同问题，做一些简单的回复。

　　按照原来的想法，我已经离开了 Indiana 大学，不再继续读博士学位。我虽然在
Indiana 大学学到了很多，但是却并不是每个人都能从那里学到好东西，同一个老师的
学生质量也参差不齐。实话说吧，我能学会那些东西的很大部分原因，其实在于我自己
。俗话说，机遇只青睐有准备的头脑，也就是这个原因。所以不要以为我之前的赞美而
去这个学校，否则你很有可能会失望。

　　实话实说，我的老师们（比如 Dan Friedman，Kent Dybvig）真算是世界的头几号
专家了。Stanford，Berkeley，MIT，CMU，…… 都很少有人能够与他们相比。也许他
们只是客观上导致了我学到好东西，他们并不在乎我。很多时候我感觉他们在对我“留
一手”，他们的傲气有时也让我很难接受，但是我还是把自己的学识归功于他们。因为
如果没有他们，我也许就学不到现在知道的东西。可是他们的身边，却总是围绕着一群
趾高气昂，自认为是“天才”的学生。程序语言的领域里面，充满了其它一些更加自大
的人，盲目崇拜的人，借古人的名声来抬高自己威望的人，他们喜欢过度复杂却不中用
的公式…… 这一切都让我窒息。所以我很高兴自己离开了那个领域，却悄悄带走了他
们的精华。

　　我在旧金山找到了一份还算不错的工作。公司名叫 Coverity，是一个不怎么知名
的 startup，产品是一种程序分析软件。简言之，这种程序能自动找到别的程序里面的
错误。这跟我当年在 Google 做的东西概念类似。公司的客户貌似都是一些对代码安全
性要求很高的公司（比如丰田，洛克希德.马丁，美国宇航局），所以一般人都不怎么
听说它的名字。我不想在这里对公司的产品做任何评价，不过你也许可以在 youtube
上找到一些关于它的广告。

　　总的来说工作环境还算满意。没有什么特别值得称道的东西，也没有什么特别不顺
心的。也许这才叫做正常的“公司”吧。公司给了你工资，让你帮忙做产品，你就付出
相应的智力或者劳力，剩下的时间就做自己喜欢的事情，过自己的周末。如果一个公司
恁是要伪装成学校或者教会，总认为自己伟大，了不起，推广自己的“公司文化”，认
为你应该仰慕它，向它“学习”，那就不好了。我们是高级知识分子，是 hired gun，
又不是国内某些快餐店的打工仔，早上还要穿着制服一起做早操，士气高昂的合唱“公
司歌”。给任何公司工作都不要赞美它，不要仰慕它，不要把自己等同于它，才能保持
自己的独立和尊严。在这种意义上，我觉得 Coverity 是比较适合我的地方。

　　我住在旧金山市区一个很小的公寓里。每天早上去上班，都走过这么美丽的地方：

　　我才发现，自己错过了多少生命的美好。。。别了，学术界。你好，世界。