王垠可能啥也不是？

感谢helpme最近重新转载了王垠的几篇文章。这些文章恰好就是我老人家当年被王垠圈粉的“名著“。重温了一下这些”经典“，觉得王垠有些认识是很片面的，当年居然就觉得他是大牛？！他说来说去就是两条：理论的东西在工程上不能直接用，工程的东西在理论上不优雅。以我现在的水平看，很多东西都站不住脚，就是个比较聪明的愤青。如果搞个open debate,，让Cornell的系主任说说为啥开除他，他还真不一定赢。：）

另外这个人的道德水平非常成问题。说Cornell招他来就是为了他的廉价劳动力做TA，
说去IU的第一天就没想过拿PhD（只是想玩这个系统）。在微软消极怠工，等着对方
fire他，而不是主动辞职。这都不是有基本人文素养的人干得出来的。就算这些人都是大骗子，这些“骗子“招他来也是有成本的，是欣赏他的，而且没有利用他的才华赚到很多钱。如果真的有什么问题，也是计算机行业的问题，是整个社会的问题；他没有必要指名道姓的骂一个个无辜的个人。

昨天才知道他回国后还搞出了赵海平面试事件。稍微有点经验的人就应该能够figure
out：（1）他去杭州就是面试的，而且面了不止赵海平一个人。（如果仅仅如他自己所说，是去玩玩，不会事后那么气急败坏的骂赵海平。）（2）他没有拿到工作，就携粉
丝（和各种对阿里面试文化不满的受害者）搞损人不利己的网络暴力，害的赵这个老江湖也丢了工作。（3）他再牛也没有领导团队的经验，上不了阿里P8，P9的位置啊？这
点自知之明没有？大家都要从基层做起啊？他在Google和MS都不是什么高级的位置，为什么在阿里就觉得自己得是高级领导呢？ 其实我也很看不起阿里，但是如果有一天我
去面试，肯定得把面试官当爷啊。我当年毕业找工作的时候，也被面试官羞辱过，
面完之后也吐槽，但是没有指名道姓要搞坏谁的名声。（风气就这样，好好面下一家
就完了。）

anyway，以后再也不会觉得王垠是个人才了。大千世界无奇不有而已。。。

即便到今天，中国谁拿个比他之前pysonar更好的
类型推断这一类的软件放github了吗？
从作品来看，老王的本事就是人家是顶尖programmer。
专业方面也填补了国内空白。

其他的本事有没有，那都是闲谈。

写写程序也好，玩玩机器也好。是个挺开心的事。
你想太多了。弄复杂了。谁有多大本事，就是看作品和产品完事。
看宣传材料没个准的。
【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 感谢helpme最近重新转载了王垠的几篇文章。这些文章恰好就是我老人家当年被王垠圈
: 粉的“名著“。重温了一下这些”经典“，觉得王垠有些认识是很片面的，当年居然就
: 觉得他是大牛？！他说来说去就是两条：理论的东西在工程上不能直接用，工程的东西
: 在理论上不优雅。以我现在的水平看，很多东西都站不住脚，就是个比较聪明的愤青。
: 如果搞个open debate,，让Cornell的系主任说说为啥开除他，他还真不一定赢。：）
: 另外这个人的道德水平非常成问题。说Cornell招他来就是为了他的廉价劳动力做TA，
: 说去IU的第一天就没想过拿PhD（只是想玩这个系统）。在微软消极怠工，等着对方
: fire他，而不是主动辞职。这都不是有基本人文素养的人干得出来的。就算这些人都是
: 大骗子，这些“骗子“招他来也是有成本的，是欣赏他的，而且没有利用他的才华赚到
: 很多钱。如果真的有什么问题，也是计算机行业的问题，是整个社会的问题；他没有必
: ...................

王垠的问题是能力配不上个性，眼高于顶受不得委屈。阿里事件一开始他也没有指名道姓地说面试官是赵海平，后来被人肉出来的。阿里内部人还爆赵海平好像之前
performance就不太达标，好像人品也有问题，被325未必关王垠的事。

