文丨编辑
他，是建国以后第一个从清华大学退学的博士生，而后却被微软在全球范围内封杀；
有人说，这是因为年少轻狂，也有人觉得，这么优秀的人哪怕有些性格上的缺陷也正常。
他，就是被称之为“计算机天才”王垠。
王垠这一生经历了太多次大起大落，事到如今，他有没有后悔呢？
王垠从小就展现出过人的天赋，尤其痴迷物理和化学实验，经常泡在学校实验室，甚至在家中要求父母购置器材进行自主研究。
这种对科学探索的热情，为他日后在计算机领域的钻研埋下伏笔。
高考时王垠因发挥失常，未达清华录取线，于是他带着”遗憾“进入四川大学计算机系。
进入川大后，王垠对教学质量深感失望，他认为课程内容陈旧、教师照本宣科，同学中缺乏能深入探讨技术问题的伙伴。
军训期间，他多次申请退学复读考清华，但父母坚决反对，没有办法的王垠只能妥协安心完成学业。
而从四川大学毕业后王垠于2001年获得保送清华大学硕博连读的资格。
进入清华后，王垠一度燃起希望，他仅用一年时间修完所有博士课程，他的研究成果甚至获得国际会议最佳论文奖，被导师视为“有望冲击图灵奖”的潜力股。
要知道图灵奖是计算机科学领域的最高荣誉，表彰在计算机科学技术领域做出持久且重大技术贡献的个人或团队，而此事也可以看出王垠的造诣很高！
但是随着时间推移，王垠对清华的教育制度逐渐不满，学校要求博士必须发表4篇论文，王垠认为这是“用论文拼装学术GDP”。
他还批评导师将学生视为“财源工具”，研究方向完全服务于基金申请，而非兴趣驱动。
而王垠在博士毕业前一年发表1.7万字的《清华梦的粉碎——写给清华大学的退学申请》，痛斥国内教育“重产出轻创造”，并宣布退学。
这篇文章在水木清华BBS引发轩然大波，成为当时教育改革讨论的焦点，他也因此成为清华建校以来第一个主动退学的博士生。
退学后，王垠赴美国康奈尔大学攻读计算机博士。
然而，他很快发现美国学术界同样存在问题，教授将研究成果视为商品，博士生沦为“为本科生打工的廉价劳动力”。
他在《Cornell感受》中讽刺道：“这里的学术自由是建立在商业利益之上的。”2008年，他再次退学，从此之后离开学术界。
而王垠的职业生涯同样充满戏剧性，2012年王垠以实习生身份加入谷歌，王垠负责Python部分的开发。
他仅用一周时间便完成原型设计，并通过改造Jython的解析器实现高效的静态分析。
他设计的AST数据结构被项目长期采用，至今仍每日索引谷歌所有Python代码，领导评价称，这是他“20年来见过最领先的实习项目”。
尽管技术成果显著，王垠对谷歌的企业文化产生强烈不满。
他在《我和谷歌的故事》中指出，公司过度关注“影响力”指标，导致真正的技术创新被繁琐流程淹没。
此外，他批评谷歌内部存在“官僚化”倾向，代码审查沦为形式，工程师的创造力被层级制度压制，最终，王垠在实习结束后选择离开。
离开谷歌后，王垠于2012年底加入微软总部，担任软件工程师，参与编译器优化和系统底层开发。
他曾提出重构Windows内核的大胆计划，主张用现代编程语言和架构替代传统C语言实现，这一设想因涉及庞大的技术债务和商业风险，被微软高层否决。
2013年，王垠因不满工作分配和公司文化，发表《一个人的罢工》公开批评微软的“僵化体制”。
离职时，他因拒绝归还未达服务期的2.5万美元签约奖金，与微软陷入法律纠纷。
微软在离职协议中加入罕见条款，禁止王垠终身加入微软及其子公司、合资企业，并要求其不得披露内部信息或发表负面言论。
王垠随后在博客中披露协议细节，称其为“霸王条款”，并预言其“微软迟早灭亡”，此举彻底激怒微软，最终导致其被全球封杀。
这场风波让他彻底与主流科技圈产生裂痕，却更坚定了他的信念。
2019年阿里巴巴面试中，他因不满面试官“质疑简历、贬损博客”，与其爆发激烈冲突，面试不欢而散。
接连与谷歌、微软、阿里等巨头产生摩擦后，王垠抛出了那句震动行业的断言：“没有一家公司值得我为他工作”。
这句看似狂妄的宣言，实则是他多年抗争的总结，从清华退学反抗学术僵化，到微软离职抵制商业浮夸，他始终在寻找能容纳纯粹技术理想的土壤，却屡屡碰壁。
到了2020年，王垠决定自己单干，转而把精力放到做教育上。
他开了个“知识星球”（类似线上学习社群），一年的费用要2400块，比市面上大多同类产品贵不少，可还是有上百个人愿意加入。
他在自己写的《我的事业计划》里说：“教育是中国现在最让人头疼的问题，但做教育恰恰是我最擅长的事。”
这个以前三次退学的“刺头”，想在体制外搭一个自己理想中的教育平台，他搞的“元学院”不搞考试，学生只要能写出开源代码，就算“毕业”。
有意思的是，他教出来的这些没经过传统培训的“野生”程序员，连Apache基金会（业内很有名的技术组织）都抢着要。
现在的王垠慢慢不怎么出现在公众视野里了，之前写的那些很冲、很尖锐的文章也都删了，偶尔会在自己的个人网站上发点想法。
大家对他的看法也不一样：有人觉得可惜，说他要是踏实找份工作，早就成行业里的大人物了；有人佩服他，说他敢说真话、敢干实事。
王垠曾经说过：“成功就一个标准，就是按自己的方式过一辈子。”
你看他，从当年写长文说要从清华退学，到被微软列进“黑名单”；从在谷歌当实习生时靠技术惊艳众人，到后来转行去做教育。
这二十年下来，他其实是想告诉大家：把理想看得比什么都重的人，可能注定要孤单，但他们能给死气沉沉的行业留一点清醒。
现在资本把算法捧得像“神仙”一样，学术圈把论文当成“圣经”来崇拜，而王垠这个“怪人”的存在，就像一面镜子，让我们看到自己早就丢掉的那股冲劲和坚持。
热门跟贴