王垠

183cm，190cm。王垠皓是辽宁男篮青年队队员，身高183厘米，年龄21岁，具有较高的知名度及影响力，其臂展长度为190cm，是全队臂展长度最长的队员。

文化印象91 分。（主要参考成语、诗词、名言、名人用字等因素）五格数理98 分。（主要参考了名字用字的姓名学笔画组合的搭配关系） 用字的意义： 垠：边际，尽头。（此字在人名库中共出现约：4,620次） 《说文解字》释云：地垠也。一曰岸也。从土艮声。皓：指洁白如玉，象征纯白、明亮、洁白。（此字在人名库中共出现约：86,530次） 总评： 垠此字能较好的与您的姓氏搭配。皓此字能较好的与起名用字垠搭配。字义垠表示边际、垠际、无垠；皓表示明亮、光明、洁白，意义优美。音律王、垠、皓的读音是wáng、yín、hào，声调为阳平、阳平、去声，音律优美，朗朗上口。字型王为上下结构，姓名学笔画4画；垠为左右结构，姓名学笔画9画；皓为左右结构，姓名学笔画12画；字型优美，利于书写。五格该名字的五格笔画搭配为4-9-12，五格大吉。意蕴成语一望无垠 蛾眉皓齿扩展了名字的意境。 文化印象：成语释名、趣味解释、名言名句和名人用字 成语释名： 一望无垠 蛾眉皓齿　　　无边无垠 皓月千里(解释)一望无垠 皓齿蛾眉　　　无边无垠 蛾眉皓齿(解释)趣味解释： 边际 · 洁白垠际 · 皓然边际 · 光明茫无垠际 · 蛾眉皓齿名言名句： 霰雪纷其无垠兮，云霏霏而承宇。 －屈原《九章之二 涉江》延颈秀项，皓质呈露。 －曹植《洛神赋》有情皓月怜孤影，无赖闲花照独眠。 －中国·清 黄景仁 《绮怀》扬马激颓波，开流荡无垠。 －李白《古风其一》名言名句名人用字： 姚雪垠：（1910年－1999年），原名姚冠三，字汉英，曾用笔名雪痕、雪、沉思、姚东白等，中国当代著名作家。洪皓：（1088—1155），字光弼。工诗词。所著有《鄱阳集》、《松漠纪闻》等。 传统解析：五行八字、属相、五格数理 五行、属相分析：温馨提示：由于您没有指定详细的出生日期和时间，故此信息无法获取。因为五行八字需要提供详细的生日信息才能进行推算！五行属相>>五行、五格、生肖起名 五格数理解析：结构解析外格 13(阳火)　 1王 4垠 9皓 12天格 5(阳土)人格 13(阳火)地格 21(阳木)总格 25 (阳土)天格数是先祖留传下来的，其数理对人影响不大。地格数又称前运，影响人中年（36岁）以前的活动力。人格数又称主运，是整个姓名的中心点，影响人的一生命运。外格又称变格，影响人的社交、智慧等，其数理不用重点去看。总格又称后运，影响人中年（36岁）以后的命运。 天格5解析福禄长寿的福德集门数。 地格21解析明月光照，独立权威数。 人格13解析智略超群的博学多才数。 外格13解析智略超群的博学多才数。 总格25解析英俊刚毅资性聪敏数。 三才解析(天人地)希望能平稳实现，成功发展，基础稳固，心身平安，可得幸福长寿的配置。 基础运解析(人地)境遇稳固，能得部下之力，地位、财产均稳定妥当。 成功运解析(人天)能实现希望的目的以及功名成就，但其他格数理不良者，可能不遇机会。 人际关系(人外)好礼而多情，思想敏锐，气短易怒，爱好权势和声誉，喜装饰，恋美貌。大多礼貌热情。 上述分析仅供参考！五行、五格、生肖起名

chez 的运行速度很快，比同类软件racket 要快多了，但是没有人知道他是怎么写的，当然都很好奇，开源了就能给人研究学习。git 上有源代码。一般人也看不懂，因为那是Kent 几十年的心血。

对王垠，我既不是尊敬，也不是膜拜，而仅仅是欣赏，只不过，我的这种欣赏在非议他的绝大多数人的身上，是无论如何也找不到的！个人是渺小的，不可能和整个社会对抗，而当一个社会存在某些目前尚在雏形中的问题时，个人能做什么呢？我们都知道千里之堤溃于蚁穴的俗语，也知道灰犀牛现象。但真当我们遇到时，绝大多数人却选择了“大度”，对于不正当的现象睁只眼闭只眼，甘当温水待煮的“青蛙”。而极少数选择了质疑甚至抗争的敏感人士却无法得到同胞的共鸣，终究在某些心怀叵测者煽动之下成了众矢之的，毕竟毁人要比育人容易多了！这最终导致了“世风日下”，“积重难返”。当一整个社会的人不过是在官僚资本主义的奴役之下苟活的时候（而且还自以为活得很滋润），其实很多问题已经在愈演愈烈了！当像王垠这样的人连一个都找不到的时候，我不知道我们这个社会还有什么，或许我们自以为拥有的很多，事实上，那些都是以现有资本换来的，而且越换越少，健康换业绩，自由换职位，“事不关己”换来“独善其身”，“忍气吞声”换来“一时苟安”。我不知道我们还要这样换到什么时候，我只知道下限越降越低最终会使我们无法承受，到那时，我们将如何选择？爆发？就像历朝末年一样？只不过那个时候的爆发将不可避免的是生灵涂炭，血流成河！那么既然如此，为何我们不能现在就耿直一点，顶真一点，对不正当的做法、模式说不呢？我知道中国人都向往英雄，只可惜英雄只生于乱世，当真正的英雄出现时，其实一切都晚了！