【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 感谢helpme最近重新转载了王垠的几篇文章。这些文章恰好就是我老人家当年被王垠圈
: 粉的“名著“。重温了一下这些”经典“，觉得王垠有些认识是很片面的，当年居然就
: 觉得他是大牛？！他说来说去就是两条：理论的东西在工程上不能直接用，工程的东西
: 在理论上不优雅。以我现在的水平看，很多东西都站不住脚，就是个比较聪明的愤青。
: 如果搞个open debate,，让Cornell的系主任说说为啥开除他，他还真不一定赢。：）
: 另外这个人的道德水平非常成问题。说Cornell招他来就是为了他的廉价劳动力做TA，
: 说去IU的第一天就没想过拿PhD（只是想玩这个系统）。在微软消极怠工，等着对方
: fire他，而不是主动辞职。这都不是有基本人文素养的人干得出来的。就算这些人都是
: 大骗子，这些“骗子“招他来也是有成本的，是欣赏他的，而且没有利用他的才华赚到
: 很多钱。如果真的有什么问题，也是计算机行业的问题，是整个社会的问题；他没有必
: ...................

你也不懂静态分析啥的，咋就这么推崇pysonar？王垠主要还是靠以前的网红名气，加
上pysonar是在Google家做出来的，才赚了几千颗星。这个project确实帮他找到份工作，两个Stanford毕业生开的startup主动找上他，给他做chief scientist来拓展
pysonar。但是干了没几个月，老王还是因为性格问题被炒了，那个公司产品也把
pysonar替换掉了。

【 在 chebyshev (......) 的大作中提到: 】
: 即便到今天，中国谁拿个比他之前pysonar更好的
: 类型推断这一类的软件放github了吗？
: 从作品来看，老王的本事就是人家是顶尖programmer。
: 其他的本事有没有，那都是闲谈。
: 写写程序也好，玩玩机器也好。是个挺开心的事。
: 你想太多了。弄复杂了。

打打嘴炮然后哭求refer，码农读他的文章也就发泄一下藐视权威的情绪，实际上等价
于普通人刷抖音，纯粹是浪费时间。多亏他胎投的好，可以回去啃老，不然再过几年说不定也是买买提上一名大将军。

我只看实证。不推崇谁。

之前好多简化中文圈子的人，巴拉巴拉说他那个pysonar不好。
但是无人拿代码出来。那不都是屁话。
不说多少星了，那是另一回事。

写简化中文的，有人拿出来python的类型推断的软件么？
或者其他第一流语言的类型推断软件也可以，例如js。

实证最大，不要看吹。

wdong说老王背景很牛逼，是有道理的。
他那个pysonar很难干。
【 在 helpme (名虚胖字满肥) 的大作中提到: 】
: 你也不懂静态分析啥的，咋就这么推崇pysonar？王垠主要还是靠以前的网红名气，加
: 上pysonar是在Google家做出来的，才赚了几千颗星。这个project确实帮他找到份工作
: ，两个Stanford毕业生开的startup主动找上他，给他做chief scientist来拓展
: pysonar。但是干了没几个月，老王还是因为性格问题被炒了，那个公司产品也把
: pysonar替换掉了。

他父母只是成都退休教师吧，他没啥老可以啃。

【 在 fantasist (一) 的大作中提到: 】
: 打打嘴炮然后哭求refer，码农读他的文章也就发泄一下藐视权威的情绪，实际上等价
: 于普通人刷抖音，纯粹是浪费时间。多亏他胎投的好，可以回去啃老，不然再过几年说
: 不定也是买买提上一名大将军。

之前好像看到谁说挺有钱的。到底有没有很多钱也是无所谓的事。
【 在 helpme (名虚胖字满肥) 的大作中提到: 】
: 他父母只是成都退休教师吧，他没啥老可以啃。

千万别拿 pysonar 说事儿，我指出了其中的问题，王垠假装没看到。
他现在也不怎么吹这个了。
【 在 chebyshev (......) 的大作中提到: 】
: 即便到今天，中国谁拿个比他之前pysonar更好的
: 类型推断这一类的软件放github了吗？
: 从作品来看，老王的本事就是人家是顶尖programmer。
: 专业方面也填补了国内空白。
: 其他的本事有没有，那都是闲谈。
: 写写程序也好，玩玩机器也好。是个挺开心的事。
: 你想太多了。弄复杂了。谁有多大本事，就是看作品和产品完事。
: 看宣传材料没个准的。