<Go语言，Docker和Kubernetes> ，看了题目好激动，还以为有什么干货，点进去一看啥东西没有，一篇水文而已，这人工作几年了？不好，你们让大家评论这样的文章，是故意的吧？

　　1.这段 40 多行代码是给 Scheme 程序脱糖的程序，属于解释器的代码，而不是应用代码。对其的客观评价显然只有设计解释器的人才能给出。　　2.这代码不是一般人看的，本身他用的语言就是极客向的语言，而且这搞的又是很专业的东西，主要是与解释器相关的领域。CPS的功能是很明确的，但其价值只有对编译器解释器很有研究的人才能判定。　　3.以自然语言写作比喻，编写自解释器级别的代码，就像你在写一本小说，而小说的主角也在写一本小说，这位主角在描写你，对你的刻画会影响到你，你受到影响之后又会改变小说中的主角，从而影响到他对你的描写。你俩要相安无事，情节合符逻辑地发展，直到最后圆满的结尾。这比写一本普通小说可难多了。

　　作为一个老牌 Haskell 黑，我得说王垠的看法我基本认同。五六年前，我就一直说Haskell的语法和类型系统是走了一条不求解决问题但求彰显思想的邪路。对一个严肃的工程师来说，如果目的不是学习而是工程，那么Haskell不是他/她应该去关注的语言和社区。如果真的关注实用化函数式程序设计，Scheme是更好的选择。

有一半道理。其实IDisposable接口现在已经和非托管结构没必然联系了，其实就是一个释放资源的意思，例如需要unsubscribe一些事件等等。打个比方IObservable<T>.Subscribe()事件就返回一个IDisposable接口。你说它可以返回另一个接口吗？当然可以，甚至就一个Action也行，但因为有IDisposable于是就直接用了。真要说起来，我认为其实IDisposable说到底唯一的作用就是配合using，否则方法叫任何名字都行。但是话说回来，叫任何名字也都解决不了所谓的“传染”问题，因为它真心需要释放资源啊。不管你是把资源用Unload还是Close还是Unsubscribe方法来释放，终究还是会传染到另一个“释放资源”的方法上的，即便方法名不叫Dispose。所以，我现在写的代码，假如不是要配合using使用的话，我会选择不实现IDisposable而是自己定义一个方法，例如叫做CleanUp，或是Unsubscribe，或是Close，甚至还是Dispose但不实现接口。这么做的好处就是find usage的时候不会把所有对IDisposable或using的地方都找出来，工具可以更容易理解代码。最后，IDisposable和Dispose方法其实包含语义上的约定，也就是说调用后对象就销毁了，不能继续使用了。假如你叫做Close方法，可能就可以设计成允许重新Open。但假如是Dispose掉，那么再Open时就可以抛出ObjectDisposedException，告诉你不许再用了。 参考：知乎作者：赵劼链接：https://www.zhihu.com/question/51592470/answer/126697012

他说的有一定道理。但是，我认为对于青少年学生而言，上知乎是利大于弊的。知乎的信息着重点在于广度而不是深度。浏览知乎可以增加见闻，了解不同阶层的实际生活情况。遇到有争议的回答也能够帮助独立思考。总的来说，学生上知乎可以帮助确立完善自己的三观。至于已经确立了三观，有明确目标的人，上知乎更多的是为了宣扬自己的立场，让人们选择站在自己这一边。所以知乎上有争议的话题通常可以讨论得很热烈。折叠区内有时也有一些有质量的答案，只是由于立场的原因被人们踩到了最底。所以这实际上是一种各取所需。这纯粹是个人观点，“我觉得”，“我并不”，“我不喜欢”，都是从自我出发的观点，你可以选择看与不看，信与不信。没必要评价别人的观点吧，信就听，不信就不听，作者描述了事实，抛出了观点，事实可以验证，观点可以参考，同一件事从多个不同的角度能得出多个不同的结论。不知道作者是何方神圣，从言论上看作者是那种比较特立独行，比较闷骚的人。我对这种人比较有兴趣，因为我身边有个人有点神似，这个人能力很强，也很有特点。但是：他喜欢对事实进行细致的观察和分析，但往往刻意要得出一种小众的，有失偏颇的，甚至是颠覆别人价值观的结论。他渴望针锋相对，渴望激怒别人，他无法从别人的认可中得到满足，他必须尽可能多的否定别人，才能找到自己的存在感。和这样的人共事挺锻炼人的......

其实haskell确实是一个入门比较困难的语言，所以有人说不推荐初学者去学习我认为是非常可以理解的。象他提到的类型推理不利的问题我已经遇到过很多次了，完全相同的代码只是增加类型说明就可以编译通过。另外我也试过和另外语言去比较（python）同一任务haskell需要写更多的代码，但是那是因为haskell不做预设逻辑（主要是针对输入为空等情况）。但是个人还是觉得haskell是值得来学习的语言，首先就是它的独特性：现在惰性和纯函数式的语言本就很少，接触这样的语言还是非常有利于学习者了解编程世界的广阔性，学习最主要的目的之一不就是开拓视野么？而且pure的语言可以逼迫编程者修改他的设计思路，让他考虑如何把交互和pure算法分离，而之前我个人很少有过这个方面的考虑，因此代码都是随机揉合的。其次是严谨性：就如前面的回答者说的，严谨和便利不可兼得，当时写一个很简单的字符串分段排序别人用python写出比我用haskell更加短。但是为什么可以做到呢？那是因为python用自己默认的逻辑处理了诸如空字符串这样的异常场景，而haskell完全需要手工去写。语言不帮你增加隐含的逻辑处理当然是不方便的，不过学习这样的语言可以让你更加自然的想到要考虑更多的逻辑细节。最后我想说的是，之前看过一个采访视频，是ghc的设计师。他的说法就是haskell师一个“理想国”似的前沿试验场，他会从这里吸取养分和教训，然后落地到其他一些更加“实用”的语言中去。从这个层面来说通过学习haskell知道它有些什么不足和缺陷也是非常有价值的，只有亲身体验才能避免被别人忽悠

我以前写Java，最近主要写Ruby，以及一点点JavaScript。我觉得文章中有几点，是很可取的：编程使用什么工具是重要的，然而工具终究不如自己的技术重要。很多人花了太多时间，折腾各种新的语言，希望它们会奇迹一般的改善代码质量，结果最后什么都没做出来。选择语言最重要的条件，应该是“够好用”就可以，因为项目的成功最终是靠人，而不是靠语言。很多时候我们忙于学习不同的语言，而忽略了语言的最终目的，是写出可以解决问题的程序。IntelliJ还可以进行非常迅速的结构变换，这让你就像艺术家在构造一个雕塑作品。最开头我可以大刀阔斧，把代码劈成大致的形状，然后再把它仔细推敲，揉捏成更好，更容易理解，更具魅力的形状。是的。用IntelliJ来Refactor Java代码的体验，的确比 用RubyMine来Refactor Ruby代码、用WebStorm来Refactor Javascript代码的体验，要好太多太多了。虽然后者的体验也强于用Vim时候的体验，但用IntelliJ来的更加畅快淋漓，而且从来不用担心因为Refactor而出现命名错误（如果不用Reflection的话）。很多人讨厌Java，其实是因为早期的GoF Design Patterns，试图提出千篇一律的模板，给程序带来了不必要的复杂性。然而Java语言本身，其实跟Design Patterns并不是等价的。Java的设计者跟Design Pattern的设计者，完全是不同的人。你完全可以使用Java写出非常简单的代码，而不使用Design Patterns。我自己对于一些大公司规定的模式，比如“Programming towards Interface, not implementation”十分反感——这样子造成了很多interface，只有一个implementation；而在读代码的时候，就要跳转很多个文件，才能找到需要的内容。但我觉得这是写代码的人得问题，和Java无关。只是很多人在写Java的时候，太从字面上理解“Programming to Interface”了。然后我不太同意的：Python凑合可以用在不重要的地方，Ruby是垃圾，JavaScript是垃圾中的垃圾。原因很简单，因为Ruby和JavaScript的设计者，其实都只是民科。我个人很喜欢Ruby的设计的，主要来自于MetaProgramming的部分——真的可以让代码量少很多。来自于更高级别抽象的代码量减少，直接意味着，整个程序变得更容易阅读和理解。我不觉得民科设计出来的东西，就意味着这个东西不好。而且Ruby程序，debug起来还是很容易的：RubyMine对于断点StepTrace也有很好的支持。而且，因为是Script Base的语言，可以很容易的去阅读/修改Library的代码，从而很快地理解对应的Library。JavaScript还是有些坑的，比如没有原生的Class（ES6的class看起来只是function的一个syntax suger）、神奇的prototype和this的关系问题；但理解了原理，这些坑还是挺容易避免的。而且也有很多用JavaScript开发的不错的App和框架，异步编程的思想也很好（当然 思想这种东西，都任何语言都是可以支持的）。“垃圾中的垃圾”就太偏颇了。对于Go / Scala / Clojure我几乎没有了解，无法评论。然后讲一下，我对于Java很反感的地方：长，function不是object。1. 依稀记得 当年写各种Data Access Object，里面有若干Getter / Setter，虽然用IDE可以自动生成Getter和Setter，但依然……读起来/维护起来 很辛苦。2. 以前写Android程序，加EventListener。其实只是一个function而已，但只能通过Anonymous Class、在里面define function的方式——加一个EventListener，2层缩进就出去了。让代码变得好丑。（在Java8里面，支持了Lambda，应该有所缓解吧；这里我还不是很清楚）

Lisp家族的S表达式（语法上将数据和代码统一，语法分析和词法分析统一了。主要是一种风格，其实对用户没什么真正的好处。能称的上好处的就是如果作为一个发展中的事物，方便扩展。宏的话，很微妙。）Haskell的完全克里化（多参数函数都是单参数函数嵌套出来的，参数不足也可以调用，会返回一个部分函数）。Haskell的多态函数（参数类型不确定，会根据调用处使用的类型来匹配函数声明。其实C++有函数重载，而且函数模板还能跟函数重名，跟这其实是一回事，但是C++比较低调不会这么叫。）Lua的多变量赋值（常见的赋值是一个表达式，或者只是一个语句，有一个左值和一个右值，但这里可以出现多个左值/多个右值。例子里面进一步提供了结构化的赋值，可以接合向量或者哈希表来匹配）。Scheme的第一类函数（使用lambda特殊操作符产生一个函数，不需要定义函数体的特殊语法，yin这里使用的关键字是fun。）Algol的静态的嵌套词法域（不同于Scheme的let，这里使用declare关键字给declare块所在的词法域引入变量。）