他自己博客里有写，父母住成都的公寓楼，楼梯间里的玻璃烂了都没人管，他又把成都喷了一通。应该不是什么富二代啦。

【 在 fantasist (一) 的大作中提到: 】
: 之前好像看到谁说挺有钱的。到底有没有很多钱也是无所谓的事。

http://www.mitbbs.com/article0/Programming/31499655_0.html

发这个贴之前，我在微博上点他了。他含沙射影地攻击我，也就这点气量，呵呵

【 在 alanine (尺子) 的大作中提到: 】
: 千万别拿 pysonar 说事儿，我指出了其中的问题，王垠假装没看到。
: 他现在也不怎么吹这个了。

红楼梦也有错别字。
有错误应该批评。
但是文学评论家和作家是两回事。

小众方向工具少，从0搞定一件事，你干过吗？
你试试就知道难度了。

发paper另说，我也觉得他不是那块料。
但是软件是讲究实做的。
例如你做个js类型推断，放github，我肯定也是仰视的。
只要你能做出来，拿去卖华为啥的，够上谈判桌了。
【 在 alanine (尺子) 的大作中提到: 】
: 千万别拿 pysonar 说事儿，我指出了其中的问题，王垠假装没看到。
: 他现在也不怎么吹这个了。

Lua类型推断，我10年前就做过。

That being said，我做的，以及你说的js类型推断，基本没有任何意义。你做的再好
，也比不过TypeScript。信息已经损失了，怎么可能100%还原回来？尤其是js的，面临的是TypeScript的直接碾压。华为傻X才会想买那么一个玩意儿。

TypeScript的类型推断，是划时代的。而且直接做成API然你随意分析AST。即使如此，他们还在继续搞，还能推断的更细。

话说TypeScript引入decorator是2015年7月20日。在那之前，我已经把decorator描述
UI属性的方法写进专利文本了。

【 在 chebyshev (......) 的大作中提到: 】
: 红楼梦也有错别字。
: 有错误应该批评。
: 但是文学评论家和作家是两回事。
: 小众方向工具少，从0搞定一件事，你干过吗？
: 你试试就知道难度了。
: 发paper另说，我也觉得他不是那块料。
: 但是软件是讲究实做的。
: 例如你做个js类型推断，放github，我肯定也是仰视的。
: 只要你能做出来，拿去卖华为啥的，够上谈判桌了。

王垠有点可能没有意识到，就是他能写出pysonar，可能是因为狗家给了很好的题目。
有意义的问题提出来，后面解决需要动脑筋，但是比无处下口强多了。

你把你的产品，和技术讨论分开。不然大家不好发言。
【 在 TeacherWei (TW) 的大作中提到: 】
: Lua类型推断，我10年前就做过。
: That being said，我做的，以及你说的js类型推断，基本没有任何意义。你做的再好
: ，也比不过TypeScript。信息已经损失了，怎么可能100%还原回来？尤其是js的，面临
: 的是TypeScript的直接碾压。华为傻X才会想买那么一个玩意儿。
: TypeScript的类型推断，是划时代的。而且直接做成API然你随意分析AST。即使如此，
: 他们还在继续搞，还能推断的更细。
: 话说TypeScript引入decorator是2015年7月20日。在那之前，我已经把decorator描述
: UI属性的方法写进专利文本了。

问题的setup至关重要。这就是为什么alex是绝对的牛人，但是辛顿是牛人之祖师。

有极大的可能是因为问题之原初是别人给的。所以老王从来没这个见识。
所以后来没啥作品，也没有在python辅助工具这块后续做下去，

我记得以前分析过，
历史上pysonar应该是属于Jython的一部分，是steve yage这个老油条的项目分支。
Steve Yaga年轻时候写过一个Elisp的js解释器啥的。
老王也是emacs社区的。
【 在 Caravel (克拉维尔) 的大作中提到: 】
: 王垠有点可能没有意识到，就是他能写出pysonar，可能是因为狗家给了很好的题目。
: 有意义的问题提出来，后面解决需要动脑筋，但是比无处下口强多了。