机器学习对世界的改变之大，是不能忽视的。但人们却容易低估已经被创造出来的东西的智能程度。要是十年前说自动驾驶，一定觉得那是人类智慧集大成才能发明的东西，说电脑围棋打败人类，一定是机器的掌握了一种极为先进的学习方法。突然间这些我们都做到了，但是突然间大家都觉得这些成就是 Trivial 的了。自动驾驶仅仅是图像识别的进步，AlphaGo 也仅仅是暴力搜索的升级，任何智能的进步一旦被创造出来，就不再智能了。人工智能的进步变得毫无惊喜，未来依然遥不可及。真是这样吗？当然不是，我们的世界已经被算法改变的太多。我们的阅读大部分来自 Facebook（今日头条） 的机器学习算法推荐，听的音乐来自 Spotify（网易音乐） 的机器学习算法推荐，购买的东西来自 Amazon（淘宝京东） 的机器学习算法推荐。我们已经生活在了一个几乎完全由算法来决定的世界，机器学习已经完全改变了我们的生活。对于人工智能的发展特别容易走两个极端，过于狂热或者过于悲观。但这都有一点迷思往往是共通的：人们对于人工智能的期待总是喜欢对标人类的智能，认为只有像人类那样归纳和演绎才是智能的表现。然而这种期待是错误的，机器智能不会是一种像人类智能成长方式来成长的。正如我在这一波人工智能泡沫将会怎么破灭？ - 知乎 中提到的：机器智能的发展，是渐进的，是被广泛应用的，是永远不会后退的，并且是普通人难以察觉的。话说回来，倘若你也经历过机器学习的模型上线，取代人类的经验系统，带来 KPI 翻 5 倍，或者营收翻翻，这样的巨大震撼体验的话，或许你也会像我一样，由衷地认为机器学习的应用前景广阔，激动不已。倘若当初王垠能够坚持学习人工智能，早日投入工业界做应用，恐怕早已功成名就，扬名立万，成为人工智能第一吹了。来源：知乎 作者：陈然

《完全用Linux 工作》《写给支持和反对<完全用Linux工作>的人们》《Cornell 感受》《对博士学位说永别》《谈“P=NP?”》《面向对象编程和函数式编程的问题出在哪里》《程序员的心理疾病》

chez 的运行速度很快，比同类软件racket 要快多了，但是没有人知道他是怎么写的，当然都很好奇，开源了就能给人研究学习。git 上有源代码。一般人也看不懂，因为那是Kent 几十年的心血。

王垠欠缺和女性交往的经验，所以用了这样一个让我们初看难易理解，其实很好理解的举动。但这样的一个举动也让我担心了，他会不会有一天自己结束自己的生命。要看到一个大程序员的答案排列靠前，我只想说不是每一个程序员都可以被产品经理碾压掉。问题是，你愿意把假期的时间拿来整理你的形象，和你的朋友交朋友，或者你愿意知道把抱怨的一切，和你对他人的责任推。我真搞不懂程序员和产品经理有什么搞不好的关系。目前，目前的情况并不是因为一个又一个向程序员移动，越来越多的美女利用美色成了产品经理。即使从资源占有的角度看，各路行业也是有区别的。即使程序员不善于交际，他们也必须每天接触产品、测试和设计，而这些专业中有很多女孩。如果你知道他们和你一起加班的话，你可以给别人买一顿饭，厌倦、无聊、开玩笑、取悦气氛。产品上线，然后去楼下的酒吧庆祝。与利益相关，我们部门的测试姐妹和Android开发了一个更紧密的团队，祝福他们。至于我，我还年轻。暂时不考虑这个问题。手机代码，我做产品。我会培养新一代的天才程序员。因为我实在看不出王垠征粉到底在干什么，这个问题真的让我好纠结哦，网络是一个公众的平台，但是我们需要真正的了解到一些事情，创造文明网络。

王垠简介 王垠，男，清华大学计算机系在读博士，本科就读于四川大学，大四时被保送清华大学攻读直博学位，目前只剩一年就可博士毕业。在此期间，他因《完全用linux工作》一文和对TeX的推广这些“非研究成果的业余东西”而出名。日前在网上发表公开信，表示要申请从清华退学。 清华博士申请退学 斥现行博士制度扼杀创造力 --------------------------------------------------------------------------------9月22日，清华博士生王垠在水木社区BLOG上发表了《清华梦的粉碎———写给清华大学的退学申请》明确要求退学。 记者从清华研究生院赵副院长处得到证实，王垠要求退学确有其事，但目前学校还没批准。昨天，清华大学有关负责人告诉早报记者，他(王垠)做出这种选择是个人的自由。“有了论文就有了钱”--创造力正在消失 王垠是清华大学在读的硕博连读学生，计算机专业，已经攻读了4年，还有一年就博士毕业。在清华学习期间，他以《完全用Linux工作》而小有名气。 在退学申请中，王垠认为，博士教育就是“paper(论文)、论文，paper还是paper”，而他的成就是“我的自我培养”。 信中还披露，“清华博士生必须发4篇paper才能毕业，其中必须有一篇是SCI索引，或者两篇EI索引”。他并非不能写paper，他也有SCI文章，但他认为那些发表的文章并非是自己感兴趣的，也没多少价值，甚至是垃圾。 王垠说：“即使导师知道你的论文没什么价值，也会叫你发表。我发现paper数量的背后，是某些人的如意算盘。想一想是怎么回事吧。国家看什么来拨款研究？看paper。看什么来评价一个学校的水平，也是paper。国家没有能力评价你的能力，当然只有看你有多少paper。所以有了paper就有了钱。” 他认为，博士是为了论文，而不是真正地做科学研究，自己的创造力正在逐渐消失，自己已经浪费了4年的时间。 网上意见不一多数佩服王垠的勇气！ 王垠1万多字的退学申请在网上转帖和点击率相当高。对此，网友的评论褒贬不一。有网友认为王垠有点偏激，过于理想主义，“国内的学习环境是有点郁闷，但是国外的究竟是否能达到他心目中的水准，那就要看他的定位了。”“这哥们太理想主义了，有点才华，学校和老师对他也可以。换作其他人会过得滋润的，他把博士研究看得过于神圣。” 也有网友认为他这样离去不负责。“学校培养他，国家培养他得花费多少？这个投入挺大的。他这样一走了之，是不负责任。” 更多的网友是佩服王垠的勇气。“我们的创造力正在慢慢消失。”“说实在的，这不是一种放弃，因为也许他能得到更多。无比佩服王垠的勇气！”“国内高校目前在读的博士其实都有王垠的感觉———困惑、苦闷。只是很少有他那样的勇气。” 清华大学：这种选择是个人的自由 昨天，早报记者致电清华大学。有关负责人告诉早报记者，在现在多元化发展的今天，博士生作出这种选择是个人的自由。如果退学，按照学校有关规定，他应该承担相应的后果。在王垠的退学申请中，他说“博士退学要交30000元钱的违约金”。 教育部人士：此事与教育制度无关 昨天，教育部有关人士告诉早报记者，对于这一事件，他已在网上看到了相关报道。他的个人意见是，这只是个别现象。他说：“如果是你，如果是我，你我会放弃清华的博士吗？有谁会放弃清华的博士呢？” 这位负责人表示，王垠有自己的思想，有自己的想法，“自我培养也没什么不好的”。但提出退学申请，还是应该慎重。他认为，此事与教育制度无关，也不认为这和前一段时间沸沸扬扬的陈丹青辞职有相同之处。退学理由一：有了论文就有了钱--创造力正在消失 写论文不是真正的研究，只会扼杀创造力 ·退学理由二：导师不导 导师在某种程度上会削弱学生的能力。导师不喜欢我们上课，因为上课不但会花掉研究(或干活)的时间，而且让他们眼界太开阔，这样学生会很容易有别的选择走掉。清华博士退学续：据称已赴伦敦大学继续学习 -------------------------------------------------------------------------------- http://www.sina.com.cn 2005年09月27日00:57 华夏时报 ⊙本报实习生王禁 昨天有知情人士透露，王垠已赴英国伦敦大学继续学习，然而记者未能进一步核实。想要了解退学博士当初的一些想法，还要从他的那篇《清华梦的粉碎—写给清华大学的退学申请》中“窥视”。 在这篇《清华梦的粉碎》中，王垠言语中流露出从高中时他就开始对高考制度的不满，认为高考把他“变成考试的机器”，他原以为凭自己的才华，完全能上清华大学，没想到 却考了四川大学，从川大考研上了清华后，却发现清华跟他想象中的不一样，今年9月22日，已经是研究生第4年（硕博连读，学时五年。编者注）的王垠提出了退学。到底是什么原因导致了他的退学呢？ 不明白考砸也得80分 王垠在《清华梦的粉碎》中写道，清华的“老师也是照本宣科，我居然发现他们其实跟川大的老师没什么区别。清华的不同之处就是，一到考试的时候原来进行的一切娱乐活动都不见了人影。原本每天晚上都有人一起玩轮滑，考试的时候就只剩下我孤零零的一个人”。后来的结果是“如果博士生上了80分就可以不重修。我也不知道为什么我觉得考砸的科目也上得了80分”。 在读博士的第一年，王垠就把功课全部上完了，王垠一直想多选几门课，可按照清华的规定，清华的博士要选课需要提交一个“培养计划”给导师签字，导师同意之后才能修改。王垠选择了修法语，可导师以“课太多了考试不通过就麻烦了”为由拒绝了他的要求。王垠个人认为，导师怕“因为上课不但会花掉研究的时间，而且让他们眼界太开阔，这样学生会很容易有别的选择而走掉”。 曾因讨论与导师产生分歧 王垠在做研究时，发现有很多方面没有头绪，希望能“找师兄师姐跟我讨论讨论”，导师一开始不同意，因为在一起讨论做研究，署名就得署几个人的名字，博士论文只看第一作者是谁。后来王垠拿出国外的例子据理陈述，导师才同意他只能和导师、副导师讨论。后来，他又提议成立CommonRoom（公共房间）用来讨论问题，可被否决了。 质疑博士生翻抄论文 王垠在退学申请中提道：“我的方向上我至今还没有看到几篇我觉得像样的文章。我主要进行集成电路布线算法的研究。已经毕业的一个师兄就在他研究的基础上修改来修改去，发了好几篇paper。英文的不够还翻译成中文，投到国内的期刊。后来一个师姐又在这个师兄的基础上进行修改，又发了好多篇。可是在我看来，他们的论文纯粹就是炒冷饭，没有什么创新。现在清华研究生做的事情无非就是写好paper，然后找个地方投出去。 SCI的最好，EI的其次。偏僻的没人看的杂志也没关系，交钱也没关系。我就知道日本的一个SCI索引的期刊收1000美元的版面费。导师出钱，不投白不投，投了好毕业呵1 川大老师表示不赞成 记者通过多方联系，找到了王垠在四川大学97级计算机系读书时的辅导员老师，这位不愿透露姓名的老师一再向记者表示：要经过学院和院党委的同意他才能接受采访。“这件事情在网上炒得很热，我们也非常关注。不过很不好意思，我接受采访需要经过学院和党委的同意。” 在记者拐弯抹角的追问下，了解到：王垠几年前就从四川大学毕业了，之后与学校也失去了联系。他在学校时学习成绩很不错。“至少在班上名列前几名。”这位老师回忆说，“可以说他是一个比较有天赋的人，他后来选择了保送清华，这算是他的一个梦想吧。”但是，谈到王垠放弃清华大学的博士学位一事，这位老师表示不太赞成。“我觉得他的价值取向有问题，我比较同意网上一位网友说的话，他可能受不了挫折吧。” 在清华大学BBS上，一些学生已把王垠当作偶像。