人在網上的表現和私底下是不一樣的。

沒必要serious，尤其是這種靠話題和熱度的公衆人物。
【 在 alanine (尺子) 的大作中提到: 】
: http://www.mitbbs.com/article0/Programming/31499655_0.html
: 发这个贴之前，我在微博上点他了。他含沙射影地攻击我，也就这点气量，呵呵

产品也好，技术也好，其实都没啥可做的。一个人，到底能做多大？其实是一个蛮有意思的话题。我关心的其实一直是如何越做越小？代码本来就应该越写越少。把事情说得越来越清楚，事情做得越来越简单，才能算是说了一点人话，干了一点人事儿。

我只说的我的个人观点。别的啥都不在乎。也从来每在乎过我算不算“正常人”。

【 在 chebyshev (......) 的大作中提到: 】
: 你把你的产品，和技术讨论分开。不然大家不好发言。

Hinton即使现在也是走小众路线，他搞的都不是transformer这些流行的模型，天天想
办法做胶囊，还有最近有一个hiearchy的想法。

【 在 chebyshev (......) 的大作中提到: 】
: 问题的setup至关重要。这就是为什么alex是绝对的牛人，但是辛顿是牛人之祖师。
: 有极大的可能是因为问题之原初是别人给的。所以他从没这个见识。
: 所以后来没啥作品，也没有在python辅助工具这块后续做下去，
: 我记得以前分析过，
: 历史上pysonar应该是属于Jython的一部分，是steve yage这个老油条的项目分支。
: Steve Yaga年轻时候写过一个Elisp的js解释器啥的。
: 老王也是emacs社区的。

话说回来，有条件的在公司还是应该努力拼搏，往上走。除了读书之外，也要各种令人愤怒，遗憾与伤感的事，都经历过，才能增长见识。

Imagnet test结果出来后。至今将近十年时间。辛顿各种点卡的稳稳的。这种老辣，远超大公司一般的senior VP。不然哪来的AI这个trends？他老人家也是吃过苦才学会的。
从Imagnet test那儿到现在，还差着九九八十一难，绝不是一般人能驾驭的。

【 在 Caravel (克拉维尔) 的大作中提到: 】
: Hinton即使现在也是走小众路线，他搞的都不是transformer这些流行的模型，天天想
: 办法做胶囊，还有最近有一个hiearchy的想法。

http://weiminghome.mitbbs.com/article_t/Programming/31500353.html

【 在 helpme (名虚胖字满肥) 的大作中提到: 】
: 你也不懂静态分析啥的，咋就这么推崇pysonar？王垠主要还是靠以前的网红名气，加
: 上pysonar是在Google家做出来的，才赚了几千颗星。这个project确实帮他找到份工作
: ，两个Stanford毕业生开的startup主动找上他，给他做chief scientist来拓展
: pysonar。但是干了没几个月，老王还是因为性格问题被炒了，那个公司产品也把
: pysonar替换掉了。

开源软件的business path，早就有专门的书了。
不是程序员拍脑袋就能不吃亏的。

这里有个问题。他说“新的 PySonar2 里面已经没有了 Google 的代码。”
难道之前PySonar有goog 产权的代码？
【 在 newIdRobot (新器人) 的大作中提到: 】
: http://weiminghome.mitbbs.com/article_t/Programming/31500353.html

的确。所以也不能总做自己喜欢的项目。

【在 Caravel(克拉维尔)的大作中提到：】
：王垠有点可能没有意识到，就是他能写出pysonar，可能是因为狗家给了很好的题目。
：有意义的问题提出来，后面解决需要动脑筋，但是比无处下口强多了。

王垠某种程度上有些像老邱