王垠在2019年离开微软之后，便很少再有消息曝出了，如今再看他曾经活跃的新浪博客，已经被清空，而其转向到自己搭建的网站上，继续分享自身的思想经验。从他的一些言论和思想来看，被封杀的他，并没有反省自身的问题，而是一直在责怪IT界没有适合他的工作环境，教育界没有适合他的高等学校，所有的大学在他眼里都存在缺陷。而他也在其自建的网站上公布自己的部分事业计划，哪就是建立一个教育机构。对于其计划是否会成功，是否会半途而废，这个留待时间去见证。王垠这个能成清华各类尖子生中拔尖而出的人来说，他的能力是毋庸置疑的，其提出的计算机两大系统言论，也在IT界引起极大的轰动，如果说他继续学业，未来成就可以想象出是无限辉煌，但是他却选择成为了第一个从清华退学的学生，而且在退学前，将国内教育批评的是一干二净，感觉像是毫无可取之处。学霸的操作真的是让我等凡夫俗子，无法理解，好吧既然国内教育你看不上，那么国外应该没有问题了吧，但王垠继续着其谜一般的操作，又继续从康奈尔、印第安纳大学伯明顿分校退学，并且终止了其求学之路，当然这两所学校也没有逃脱被其评判的命运。王垠停止求学后，就开始了工作旅途，这位IT尖子，凭借自身过硬的实力，进入到了谷歌，虽然他的能力得到了高层认可，但是合作期间王垠还是觉得各种不舒服，因此离开了谷歌，走之前，又不能免俗的痛骂一顿，之后其进入到微软，这位天之骄子再一次选择了退出，而这一次他的高调退出和张狂的言论，让微软选择正面与他杠上，直接发出公示，不允许王垠加入微软及任何微软子公司，包括微软合资企业或占投超50%的附属公司。至此这位天之骄子沉寂了，其实王垠这一系列操作，都是其在理想与现实中的抉择，只是他选择了反抗，且反抗方式比较激进，而我们大多数人选择了适应，调整，或者是低调的反抗。我们不能说谁对谁错，只能说选择不同罢了。

从王垠的个人经历来说，网上传言他加入华为并不是一个什么太好的消息，对于王垠，很多计算机领域的人都非常熟知他，从个人能力以及在计算机的天赋上来说，王垠的能力不容置疑，但是对于他的处事能力来说，他糟糕的人情世故能力或许对华为来说是一个灾难。从王垠的个人求学经历来看，他可以被人称之为鬼才，在大学之前，他花费了自己大量的精力去学习计算机，而对于高中的学习上，他并没有花费太多的精力就考上了当地的最高学府四川大学，后期他保送清华硕博连读，可一份有争议的退学书让他站在了风口浪尖，后期康奈尔大学、印第安纳大学的两次退学一时让人感叹。无论是哪一次的退学，他都把自己的学校鄙夷的一无是处，这样的人虽然天赋满满，但是真当要加入一个有浓厚企业文化的企业，他的到来无疑是一个灾难，对于华为这个企业来说，它其中的企业文化以及人情世故是要远远超越国内别的知名互联网企业的，王垠的处事方式很有可能为其带来极其多的负面连锁反应。

他是集“天才与疯子”称号为一体的超级天才、学霸狂人。他曾靠着超常的智力考上清华，结果又主动从清华退学。先后加入谷歌、微软、英特尔，却又将三家公司骂得体无完肤。 他曾咒微软开不了多久，后来被微软下了全球封杀令。他在参加阿里的面试后，在社媒上怒喷阿里面试官。这个狂人是谁？他就是王垠！那么，他的身上有些怎样不为人知的故事呢？ 王垠的成名之路，要从小时候说起。他出生在四川，从小学的时候开始，他就是远近闻名的天才。别人怎么也学不会的知识，在他的眼里就像玩 游戏 、吃饭、睡觉一样简单容易。 所以，他从小也就立下了“非清华北大不上”的宏大志愿。从小成绩优越的他，每次考试排名从没有跳出过班级前三名，是不少邻居眼中典型的“别人家的孩子”。 王垠的妈妈也对他寄予厚望，想让他考上清华。可是命运却跟他开了个玩笑，高考时的失误没有让他考上清华，而是考上了位于西南方向的四川大学。 对于王垠来说，这就像是天塌下来一样，他不允许自己的人生有这样的失败。因此在好长的时间里，他都陷入了自我否定中，他的天空和世界是灰暗的，他觉得自己什么都做不成。 四川大学也许对于许多人来说，是一所一流的大学，是非常令人满意的。但是，对于王垠来说却并不是这样的。他不仅没有这样认为，反而还很嫌弃这所学校。 因为在王垠的眼里，学校都是一些只会做题看书的书呆子，并没有跟自己一样认真专研计算机问题的人。他不止一次尝试过退学，但是天不遂人意，结果还是不得不留在这里。 为了证明自己，他积极投身于书海中汲取能量。在四川大学图书馆里，他读到了一本思维的奇书《思维风暴》，而他的思维发生了逆天的转变，更是开启了自己的逆袭之路。 那个时候，互联网计算机行业刚刚兴起，发展势头并不迅猛，而且也不普遍。但是，王垠却觉得这是一次机会，是锻炼自己才能的机会，自己要好好抓住这次机会。 因此，王垠大学四年的专业是计算机，在校期间表现也非常好。他靠着自己超强的学习和操作能力，成长为了计算机业内的灵魂人物。 2001年，在四川大学毕业以后，他被保送到了清华大学硕博连读。来到清华大学，他才觉得自己的人生有了意义。在这里可以和实力相当的人同台竞技，可以施展自己的才华。 导师也很看重他的才能，一直在他身边悉心辅导、耐心培养，并让他参加了很多专业课题的研究。当然了，王垠也从来没有让他们失望过。 在读研究生的这一段期间，王垠的研究成果数都数不过来。虽然忙碌，但是他很兴奋。2003年他第一次提出了linux系统的优势，以及windows系统的弊端。 这一系统的发现，让很多老前辈及领军的计算机人才都觉得难以置信，因为这就是一次开天辟地、另辟蹊径的见解。 能在这个年纪就发现许多学术界老牌人士都难以发现的现象，他的才能令人惊讶，也让越来越多的人对这个傻小子刮目相看。但是王垠却对这些褒奖全部不放在心上，也不以为然。 本以为王垠会学校继续研究自己的学术成果，可谁能想到他会在毕业的时候选择退学，离开自己曾经引以为傲的清华大学，成为清华 历史 上第一位主动退学的保送高材生。 2005年9月22日，王垠在清华的论坛发布了一篇名为《清华梦的破碎》的文章。这篇文章很长，有一万七千多字。王垠声称，这篇文章是自己的退学申请书。 在这篇文章里面，他指出了国内考研状态的悲哀现象。他认为绝大多数人都是在追求名、追求利益，为了自己生活得更好，而很少有人认真搞科研。 不仅如此，他还直接指出国内高考制度的不好，认为这样的高考制度会让他这样的人才埋没了。此篇文章一出，就引起了 社会 各界舆论的一片哗然。 离开清华的王垠，觉得国内已经没有自己所向往的一片科研的净土了。于是在2006年，他决定出国留学。机会都是给有准备的人的，他最终考上了全美第六康奈尔大学。 但是，再次让人大跌眼镜的事情发生了。他在美国求学仅仅两年后，就再次选择退学了，而理由、原因，几乎和上次选择从清华退学是一模一样。 他觉得总计身为计算机专业的一名高材生，不想每天只是给导师办事，不干自己的事情，重复一些机械性的操作。这样的工作对他来说，无非就是浪费生命。 也许是他觉得在学校生涯期间已经学不到什么有用的东西了，所以在2012年，他发表了一篇文章，题目是《对博士学位说永别》。至此，他结束了自己的学业生涯。 可能是他自傲的性格，让他觉得学校里的导师已经没有办法再教自己，无法满足自己的学习欲望了，所以他草做出了这种脱离实际的想法和偏激的行为。 其实，王垠的求职路和求学路相似，发生了太多的故事。2012年，他在谷歌实习。但是他依旧特立独行。丝毫听不得别人的意见和想法，甚至目中无人，还瞧不起自己的领导。 这种行为，让他在工作中频频失利。然后，他觉得公司的各项规定制度都与他理想中的制度千差万别，所以做出了普通人无法想象的举动，选择了离开这个公司。 同时，他还发文抨击谷歌的管理制度，呼吁大家停用谷歌，引起了谷歌的不满。不过，这样的经历却让他成为微软眼里的红人，微软更是评价他为 历史 上技术最领先的实习生。 于是，面对微软抛来的橄榄枝，王垠没有拒绝。2013年，王垠入职微软了。原本想着能在微软大展拳脚，好好干一番，实现自己的远大抱负。 哪知好景不长，王垠在微软仅仅干了不到九个月的时间，老毛病就犯了。他批评微软存在很多问题，并微软辞了工作，还断言微软早晚会倒闭。 微软作为全球互联网公司的业界老大，肯定接受不了王垠的这一番公开挑衅。直接将他拉进了公司的黑名单中，再也拉不出来的这种，并且表示永远不录用他。 微软的这番操作，就等于是将王垠从全球的计算机行业中直接封杀了，对他将来的发展就业有极大的影响。可是，他根本就不在乎这些。在接受采访时，他表示自己可能会回国创业。 随着人工智能行业的兴起，有人建议他可以在这方面多加研究。但是如今的职业和人群，导致许多家庭可能就会面临失业的危机，所以他认为不应该实现人工智能。 2018年，有人透露王垠出现在了一家上海的Intel公司。这一年他已经40岁了，他在这所公司工作的时间是最长的。许多人认为他年纪大了，不中用了，可能并不想继续折腾下去了。 可是谁会知道，在同年的12月10日，他又发文称自己将要离开公司，继续去探寻人生的精彩世界，开始下一阶段旅程，为他的事业做出更大的贡献，进一步体会与人合作的乐趣。 2019年12月，王垠受邀到阿里面试，在面试时和P10面试官赵海平起了冲突。王垠内心非常不满，把对赵海平的怨气和愤怒转化为了对阿里内部制度的怀疑和不满。 然后，他在网上对阿里和赵海平进行了猛烈的抨击和批评。这两人都是计算机领域的顶级高手，却因为这件事闹得人尽皆知，满城风雨，坊间传闻一浪盖过一浪。 最后，这次事件以赵海平的年终奖绩效被打了3.25分被迫离开阿里，王垠获得“胜利”而宣告结束。王垠没能成为阿里的员工，他自己也不会觉得可惜，因为他根本不在乎。 不过，对于赵海平来说，可能就不是这样了。因为这么一个事情，丢掉了饭碗确实可惜。也不知道，赵海平的心里对于王垠是否有那么一丝丝的恨意。 王垠的人生可谓“精彩纷呈”，他不断地尝试，不断地挑战自我。到现在为止，他也没有达到一个大众和自己所期待的那样的高境界，可是他依然也没有想着改变。 虽然王垠有很高的学识，也有很高的智商，干什么也都可以很快入门，但是他最大的问题就是在于并不是太会尊重人，并且他也忘记了只有合作，才会创造出更大的价值。 他一直都是自己盲目地只做自己，从而使自己的路越走越窄。脱离了人群的他，又怎么会为世界创造出更大的价值呢？对于这样一位充满争议的天才，你是怎么看的呢？