【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 感谢helpme最近重新转载了王垠的几篇文章。这些文章恰好就是我老人家当年被王垠圈
: 粉的“名著“。重温了一下这些”经典“，觉得王垠有些认识是很片面的，当年居然就
: 觉得他是大牛？！他说来说去就是两条：理论的东西在工程上不能直接用，工程的东西
: 在理论上不优雅。以我现在的水平看，很多东西都站不住脚，就是个比较聪明的愤青。
: 如果搞个open debate,，让Cornell的系主任说说为啥开除他，他还真不一定赢。：）
:
: 另外这个人的道德水平非常成问题。说Cornell招他来就是为了他的廉价劳动力做TA，
: 说去IU的第一天就没想过拿PhD（只是想玩这个系统）。在微软消极怠工，等着对方
: fire他，而不是主动辞职。这都不是有基本人文素养的人干得出来的。就算这些人都是
: 大骗子，这些“骗子“招他来也是有成本的，是欣赏他的，而且没有利用他的才华赚到
: 很多钱。如果真的有什么问题，也是计算机行业的问题，是整个社会的问题；他没有必
: 要指名道姓的骂一个个无辜的个人。
:
: 昨天才知道他回国后还搞出了赵海平面试事件。稍微有点经验的人就应该能够figure
: out：（1）他去杭州就是面试的，而且面了不止赵海平一个人。（如果仅仅如他自己所
: 说，是去玩玩，不会事后那么气急败坏的骂赵海平。）（2）他没有拿到工作，就携粉
: 丝（和各种对阿里面试文化不满的受害者）搞损人不利己的网络暴力，害的赵这个老江
: 湖也丢了工作。（3）他再牛也没有领导团队的经验，上不了阿里P8，P9的位置啊？这
: 点自知之明没有？大家都要从基层做起啊？他在Google和MS都不是什么高级的位置，为
: 什么在阿里就觉得自己得是高级领导呢？ 其实我也很看不起阿里，但是如果有一天我
: 去面试，肯定得把面试官当爷啊。我当年毕业找工作的时候，也被MS的面试官羞辱过，
: 面完之后也吐槽，但是没有指名道姓要搞坏谁的名声。（当年微软中国研究院的风气就
: 这样，好好面下一家就完了。）
:
: anyway，以后再也不会觉得王垠是个人才了。大千世界无奇不有而已。。。

他要踏踏实实做工程师或者研究 还是可以一路走下去的，可惜人品太差，眼界狭窄，
眼高手低，无论专业还是生活都是个烂苹果了

【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 感谢helpme最近重新转载了王垠的几篇文章。这些文章恰好就是我老人家当年被王垠圈
: 粉的“名著“。重温了一下这些”经典“，觉得王垠有些认识是很片面的，当年居然就
: 觉得他是大牛？！他说来说去就是两条：理论的东西在工程上不能直接用，工程的东西
: 在理论上不优雅。以我现在的水平看，很多东西都站不住脚，就是个比较聪明的愤青。
: 如果搞个open debate,，让Cornell的系主任说说为啥开除他，他还真不一定赢。：）
: 另外这个人的道德水平非常成问题。说Cornell招他来就是为了他的廉价劳动力做TA，
: 说去IU的第一天就没想过拿PhD（只是想玩这个系统）。在微软消极怠工，等着对方
: fire他，而不是主动辞职。这都不是有基本人文素养的人干得出来的。就算这些人都是
: 大骗子，这些“骗子“招他来也是有成本的，是欣赏他的，而且没有利用他的才华赚到
: 很多钱。如果真的有什么问题，也是计算机行业的问题，是整个社会的问题；他没有必
: ...................

我没有必要跟你显摆我做过的东西。非要谈批评的资格是几个意思？你可以仔细看看我的贴，再推断我懂不懂这个。
http://www.mitbbs.com/article0/Programming/31499655_0.html

起码我能在读懂他代码的基础上指出它的错误所在，要是觉得我说的不在理，欢迎继续就技术细节深究。

有一次去 POPL 会议我还和王垠本人聊过，不过那时他还没有在网上出名。

【 在 chebyshev (......) 的大作中提到: 】
: 红楼梦也有错别字。
: 有错误应该批评。
: 但是文学评论家和作家是两回事。
: 小众方向工具少，从0搞定一件事，你干过吗？
: 你试试就知道难度了。
: 发paper另说，我也觉得他不是那块料。
: 但是软件是讲究实做的。
: 例如你做个js类型推断，放github，我肯定也是仰视的。
: 只要你能做出来，拿去卖华为啥的，够上谈判桌了。