今日，王垠和赵海平的面试之战上了热搜。觉得双方还会你来我往的交战一番。 面试之战这里不做赘述，不知道的可以搜索一下。 面试之战可总结为：文人相轻,武人相重。在延伸开来，文无第一，武无第二。其实很早我都知道文人之间各种不看不起，文人之间何种倾轧，文人之间各种鄙视。 文人我们可以延伸开来：文化学者、工人、有技术的人的研发人员等；武人可以延伸成为各种竞技运动员等。文人的心理是很难琢磨的：有些文人怕你比他强所以专门挑一方面来诋毁你；有些文人怕你的影响力或者号召力超过他，他就利用手中的权力或者人脉或者所处的地位来压制你；有些文人会很惜才，他会成为你的伯乐。最典型的是侯耀文和郭德纲，而王垠和赵海平恰到好处的体现了文人相轻的特点。 谦谦君子是君子所追求的：不管他人的地位、权力以及财力的多少，平等的去尊重每一个个体。因为你怎么尊重他人，他人也会如何对待你。 而奸恶小人所追求的是你死我活。你过的比我好我就受不了，我就难受；而贬低和打击别人是无能和懦弱的表现。 最后希望我们的国家有更多的的谦谦君子，有更多的有良心的知识分子，为我们国家的发展做出贡献。

被微软封杀。王垠先后考入了美国康奈尔大学和伯明顿大学，但最终还是选择了退学，但最让人不可思议的是，40岁时他从微软公司裸辞，最终被微软全球封杀、永不录用。王垠离开微软后，几乎再无他的消息。他的学术高度，让他在这个平凡的世界中，得不到赏识。

1997年，考入四川大学计算机系97级。2001年，保送清华大学计算机系软件所硕博连读，主要进行集成电路布线算法的研究。2003年发表《完全用Linux 工作》、《写给支持和反对<完全用Linux工作>的人们》，痛陈windows弊端、宣扬linux。2004年8月，发表网络文摘《完全用linux工作》、《写给支持和反对<完全用Linux工作>的人们》，痛陈windows弊端、宣扬linux，文章在中国的计算机和linux阵营引起极大轰动效应，成为水木清华linuxapp版和中国多个linux社区的偶像级人物。2005年，发表学术论文“The polygonal contraction heuristic for rectilinear Steiner tree construction” 。2005年9月22日在水木社区BLOG上发表了《清华梦的粉碎--写给清华大学的退学申请》明确要求退学，痛斥国内高等教育弊端。2006年8月，从清华退学后考GRE出国到了康奈尔大学计算机系，康奈尔大学计算机系全美排名第六名 。2008年发表《Cornell 感受》并从康奈尔大学退学，到印第安纳大学伯明顿分校（IUB）计算机继续攻读博士学位，印第安纳大学伯明顿分校（IUB）计算机专业排名全美50名之外 。2012年，以一篇文章《对博士学位说永别》再次退学，至此王垠分别于2005年、2006年、2008年分别从清华大学、康奈尔大学和印第安纳大学伯明顿分校退学。2012年冬季，加入Coverity，职业软件工程师。2012年发表文章《对博士学位说永别》，他认为他的“博士生涯”已经帮助他找到了比博士学位更重要的东西 ，再次退学。2012年结束在Google的实习后发表《王垠：我和Google的故事》，2013年03月发表《谈“P=NP?”》 ，并表示“这个问题其实是不存在的，它根本不需要解决。” 。2013年11月发表《What"s wrong with Object-Oriented Programming and Functional Programming》（《面向对象编程和函数式编程的问题出在哪里》），痛斥对象编程和函数编程弊端。2014年02月发表《程序员的心理疾病》，认为程序员群体存在心理疾患。