没人说你不能批评。也没人说你不懂。
软件评论，与软件不是一回事。

公司工作的没几个能说自己项目的。
完全有可能你的工作或者许多人的工作更重要。更厉害。
然而对我这样不懂的人来说。只看出来软件的实证。

【 在 alanine (尺子) 的大作中提到: 】
: 我没有必要跟你显摆我做过的东西。非要谈批评的资格是几个意思？你可以仔细看看我
: 的贴，再推断我懂不懂这个。
: http://www.mitbbs.com/article0/Programming/31499655_0.html
: 起码我能在读懂他代码的基础上指出它的错误所在，要是觉得我说的不在理，欢迎继续
: 就技术细节深究。
: 有一次去 POPL 会议我还和王垠本人聊过，不过那时他还没有在网上出名。

王垠搞自我炒作很有一套, 他如果闷声科研, 绝对达不到他目前的阶层高度, 可以对比一下他的川大同学

【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 感谢helpme最近重新转载了王垠的几篇文章。这些文章恰好就是我老人家当年被王垠圈
: 粉的“名著“。重温了一下这些”经典“，觉得王垠有些认识是很片面的，当年居然就
: 觉得他是大牛？！他说来说去就是两条：理论的东西在工程上不能直接用，工程的东西
: 在理论上不优雅。以我现在的水平看，很多东西都站不住脚，就是个比较聪明的愤青。
: 如果搞个open debate,，让Cornell的系主任说说为啥开除他，他还真不一定赢。：）
: 另外这个人的道德水平非常成问题。说Cornell招他来就是为了他的廉价劳动力做TA，
: 说去IU的第一天就没想过拿PhD（只是想玩这个系统）。在微软消极怠工，等着对方
: fire他，而不是主动辞职。这都不是有基本人文素养的人干得出来的。就算这些人都是
: 大骗子，这些“骗子“招他来也是有成本的，是欣赏他的，而且没有利用他的才华赚到
: 很多钱。如果真的有什么问题，也是计算机行业的问题，是整个社会的问题；他没有必
: ...................

哈哈, 这个还真有点

【 在 mb1 (mb1) 的大作中提到: 】
: 王垠某种程度上有些像老邱

王垠还发过POPL？您也发过POPL？我印象中POPL是PL领域的#1？他是去听，还是发了文章？

【 在 alanine (尺子) 的大作中提到: 】
: 我没有必要跟你显摆我做过的东西。非要谈批评的资格是几个意思？你可以仔细看看我
: 的贴，再推断我懂不懂这个。
: http://www.mitbbs.com/article0/Programming/31499655_0.html
: 起码我能在读懂他代码的基础上指出它的错误所在，要是觉得我说的不在理，欢迎继续
: 就技术细节深究。
: 有一次去 POPL 会议我还和王垠本人聊过，不过那时他还没有在网上出名。

我始終不太明白爲啥有男的會拿一個女明星的名字當ID，或者用女明星的照片當頭像，這個做法的point是啥？
【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 王垠还发过POPL？您也发过POPL？我印象中POPL是PL领域的#1？他是去听，还是发了文
: 章？

我印象里这位似乎是女教授？以前来问过问题的。
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 我始終不太明白爲啥有男的會拿一個女明星的名字當ID，或者用女明星的照片當頭像，
: 這個做法的point是啥？

他的论文纪录很清楚吧，0

【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 王垠还发过POPL？您也发过POPL？我印象中POPL是PL领域的#1？他是去听，还是发了文
: 章？

你要不要在本版介绍点普及性的语言方面，现在的前沿，工具等等？

我理解做研究的人和写软件的不是一回事。之前的话没有看不起你的学问的意思。

这就好比迄今也有很多人认为写matlab的不是CS。然而早先ML/AI的课很多都是matlab。
包括我来美国后一直也是写matlab，mathematica什么的很多年。
【 在 alanine (尺子) 的大作中提到: 】
: 他的论文纪录很清楚吧，0

是男的。用偶像的名字做ID。。。 图像是粉丝们做的祝姐姐生日快乐。 ：）

【 在 chebyshev (......) 的大作中提到: 】
: 我印象里这位似乎是女教授？以前来问过问题的。

做研究的人可以分两类：专门做理论不写“hello word”。如牛津大学Programming
Language Group一半以上的教授。代表是图灵奖得主Hoare（Quicksort和Monitor发明
人），连键盘都不会用。另一类是扎扎实实做软件给大家用，如剑桥大学做“同样”专业的，如他们做的VMWare，图灵奖得主Milner，剑桥学派可能跟你们更有共同语言。牛津学派在你们看来就是忽悠。（呵呵，在我看来绝大多数也是。。。）

【 在 chebyshev (......) 的大作中提到: 】
: 你要不要在本版介绍点普及性的语言方面，现在的前沿，工具等等？
: 我理解做研究的人和写软件的不是一回事。之前的话没有看不起你的学问的意思。
: 这就好比迄今也有很多人认为写matlab的不是CS。然而早先ML/AI的课很多都是
matlab。
: 包括我来美国后一直也是写matlab，mathematica什么的很多年。

我不觉得做研究的是忽悠。成果都是一点点积累的。只是工种不同而已。

最简单的情况。天才人物也要有之前的数据积累。
哥白尼也是拿了别人的数据才有天体运行论的。
data acquring本身就包括了对数据的modeling。
简单说，你得有个办法，才能积累数据。这个办法未必明说，但那可能决定了后来理论之取向。

【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 做研究的人可以分两类：专门做理论不写“hello word”。如牛津大学Programming : Language Group一半以上的教授。代表是图灵奖得主Hoare（Quicksort和Monitor发明
: 人），连键盘都不会用。另一类是扎扎实实做软件给大家用，如剑桥大学做“同样”专
: 业的，如他们做的VMWare，图灵奖得主Milner，剑桥学派可能跟你们更有共同语言。牛
: 津学派在你们看来就是忽悠。（呵呵，在我看来绝大多数也是。。。）
: matlab。

agreed。做研究本来不应该是忽悠。做教授的，绝大多数都不是知道是忽悠还专门去搞。但是在重视理论的领域，忽悠的成本小一些，被发现的周期很长。做软件给人用的，忽悠很快就现原形。因此在理论领域，常常出现“劣币驱逐良币”。不忽悠的人反而成了异类。极端的例子是不做弦论，在哈佛不能tenure。王垠的很多文字，就是说做理论的是忽悠。我当年做的东西比较理论，所以看了王垠的文章，就被他圈粉了。当年告别CS，也是因为对各种学术界和公司里面的忽悠不满。

【 在 chebyshev (......) 的大作中提到: 】
: 我不觉得做研究的是忽悠。成果都是一点点积累的。只是工种不同而已。
: 最简单的情况。天才人物也要有之前的数据积累。
: 哥白尼也是拿了别人的数据才有天体运行论的。
: data acquring本身就包括了对数据的modeling。
: 简单说，你得有个办法，才能积累数据。这个办法未必明说，但那可能决定了后来理论
: 之取向。

王垠的文章写的不错，主要是言之有物，并不是copy/paste出来的，当然很多观点会引起争议。

我觉得你疯了。是不是中学语文没学好。接受了“华夏文化阻碍科技进步”这一套
斗争理论。所以
孔孟老庄不去粉。也不粉爱因斯坦，专门粉网红？

但是我已经讲清楚了这个问题。为华夏文明之进路，略建薄功。

【 在 YangYuying(莫把运气当才气) 的大作中提到: 】
<br>: agreed。做研究本来不应该是忽悠。做教授的，绝大多数都不是知道是忽悠还专
门去搞
<br>: 。但是在重视理论的领域，忽悠的成本小一些，被发现的周期很长。做软件给人
用的，
<br>: 忽悠很快就现原形。因此在理论领域，常常出现“劣币驱逐良币

对。老王保留了独立思考的权力。不管对错，都是贡献。够不够发表论文是两说，人家没有切除自己的大脑。

【 在 Caravel(克拉维尔) 的大作中提到: 】

: 王垠的文章写的不错，主要是言之有物，并不是copy/paste出来的，当然很多观点会引

: 起争议。

我靠。我看你才是疯了。

你这属于暴起伤人。

说ceng(3)就ceng(3)。

关键你没个稳定性啊，你这样别人怎么跟你说话啊？

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 我觉得你疯了。是不是中学语文没学好。接受了“华夏文化阻碍科技进步”
: 这一套
: 斗争理论。所以
: 孔孟老庄不去粉。也不粉爱因斯坦，专门粉网红？
: 但是我已经讲清楚了这个问题。为华夏文明之进路，略建薄功。
:
: agreed。做研究本来不应该是忽悠。做教授的，绝大多数都不是知道是忽
: 悠还专
: 门去搞
:
: 。但是在重视理论的领域，忽悠的成本小一些，被发现的周期很长。做软
: 件给人
: ...................

我的问题有啥不对？

孔孟老庄不说。你粉个赵云诸葛亮也好啊。再不然跟军版那批疯子一样，不粉毛泽东，专门粉粟裕林彪不行吗？

我这是给华夏文明开进路。只是你不懂而已。

全地球除了我，谁能给你解释清楚：清朝科技落后之原因不是华夏文明。
你看着简单。知道我研究了好几年才找到这个逻辑通路么。

知道我从哪年开始这个计划的么。

这个问题不解决。你让你儿子做精神白人？
【 在 TheMatrix(TheMatrix) 的大作中提到: 】
<br>: 我靠。我看你才是疯了。
<br>: 你这属于暴起伤人。
<br>: 说ceng(3)就ceng(3)。
<br>: 关键你没个稳定性啊，你这样别人怎么跟你说话啊？
<br>

我98年开始上mitbbs, 总共发了才 4674 篇帖子，而且估计90%是头五年。
在本版也发过不多的一些帖子，很少参与热点讨论。以前还时不时说说
自己的观点，随着年纪增长，想说的越来越少。不知道各位是不是也这样

另外我也无非是个普通的 PL 领域的 PhD 而已，并没有多少拿得出手的
学术成就，见笑了。我以前在这里发言，还被一个说不上很熟的朋友认出
来了。现在这个朋友也算是开山立派，实现了一套语言，发展了社区和生
态，钱还没少挣。至于王垠这样的，茶余饭后的谈资罢了

每个人在不同人生阶段的思考和方向都不一样，我也刚刚完成了一个小目
标，说不好打算回头再把学术方面捡一检，纯粹个人兴趣了，并不足道。

【 在 chebyshev (......) 的大作中提到: 】
: 你要不要在本版介绍点普及性的语言方面，现在的前沿，工具等等？
: 我理解做研究的人和写软件的不是一回事。之前的话没有看不起你的学问的意思。
: 这就好比迄今也有很多人认为写matlab的不是CS。然而早先ML/AI的课很多都是
matlab。
: 包括我来美国后一直也是写matlab，mathematica什么的很多年。

是分了这两种。学校里到现在也一样，做RA的学生，编程工作的一分钱不给，给的是数据结论，但程序你也得附上，还不能有计算错误。所以你看TCS出来的，个个都只写命
令行界面输出到文本文件，根本没有GUI的技能，界面对这个专业都是浪费时间。

【 在 YangYuying (莫把运气当才气) 的大作中提到: 】
: 做研究的人可以分两类：专门做理论不写“hello word”。如牛津大学Programming : Language Group一半以上的教授。代表是图灵奖得主Hoare（Quicksort和Monitor发明
: 人），连键盘都不会用。另一类是扎扎实实做软件给大家用，如剑桥大学做“同样”专
: 业的，如他们做的VMWare，图灵奖得主Milner，剑桥学派可能跟你们更有共同语言。牛
: 津学派在你们看来就是忽悠。（呵呵，在我看来绝大多数也是。。。）
: matlab。

他清华同学的学术/个人生活，现在不比他差，以后只会更好。

清华读博是他人生的顶点，如果好好珍惜，本可前途无量。

我自己在人生有选择的时候，没有选最佳路径，现在也没得选咯……

【 在 mitbbs2715 (好吃不懒做) 的大作中提到: 】
: 王垠搞自我炒作很有一套, 他如果闷声科研, 绝对达不到他目前的阶层高度, 可以对比
: 一下他的川大同学