王垠又要回国了

p
pxu
楼主 (未名空间)
http://www.yinwang.org/blog-cn/2017/04/06/update

"
更新

几个月没有更新了,有些人来问我为什么,我也没有回他们。显然我不会因为有人来问就写东西,我写东西完全是因为我自己想写,它不受任何人的影响,不管是好心人还是别有用心的。不过现在回答一下,我没写文章是因为我在忙着写很好玩,很有价值的代码。

我知道这个博客的影响力很大,但我对此所产生的“名气”一点都不在乎。以前的公司领导有时见到我,说:“我听说你在网上很有名啊!介绍几个粉丝来我们公司,我们就走向成功啦!” 我听了苦笑一声。因为对于我来说,“网上有名”其实是一种贬低。
想利用我的名气,说明他们不理解我最重要的价值。可能是好心的恭维,然而这种不理解真正价值的恭维,听着很不是滋味。我给公司提供的实实在在的价值,有目共睹,有些人却只能看到名气。我王垠没有粉丝,也不需要粉丝。

我不在乎甚至讨厌“名气”,但我确实在乎我写的东西的“影响力”。我在乎它,是因为很多人能够看到我的文字和想法,这些会对这些人以至于整个社会产生深远的影响。至于这些改变是不是归功到我身上,我根本不在乎。我在乎的是,我的想法真正的改变了很多人的思维,改善了社会风气,最后使我自己也获益。所以也许我最初就不该用自己的真名,而应该使用一个笔名,这样也不至于给我的事业带来影响。

但既然这已经发生了,我也只有认命了。我死都不怕,还怕招揽几个恶名吗。实际上名声很难掩盖我真实的能力,就像黄药师的恶名,也很难给他造成实际的影响。当然,我的能力是盖世无双的,我可以心平气和的说出这句话,不带半点虚荣。这不需要任何人的认可,因为世界上已经没有任何人有资格来认可我。

这种奇妙的能力,不但最初在Google得到了体现,在Coverity,SourceGraph,Shape
Security,一次次的巧妙发挥,最近又再一次的在微软得到了发扬光大。我不得不说,微软是少有的踏踏实实,用心做技术的公司,很少有瞎指挥的情况。也只有这样的公司,才可能从最底层开始做独立的技术。在微软,我的团队的产品是一种企业级存储设备,名叫 StorSimple。这东西看似跟我的特长程序语言(PL)关系不大,然而其实我从
来就没有局限于 PL,我的洞察力深入到了计算机科学的各个领域。

这是一种艺术,是不局限于领域的才能。任何我接触到的东西,都被揭示出其本质,揭开肤浅复杂的表面现象,被改造得更加简单,更加可靠和精密。在微软,我从头构造的基于 B+ 树的核心数据结构,被巧妙地集成到一个复杂的含有大量并发同步问题的系统里面,正在经受企业级数据的千锤百炼,从来没出过差错。存储设备是一个几乎完全不可以出bug的领域,因为一旦用户的数据因此丢失或者发生错误,后果将是灾难性的,
不可逆转的,不是重启一下机器就可以了结的。用户会离你而去,再也不会回头,跟飞机因质量问题而坠毁的后果差不多。

不客气的说,我做的这玩意还真是这产品的核心部件,你可以把它想成是一个“云”里的文件系统。把它精确地换成像B+树这么复杂的数据结构,而不破坏其它组件,是微软这方向的principle engineer们联手也难办到的事情。光是写一个没有bug的B+树,其
实都够让绝大部分的程序员汗颜。有个写过B+树的principle engineer跟我咋呼要“先写测试”,可我就是直接两天把代码给写出来了,然后再写了一个测试,就已经到了无懈可击的地步。而且代码优雅而通用化,可以原封不动用到很多其他地方,比如数据库索引。

像B+树这么复杂的数据结构,你还真是很难把它写得简单正确还通用,但这对我来说是家常便饭。微软有一些很厉害的principle engineer,他们的B+树代码我看过了。实话说吧,虽然可以用,但非常繁复没法看,很难确信它是正确的,而且每次用到新的地方,你都得改动挺多代码才行,不能作为“库代码”来调用。难怪跟我说需要很多很多的测试,还说要先写测试再写代码什么的……

当然我说这些完全没有贬低微软工程师的能力。不能超越王垠,是再正常不过的事了,不是吗?所以当然不是耻辱 :P 相比其它肤浅的公司(Google,Facebook……),微软的好些人显然已经是世界顶级的水平,兢兢业业踏踏实实的在做自己的工作,而且在必要的时候给了我一些启发,人也相当好。可是在代码的优雅,简单和可靠性上,世界上还真没有人可以跟王垠抗衡。

不过呢我也看到了,我创造的价值已经大大的高于我的薪酬。微软给我的级别和薪资,完全就是一个笑话。最初就是忽悠的,跟我说先给我一个低点的级别,进来半年以内升职,到现在没有一点动静。而且还有人时不时的提醒我一下,我不应该得到我应有的回报。很是拿title当回事,张口闭口“看看人家某principle……”,“你要是
principle才可以remote……”,这让我心里很不是滋味。

张口闭口principle,那倒是叫你的principle engineer写出可以跟我匹敌的代码来啊
?实话说吧,门都没有。世界上就只有一个人可以做到这个事情。微软的所有title,
全世界公司和大学的所有 title,还真没有一个是可以衡量本人的,管你什么
principle, distinguished…… 资本主义根深蒂固的劣根性就是肆无忌惮的贬低人的
价值,想拿白菜的价钱买白粉。你稍微谦虚一点,就有人真把自己很当回事了。这不是微软一家的问题,这种情况在短期是无法改变的。

所以呢,我的微软之行已经达到了它的目的,也快要到达它的尽头。对于Google我只有鄙视,成绩为 C。而对于微软,技术能力我还是比较尊重的,给个B。然而在这里,技
术能力确实没有办法得到公平的回报。过了这么几个月,我觉得也该是寻求自身价值应有回报的时候了。在美国待了十年,我已经很清楚,这种事情在美国是很难实现的。美国根本不是一个尊重事实和人才的国度,从来都不是,换了总统也不会是。这个虚伪的国家正在继续走向昏庸和毁灭。这一切,我已经看得很透了。

我的心,已经飞回到了中国。飞回到了家乡,飞到了北京,我每天都在想象跟老朋友们坐在一起喝茶聊天,感觉城市生命的律动。这一切,都是在美国永远得不到的,我命中注定要在中国生活。当然我知道国内的人也很复杂,很多制度不健全,但中国之大,我相信会遇到很多靠谱的人。我不会再给任何公司工作。我会创造一个伟大的公司,它会创造世界上最精致的产品,它会给真正有价值的人相应的回报和尊重。由于一些现实的问题,回国的日子还要等几个月,不过应该在年底之前。
"
n
nowhere7
2 楼
这样回国怕是不久就得搬到青山去住了
正好也让他认识到人外有人
p
pxu
3 楼
说实话他水平肯定是有的,但是国内更加急功近利,他最引以为傲的那点本事恐怕更加没人care。

【 在 nowhere7 (折腾) 的大作中提到: 】
这样回国怕是不久就得搬到青山去住了正好也让他认识到人外有人
n
nowhere7
4 楼
我就这个意思
他这明显是在回避现实
向往一个美丽的新世界
当年他THU退学时怎么说的?

他水平是应该有,但是远远远远远没到唯我独尊的地步
所以DK effect对他依旧适用,感觉要悲剧了
【 在 pxu (又呱噪又抠门还偷老婆钱) 的大作中提到: 】
说实话他水平肯定是有的,但是国内更加急功近利,他最引以为傲的那点本事恐怕更加
没人care。
w
walkrandom
5 楼
王垠的生活模式是depth first search。
其实,如果加一个buffer,记住走过的状态,就可以降低很多的复杂度。
stateless的深度搜索,太难了。
g
guvest
6 楼
我倒觉得他这个现在有进步。读弗雷格开窍了?

我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话,
除非是小孩子需要大人告诉他这点。

anyway,老王至少收敛到了intellectual honesty。想的是什么就说什么,
不self cheating。如果不是他还是老是扯人事的是是与非非,那老王也算是个星宿
派了。

现在这帖子,前半截还好好的。后半截又是不忍卒读。什么这个那个公司,
principle engineer都出来了。

【 在 pxu (又呱噪又抠门还偷老婆钱) 的大作中提到: 】
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了,有些人来问我为什么,我也没有回他们。显然我不会因为有人来问
就写东西,我写东西完全是因为我自己想写,它不受任何人的影响,不管是好心人还是
别有用心的。不过现在回答一下,我没写文章是因为我在忙着写很好玩,很有价值的代
码。
我知道这个博客的影响力很大,但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我,说:“我听说你在网上很有名啊!介绍几个粉丝来我们公司,我们就
走向成功啦!” 我听了苦笑一声。因为对于我来说,“网上有名”其实是一种贬低。
...................
g
guvest
7 楼
老王嘴上说着不关心别人的认可,不关心title。
实际上差远了。不然他写那么多相关的文字干嘛?
这就是悲剧啊。

【 在 walkrandom (walkrandom) 的大作中提到: 】
王垠的生活模式是depth first search。
其实,如果加一个buffer,记住走过的状态,就可以降低很多的复杂度。
stateless的深度搜索,太难了。
p
pxu
8 楼
我觉得他想回国当网红了,靠流量过活赚钱。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
老王嘴上说着不关心别人的认可,不关心title。
实际上差远了。不然他写那么多相关的文字干嘛?
这就是悲剧啊。
l
lukecn
9 楼
不知道他上不上MITBBS?
我隔壁求教一个报税软件的实现语言。
x
xiaoju
10 楼
有个屁水平

退学了10年后就是个计算机民科,整天到处喊你们看不懂我的论文就说明相对论是错的,诺贝尔奖委员会嫉妒我

【 在 pxu (又呱噪又抠门还偷老婆钱) 的大作中提到: 】
说实话他水平肯定是有的,但是国内更加急功近利,他最引以为傲的那点本事恐怕更加
没人care。
x
xiaoju
11 楼
王垠30多了,你不能用幼儿园小孩的标准衡量他

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我倒觉得他这个现在有进步。读弗雷格开窍了?
我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话,: 除非是小孩子需要大人告诉他这点。
anyway,老王至少收敛到了intellectual honesty。想的是什么就说什么,
不self cheating。如果不是他还是老是扯人事的是是与非非,那老王也算是个星宿
派了。
现在这帖子,前半截还好好的。后半截又是不忍卒读。什么这个那个公司,
principle engineer都出来了。
l
lukecn
12 楼
借王垠的人气,请大家到隔壁,看看我关于报税软件实现语言的求教帖子,请不吝赐教。
http://www.mitbbs.com/article_t/Programming/31499031.html

如果某人看不明白我要做什么,也请不要评价王垠了。
p
pker
13 楼
你这种垃圾,谁会给你免费咨询。
被我揭穿了想免费套白狼,就急眼。
也不看看你那张老逼脸,穷,没能力,还异想天开,吃屎去吧。

【 在 lukecn (luke) 的大作中提到: 】
借王垠的人气,请大家到隔壁,看看我关于报税软件实现语言的求教帖子,请不吝赐教。
http://www.mitbbs.com/article_t/Programming/31499031.html
如果某人看不明白我要做什么,也请不要评价王垠了。
l
lukecn
14 楼
请围观疯狗。

【 在 pker (我要那天再挡不住我眼) 的大作中提到: 】
你这种垃圾,谁会给你免费咨询。
被我揭穿了想免费套白狼,就急眼。
也不看看你那张老逼脸,穷,没能力,还异想天开,吃屎去吧。
教。
p
pker
15 楼
就你这种下三滥的招数,还想骗高手给你咨询?
你妈是婊子还是你爸是野狗,你以为就你那种垃圾说几句激将法,
高手就给你解答问题了?你脑子是不是你妈卖淫的时候被捅坏了?

这里高手无数,但是没人会帮你这种想免费捡便宜的跳梁小丑咨询的,

【 在 lukecn (luke) 的大作中提到: 】
请围观疯狗。
l
lukecn
16 楼
你是在侮辱你自己的父母。

再次请围观疯狗。

【 在 pker (我要那天再挡不住我眼) 的大作中提到: 】
就你这种下三滥的招数,还想骗高手给你咨询?
你妈是婊子还是你爸是野狗,你以为就你那种垃圾说几句激将法,
高手就给你解答问题了?你脑子是不是你妈卖淫的时候被捅坏了?
这里高手无数,但是没人会帮你这种想免费捡便宜的跳梁小丑咨询的,
O
Orzab
17 楼
我好久不做算法方面的 coding了,谁给说说真的不好找能实现 B+ tree 的程序员吗?
f
fangtuo2
18 楼
小众的skillset,就像linux kernel scheduler这种。

有需求,但是很少有这个需求。

【 在 Orzab(奥扎布) 的大作中提到: 】
我好久不做算法方面的 coding了,谁给说说真的不好找能实现 B tree 的程序员吗?
w
wdong
19 楼
B+树确实难写,如果是磁盘B+树那就是难上加难。
因为一碰上磁盘,不光是正确性,还得crash了能恢复一致性。
不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
王垠确实写程序牛B。但是写程序再牛B,写的也不是钱。
要想赚钱就得先学会装孙子。

我倒是有一计,就是找个水平比较低的公司,虽然少拿点
工资,至少技术上能说一不二想咋就咋。因为公司差也不会
有别的牛人来图这个职位。然后业余腾出时间来搞搞
开源项目啥的。技术牛人想图个纯粹,本来也不是个难事,
但是就别追求钱和地位了。

【 在 pxu (又呱噪又抠门还偷老婆钱) 的大作中提到: 】
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了,有些人来问我为什么,我也没有回他们。显然我不会因为有人来问
就写东西,我写东西完全是因为我自己想写,它不受任何人的影响,不管是好心人还是
别有用心的。不过现在回答一下,我没写文章是因为我在忙着写很好玩,很有价值的代
码。
我知道这个博客的影响力很大,但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我,说:“我听说你在网上很有名啊!介绍几个粉丝来我们公司,我们就
走向成功啦!” 我听了苦笑一声。因为对于我来说,“网上有名”其实是一种贬低。
...................
S
SwiftDove
20 楼
像wdong这样清淡寡欲,才高望重现在真的很少见(操,觉得说这话有点肉麻)。像王
垠那样眼睛长在头顶上,又没有什么拿得出手的东西,谁不烦哪. 那么多人做开源成名,
有本领做一个(他也有个什么玩意儿,自己当宝贝,可没人把它当回事啊).

他更不会听你的金玉良言. 对了,他讨到老婆了没有?

【 在 wdong (万事休) 的大作中提到: 】
B+树确实难写,如果是磁盘B+树那就是难上加难。
因为一碰上磁盘,不光是正确性,还得crash了能恢复一致性。
不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
王垠确实写程序牛B。但是写程序再牛B,写的也不是钱。
要想赚钱就得先学会装孙子。
我倒是有一计,就是找个水平比较低的公司,虽然少拿点
工资,至少技术上能说一不二想咋就咋。因为公司差也不会
有别的牛人来图这个职位。然后业余腾出时间来搞搞
开源项目啥的。技术牛人想图个纯粹,本来也不是个难事,
但是就别追求钱和地位了。
g
guvest
21 楼
说说老王的程序牛在哪些方面?

【 在 wdong(万事休) 的大作中提到: 】
B 树确实难写,如果是磁盘B 树那就是难上加难。
因为一碰上磁盘,不光是正确性,还得crash了能恢复一致性。
不过我怀疑他那个两天写出来的B 树应该不是磁盘结构。
王垠确实写程序牛B。但是写程序再牛B,写的也不是钱。
要想赚钱就得先学会装孙子。
我倒是有一计,就是找个水平比较低的公司,虽然少拿点
工资,至少技术上能说一不二想咋就咋。因为公司差也不会
有别的牛人来图这个职位。然后业余腾出时间来搞搞
开源项目啥的。技术牛人想图个纯粹,本来也不是个难事,
但是就别追求钱和地位了。
p
philistin
22 楼
他上一次谈他个人问题的时候是说有个想嫁给他的abc,但是他不是很想娶的样子
【 在 SwiftDove (Swift Dove) 的大作中提到: 】
像wdong这样清淡寡欲,才高望重现在真的很少见(操,觉得说这话有点肉麻)。像王
垠那样眼睛长在头顶上,又没有什么拿得出手的东西,谁不烦哪. 那么多人做开源成名,
有本领做一个(他也有个什么玩意儿,自己当宝贝,可没人把它当回事啊).
他更不会听你的金玉良言. 对了,他讨到老婆了没有?
g
guvest
23 楼
他这是做产品没入门吧?

我的浅见,很多代码到最后非常ugly,是因为大量用户冲刷下来发现了新的各种
cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
engineer
的代码复杂难懂,多半是人家不愿意告诉他诀窍。用户多的软件,robust要求高的软件,最后一mile往往是经
验积累出来的商业机密。

他很可能没看懂。
他看不到或者别人不告诉他哪些不确定性需要处理。这种是
核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破,
一般不会有人随便说。

会写b 树是一回事。知道企业存储设备会出哪些corner cases,那些客户关心什么事另
外一回事。

【 在 wdong(万事休) 的大作中提到: 】
<br>: B 树确实难写,如果是磁盘B 树那就是难上加难。
<br>: 因为一碰上磁盘,不光是正确性,还得crash了能恢复一致性。
<br>: 不过我怀疑他那个两天写出来的B 树应该不是磁盘结构。
<br>: 王垠确实写程序牛B。但是写程序再牛B,写的也不是钱。
<br>: 要想赚钱就得先学会装孙子。
<br>: 我倒是有一计,就是找个水平比较低的公司,虽然少拿点
<br>: 工资,至少技术上能说一不二想咋就咋。因为公司差也不会
<br>: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
<br>: 开源项目啥的。技术牛人想图个纯粹,本来也不是个难事,
<br>: 但是就别追求钱和地位了。
<br>
g
guvest
24 楼
他快40了吧。国内念过硕士。出国10年?

【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
王垠30多了,你不能用幼儿园小孩的标准衡量他
g
guvest
25 楼
我倒是觉得他有一定的知识。但是engineering能力不行,还真是只能做测试或者entry level
engineer. 他应该是没有看明白过一个产品从kick off到赚到钱,到事后修补和维护
的全过程。

凡是用符号把捉现实的产品,都有这问题。出发点是好的,
最后是远离直觉的ugly的一坨。
量子力学修了几十年呢。principle engineer 海森堡也是没办法,只能把这个产品
弄的乱七八糟。
Einstein发明广义相对论,102年不用修,这是很少见的情况。

【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
<br>: 有个屁水平
<br>: 退学了10年后就是个计算机民科,整天到处喊你们看不懂我的论文就说明相对论
是错的
<br>: ,诺贝尔奖委员会嫉妒我
<br>
b
bihai
26 楼
有道理

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我倒是觉得他有一定的知识。但是engineering能力不行,还真是只能做测试或者
entry
level
engineer. 他应该是没有看明白过一个产品从kick off到赚到钱,到事后修补和维护
的全过程。
凡是用符号把捉现实的产品,都有这问题。出发点是好的,
最后是远离直觉的ugly的一坨。
量子力学修了几十年呢。principle engineer 海森堡也是没办法,只能把这个产品
弄的乱七八糟。
Einstein发明广义相对论,102年不用修,这是很少见的情况。

有个屁水平
...................
g
guvest
27 楼
其实按程序猿水平
本站站长老刑的水平非常非常高

本站创始人是MIT ai lab研究视觉的科学家
后来被技术员老刑夺权纂位
留下了一段码工佳话

现在老刑又挺进前沿
派来那么多机器人
【 在 bihai(学得不好) 的大作中提到: 】
<br>: 有道理
<br>: entry
<br>
d
dumbCoder
28 楼
你想多了,太高看公司级别和资历了...
公司代码愈发复杂,多半是逐步腐败的结果,就是每次一个老油条老员工来加个功能, 老油条只在乎用最小的力气,冒最小的风险,交作业交差, 然后领工资去混下个项目.
老油条剩下大把时间,拍拍马屁, 搞政治, 或者刷刷题,跳跳槽, 资历和级别涨得更快.
老王只是不明白(或者死不认)这个道理,老是要认真干项目, 所以总是吃亏心里不平衡.
如果一直混公司, 很多有理想的人,包括我们自己,最后都会堕落成老油条.
老王抗拒这个过程, 是一种死不悔改的中二病(偏褒义), 看着让人心酸.

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
他这是做产品没入门吧?
我的浅见,很多代码到最后非常ugly,是因为大量用户冲刷下来发现了新的各种
cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
engineer
的代码复杂难懂,多半是人家不愿意告诉他诀窍。用户多的软件,robust要求高的软件
,最后一mile往往是经
验积累出来的商业机密。
他很可能没看懂。
他看不到或者别人不告诉他哪些不确定性需要处理。这种是
核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破,
...................
g
guvest
29 楼
我不是好看公司资厉和title.我高看的是市场。
你说的情况一定是存在的。简单说企业应用代码复杂有两个情况。功能无非出自两个源头。

A 程序猿的头目为了让自己组有工开。加一些没用的功能。
B 用户端出现的的corner cases的修补和市场的新需求

这两种情况必然都是存在的。能一眼看出来哪个项目是做什么的才能混日子。不然要么就是第一种假装瞎忙,要么就是第二种王寅这种,被人忙了还不知道在干啥。

简单说,不掌握以及不了解demand的动机和源头的程序猿只能按你说的路子走。只能
按别人发过来的demand混日子。发功能的往往是老印。

市场是技术的重要源头。

【 在 dumbCoder(HumbleCoder 不懂就问-_-) 的大作中提到: 】
<br>: 你想多了,太高看公司级别和资历了...
<br>: 公司代码愈发复杂,多半是逐步腐败的结果,就是每次一个老油条老员工来加个
功能,
<br>: 老油条只在乎用最小的力气,冒最小的风险,交作业交差, 然后领工资去混下个
项目.
<br>: 老油条剩下大把时间,拍拍马屁, 搞政治, 或者刷刷题,跳跳槽, 资历和级别涨
得更快.
<br>: 老王只是不明白(或者死不认)这个道理,老是要认真干项目, 所以总是吃亏心里
不平衡.
<br>: 如果一直混公司, 很多有理想的人,包括我们自己,最后都会堕落成老油条.
<br>: 老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
<br>
d
dumbCoder
30 楼
我理解你的意思

但是 B+ tree 这种lib工具性质的 core data structure 模块,
如果设计不好, 或者代码腐败, 其实是应该 refactor 的.

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我不是好看公司资厉和title.我高看的是市场。
你说的情况一定是存在的。简单说企业应用代码复杂有两个情况。功能无非出自两个源
头。
A 程序猿的头目为了让自己组有工开。加一些没用的功能。
B 用户端出现的的corner cases的修补和市场的新需求
这两种情况必然都是存在的。能一眼看出来哪个项目是做什么的才能混日子。不然要么
就是第一种假装瞎忙,要么就是第二种王寅这种,被人忙了还不知道在干啥。
简单说,不掌握以及不了解demand的动机和源头的程序猿只能按你说的路子走。只能: 按别人发过来的demand混日子。发功能的往往是老印。
市场是技术的重要源头。
...................
s
saturnV
31 楼
一个B+ TREE有这么复杂?
x
xiaoju
32 楼
一听到B+第一反应就是这东西轮不到我写,肯定早有实现了

【 在 wdong (万事休) 的大作中提到: 】
B+树确实难写,如果是磁盘B+树那就是难上加难。
因为一碰上磁盘,不光是正确性,还得crash了能恢复一致性。
不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
王垠确实写程序牛B。但是写程序再牛B,写的也不是钱。
要想赚钱就得先学会装孙子。
我倒是有一计,就是找个水平比较低的公司,虽然少拿点
工资,至少技术上能说一不二想咋就咋。因为公司差也不会
有别的牛人来图这个职位。然后业余腾出时间来搞搞
开源项目啥的。技术牛人想图个纯粹,本来也不是个难事,
但是就别追求钱和地位了。
...................
x
xiaoju
33 楼
是的

写产品和学算法差别很大,就好比当官和学马哲一样大

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
他这是做产品没入门吧?
我的浅见,很多代码到最后非常ugly,是因为大量用户冲刷下来发现了新的各种
cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
engineer
的代码复杂难懂,多半是人家不愿意告诉他诀窍。用户多的软件,robust要求高的软件
,最后一mile往往是经
验积累出来的商业机密。
他很可能没看懂。
他看不到或者别人不告诉他哪些不确定性需要处理。这种是
核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破,
...................
x
xiaoju
34 楼
川大数学本科,辍学了3个博士把老东家骂的狗血喷头,你真是不看新闻

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
他快40了吧。国内念过硕士。出国10年?

王垠30多了,你不能用幼儿园小孩的标准衡量他
x
xiaoju
35 楼
他没看到这一步啊

总是把全部精力花在一两个冷门地方上,然后感叹全球都是sb不理解自己能力

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我倒是觉得他有一定的知识。但是engineering能力不行,还真是只能做测试或者
entry
level
engineer. 他应该是没有看明白过一个产品从kick off到赚到钱,到事后修补和维护
的全过程。
凡是用符号把捉现实的产品,都有这问题。出发点是好的,
最后是远离直觉的ugly的一坨。
量子力学修了几十年呢。principle engineer 海森堡也是没办法,只能把这个产品
弄的乱七八糟。
Einstein发明广义相对论,102年不用修,这是很少见的情况。
<br>: 有个屁水平
...................
c
convergence
36 楼
这人不是在微软搞测试吗?

【 在 pxu (又呱噪又抠门还偷老婆钱) 的大作中提到: 】
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了,有些人来问我为什么,我也没有回他们。显然我不会因为有人来问
就写东西,我写东西完全是因为我自己想写,它不受任何人的影响,不管是好心人还是
别有用心的。不过现在回答一下,我没写文章是因为我在忙着写很好玩,很有价值的代
码。
我知道这个博客的影响力很大,但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我,说:“我听说你在网上很有名啊!介绍几个粉丝来我们公司,我们就
走向成功啦!” 我听了苦笑一声。因为对于我来说,“网上有名”其实是一种贬低。
...................
p
pxu
37 楼
应该是有人觉得他屈才,给他做dev。

【 在 convergence (Rex💪🐶🐱🌎&) 的大作中提到: 】
这人不是在微软搞测试吗?
p
pxu
38 楼
你学会了屠龙技之后,估计也不会想天天膛猪。

【 在 xiaoju (可爱的龙猫) 的大作中提到: 】
他没看到这一步啊
总是把全部精力花在一两个冷门地方上,然后感叹全球都是sb不理解自己能力
entry
p
pxu
39 楼
B+ tree这种底层东东,应该比较少接触到客户需求。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
他这是做产品没入门吧?
我的浅见,很多代码到最后非常ugly,是因为大量用户冲刷下来发现了新的各种
cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
engineer
的代码复杂难懂,多半是人家不愿意告诉他诀窍。用户多的软件,robust要求高的软件
,最后一mile往往是经
验积累出来的商业机密。
他很可能没看懂。
他看不到或者别人不告诉他哪些不确定性需要处理。这种是
核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破,
...................
s
sovereignty
40 楼
非常赞同这位发言。
【 在 dumbCoder (HumbleCoder 不懂就问-_-) 的大作中提到: 】
你想多了,太高看公司级别和资历了...
公司代码愈发复杂,多半是逐步腐败的结果,就是每次一个老油条老员工来加个功能,
老油条只在乎用最小的力气,冒最小的风险,交作业交差, 然后领工资去混下个项目.
老油条剩下大把时间,拍拍马屁, 搞政治, 或者刷刷题,跳跳槽, 资历和级别涨得更快.
老王只是不明白(或者死不认)这个道理,老是要认真干项目, 所以总是吃亏心里不平衡.
如果一直混公司, 很多有理想的人,包括我们自己,最后都会堕落成老油条.
老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
a
acidia
41 楼
这个, 如果自己水平没到就别评论王垠的水平了

我看过他的一些代码,不客气的说,从这里有过往发言的人来看,没几个有王垠的水平的, 不过码工吗,主要靠吹和贬低别人,哪怕自己只不过是给填空的java 码农,经常也是鼻子朝天的额,本版颇有几个典型,基本算法design原则都不懂就敢出来骂人的, 你要让他拿出来自己的东西,他就会说,王垠那些代码我只是不屑于写,诸如此类的

说了骂他的人的问题,也说说王垠的问题吧, 从这篇文章看, 王垠是出了典型的心理问题, 他对社会的认知与实际偏差过大,导致无法妥协, 他在文章中用第三人称称呼自己,甚至称呼自己时用的是名字,这是典型的心理失衡,任何一个受过训练的心理医生都能察觉, 建议他最好看看一下心理医生,一方面是疏导,另一方面是可能有些药
物会起作用

王垠最好的出路可能是自己写个项目赚钱,或者开个consulting 公司,给别的公司解
决问题赚钱,解决完问题走人,这样不用拘束在公司里,自由一些
a
acidia
42 楼
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我倒是觉得他有一定的知识。但是engineering能力不行,还真是只能做测试或者
entry
level
engineer. 他应该是没有看明白过一个产品从kick off到赚到钱,到事后修补和维护
的全过程。
凡是用符号把捉现实的产品,都有这问题。出发点是好的,
最后是远离直觉的ugly的一坨。
量子力学修了几十年呢。principle engineer 海森堡也是没办法,只能把这个产品
弄的乱七八糟。
Einstein发明广义相对论,102年不用修,这是很少见的情况。

有个屁水平
...................
有些东西不是说能慢慢修正的
一开始设计错了,就是错了,再改都没用
这些年计算机行业被一些三流的人占据了主流, 思维根本跟不上, 写出来的代码,就算能工作,也是极度拙劣的凑合
另外你说量子力学修改几十年, 实际上量子力学在海森堡搭好架子有了动力学方程之
后就没修改过, 后来的只是在薛定谔方程基础上的拓展, 薛定谔方程的形式可是没有变过, 这就是我说的,根本的东西必须一次搞对
g
guvest
43 楼
一个软件,如果用的量大了,最后往往只能是凑合。
因为市场是不停的在变。最开始往往需要选中正平和的,
或者比较愚蠢的架构,这样出问题之后容易往里塞
补丁。Once for all solution的可能性不能排除,但是很少见.

这是我认为的实际产品和解决well defined问题的代码
段落之间最大的区别。那么多startup规模上去后换语言
也是这个原因。

我们无需争论,可以把这话放在10年后再看看大家的理解。

【 在 acidia (acidia) 的大作中提到: 】
entry
有些东西不是说能慢慢修正的
一开始设计错了,就是错了,再改都没用
这些年计算机行业被一些三流的人占据了主流, 思维根本跟不上, 写出来的代码,就
算能工作,也是极度拙劣的凑合
另外你说量子力学修改几十年, 实际上量子力学在海森堡搭好架子有了动力学方程之
后就没修改过, 后来的只是在薛定谔方程基础上的拓展, 薛定谔方程的形式可是没有
变过, 这就是我说的,根本的东西必须一次搞对
g
guvest
44 楼
这个不会是说我吧?
没有摆谱的意思。地球上每个人的手机和laptop上都有很大的可能有我的专利/算法/代码。。。

因为量太大,不允许出错.
我写生产code只用我自己认准没问题的一小点语言子集。
风格看起来是非常愚蠢的。水平看着是极低的。

不过老王的代码我确实没看过。回头有空看看。
【 在 acidia (acidia) 的大作中提到: 】
这个, 如果自己水平没到就别评论王垠的水平了
我看过他的一些代码,不客气的说,从这里有过往发言的人来看,没几个有王垠的水平
的, 不过码工吗,主要靠吹和贬低别人,哪怕自己只不过是给填空的java 码农,经常
也是鼻子朝天的额,本版颇有几个典型,基本算法design原则都不懂就敢出来骂人的,
你要让他拿出来自己的东西,他就会说,王垠那些代码我只是不屑于写,诸如此类的
说了骂他的人的问题,也说说王垠的问题吧, 从这篇文章看, 王垠是出了典型的心理
问题, 他对社会的认知与实际偏差过大,导致无法妥协, 他在文章中用第三人称称呼
自己,甚至称呼自己时用的是名字,这是典型的心理失衡,任何一个受过训练的心理医
生都能察觉, 建议他最好看看一下心理医生,一方面是疏导,另一方面是可能有些药
物会起作用
...................
a
acidia
45 楼
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
这个不会是说我吧?
没有摆谱的意思。地球上每个人的手机和laptop上都有很大的可能有我的专利/算法/
代码。。。
因为量太大,不允许出错.
我写生产code只用我自己认准没问题的一小点语言子集。
风格看起来是非常愚蠢的。水平看着是极低的。
不过老王的代码我确实没看过。回头有空看看。
当然不是说你
你和 wrong 算是这班上三观很正的了
a
acidia
46 楼
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
一个软件,如果用的量大了,最后往往只能是凑合。
因为市场是不停的在变。最开始往往需要选中正平和的,
或者比较愚蠢的架构,这样出问题之后容易往里塞
补丁。Once for all solution的可能性不能排除,但是很少见.
这是我认为的实际产品和解决well defined问题的代码
段落之间最大的区别。那么多startup规模上去后换语言
也是这个原因。
我们无需争论,可以把这话放在10年后再看看大家的理解。
一开始架子搭歪了, 想靠后期修改弥补,最终失败的项目太多了
我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
在计算机历史上,这种项目真是不计其数, 最典型的ibm 360的系统,放现在得是百亿
的成本打了水漂, 近的比如 twitter搞得scala做内部开发
至于你说的一开始选架构要中正平和,也没错, 但其实是隐含了一个观点,就是它可
能是蠢的,但你必须确保它是逻辑正确的,并且是可实用的
java为什么最流行, 就是因为确保了在开发人员平均水平很低的情况下,能够保持最
终的产品不爆炸
a
alanine
47 楼
我来讲讲王同学引以为傲的 Pysonar2 在哪里投机取巧。

多数人不明白只能看着他的忽悠,实际上他这个工作为什么没能发表论文呢?很简单,因为他用的算法就是最基础的 abstract interpretation,而他所傲娇的是他这个比 0-CFA,k-CFA 什么的速度都快。那我们来看看为什么速度快:
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/types/FunType.java#L47-L51
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/visitor/TypeInferencer.java#L1139-L1140

其本质是为每个函数缓存一定数量的类型,不用反复推断。知道这个之后,可以很容易做出 counter example,让它不光对某一个函数推断失败,而且这个失败会放大到全局。

所以呢,简单粗暴的做法,速度是快了,但是没有考虑 soundness,没有考虑整体。整个围绕 abstract interpretation 展开的研究领域,所面对的核心问题就在于如何避
免多次反复对同一个函数进行类型推断,靠这种粗暴的技巧来提升速度,发不了 paper 怪谁呢,呵呵

【 在 acidia (acidia) 的大作中提到: 】
这个, 如果自己水平没到就别评论王垠的水平了
我看过他的一些代码,不客气的说,从这里有过往发言的人来看,没几个有王垠的水平
的, 不过码工吗,主要靠吹和贬低别人,哪怕自己只不过是给填空的java 码农,经常
也是鼻子朝天的额,本版颇有几个典型,基本算法design原则都不懂就敢出来骂人的,
你要让他拿出来自己的东西,他就会说,王垠那些代码我只是不屑于写,诸如此类的
说了骂他的人的问题,也说说王垠的问题吧, 从这篇文章看, 王垠是出了典型的心理
问题, 他对社会的认知与实际偏差过大,导致无法妥协, 他在文章中用第三人称称呼
自己,甚至称呼自己时用的是名字,这是典型的心理失衡,任何一个受过训练的心理医
生都能察觉, 建议他最好看看一下心理医生,一方面是疏导,另一方面是可能有些药
物会起作用
...................
x
xiaoju
48 楼
问题是社会不相信他能推翻相对论

【 在 pxu (又呱噪又抠门还偷老婆钱) 的大作中提到: 】
你学会了屠龙技之后,估计也不会想天天膛猪。
x
xiaoju
49 楼
一般在这个问题上,觉得自己没水平的就先说自己不要带上别人

【 在 acidia (acidia) 的大作中提到: 】
这个, 如果自己水平没到就别评论王垠的水平了
我看过他的一些代码,不客气的说,从这里有过往发言的人来看,没几个有王垠的水平
的, 不过码工吗,主要靠吹和贬低别人,哪怕自己只不过是给填空的java 码农,经常
也是鼻子朝天的额,本版颇有几个典型,基本算法design原则都不懂就敢出来骂人的,
你要让他拿出来自己的东西,他就会说,王垠那些代码我只是不屑于写,诸如此类的
说了骂他的人的问题,也说说王垠的问题吧, 从这篇文章看, 王垠是出了典型的心理
问题, 他对社会的认知与实际偏差过大,导致无法妥协, 他在文章中用第三人称称呼
自己,甚至称呼自己时用的是名字,这是典型的心理失衡,任何一个受过训练的心理医
生都能察觉, 建议他最好看看一下心理医生,一方面是疏导,另一方面是可能有些药
物会起作用
...................
x
xiaoju
50 楼
耗资三四亿失败屁事都不算,只要甲方有钱花掉几百亿也行

非要把这种月经项目搞成停经才是没见识,本来人家就要糟蹋钱,这是政治大局

【 在 acidia (acidia) 的大作中提到: 】
一开始架子搭歪了, 想靠后期修改弥补,最终失败的项目太多了
我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
在计算机历史上,这种项目真是不计其数, 最典型的ibm 360的系统,放现在得是百亿
的成本打了水漂, 近的比如 twitter搞得scala做内部开发
至于你说的一开始选架构要中正平和,也没错, 但其实是隐含了一个观点,就是它可
能是蠢的,但你必须确保它是逻辑正确的,并且是可实用的
java为什么最流行, 就是因为确保了在开发人员平均水平很低的情况下,能够保持最
终的产品不爆炸
a
anw
51 楼
Brooks凭360得了图灵奖,不会是彻底失败吧。

【 在 acidia (acidia) 的大作中提到: 】
一开始架子搭歪了, 想靠后期修改弥补,最终失败的项目太多了
我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
在计算机历史上,这种项目真是不计其数, 最典型的ibm 360的系统,放现在得是百亿
的成本打了水漂, 近的比如 twitter搞得scala做内部开发
至于你说的一开始选架构要中正平和,也没错, 但其实是隐含了一个观点,就是它可
能是蠢的,但你必须确保它是逻辑正确的,并且是可实用的
java为什么最流行, 就是因为确保了在开发人员平均水平很低的情况下,能够保持最
终的产品不爆炸
g
guvest
52 楼
项目失败的原因多数是人搞人。

【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
耗资三四亿失败屁事都不算,只要甲方有钱花掉几百亿也行
非要把这种月经项目搞成停经才是没见识,本来人家就要糟蹋钱,这是政治大局
S
SmithWesson
53 楼
你太有才了

【 在 walkrandom (walkrandom) 的大作中提到: 】
王垠的生活模式是depth first search。
其实,如果加一个buffer,记住走过的状态,就可以降低很多的复杂度。
stateless的深度搜索,太难了。
T
TheMatrix
54 楼
高人啊。

【 在 alanine (尺子) 的大作中提到: 】
我来讲讲王同学引以为傲的 Pysonar2 在哪里投机取巧。
多数人不明白只能看着他的忽悠,实际上他这个工作为什么没能发表论文呢?很简单,
因为他用的算法就是最基础的 abstract interpretation,而他所傲娇的是他这个比 0
-CFA,k-CFA 什么的速度都快。那我们来看看为什么速度快:
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/types/FunType.java#L47-L51
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/visitor/TypeInferencer.java#L1139-L1140
其本质是为每个函数缓存一定数量的类型,不用反复推断。知道这个之后,可以很容易
做出 counter example,让它不光对某一个函数推断失败,而且这个失败会放大到全局。
...................
g
guvest
55 楼
我的浅见:

我看了下他这个。同意你说的。他离phd挺远。选题不错,没有勇气往前走一点。如果
他能归纳总结,甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开宗立派,给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开始吹,肯定不是做研究的态度。

但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的,的确有一定道理。

但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言,别人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的,要么是让大家瞎忙保主工作,要么是整人。等等不一而足,但是投资做项目的
背后的逻辑一般来说都是很清楚的。他看不懂背后逻辑,那没法领导项目。

另外我觉得老王肯定还只会悲剧下去。他太没勇气了。不敢坚持。那么早就看好python,光是这一点就高过很多人。假如他能坚持python tool chain开发10年,现在还能在
美国混不下去吗?自己制造的作品,不管是悲剧还是喜剧,都要演完啊!

【 在 alanine(尺子) 的大作中提到: 】
<br>: 我来讲讲王同学引以为傲的 Pysonar2 在哪里投机取巧。
<br>: 多数人不明白只能看着他的忽悠,实际上他这个工作为什么没能发表论文呢?很
简单,
<br>: 因为他用的算法就是最基础的 abstract interpretation,而他所傲娇的是他这
个比 0
<br>: -CFA,k-CFA 什么的速度都快。那我们来看看为什么速度快:
<br>: https://github.com/yinwang0/pysonar2/blob/master/src/main/java/
org/
yinwang/
<br>: pysonar/types/FunType.java#L47-L51
<br>: https://github.com/yinwang0/pysonar2/blob/master/src/main/java/
org/
yinwang/
<br>: pysonar/visitor/TypeInferencer.java#L1139-L1140
<br>: 其本质是为每个函数缓存一定数量的类型,不用反复推断。知道这个之后,可以
很容易
<br>: 做出 counter example,让它不光对某一个函数推断失败,而且这个失败会放大
到全局。
...................
<br>
T
TheMatrix
56 楼
高见。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我的浅见:
我看了下他这个。同意你说的。他离phd挺远。选题不错,没有勇气往前走一点。如果
他能归纳总结,甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
宗立派,给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
始吹,肯定不是做研究的态度。
但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的,的确有一定道理。
但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言,别
人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的,要么是让大家瞎忙保主工
...................
d
dumbCoder
57 楼
王垠这个pysonar2跟phd选题, 发paper动机等等, 一点关系都木有啊...
人家只是做个东西,能work, 而且效果还不错而已.

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我的浅见:
我看了下他这个。同意你说的。他离phd挺远。选题不错,没有勇气往前走一点。如果
他能归纳总结,甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
宗立派,给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
始吹,肯定不是做研究的态度。
但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的,的确有一定道理。
但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言,别
人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的,要么是让大家瞎忙保主工
...................
d
dumbCoder
58 楼
"""
知道这个之后,可以很容易做出 counter example,让它不光对某一个函数推断失败,而且这个失败会放大到全局。
所以呢,简单粗暴的做法,速度是快了,但是没有考虑 soundness,没有考虑整体。
"""

请教下:
(1) 你所知的CFA方法中,哪个能对Python这种动态语言做到soundness?
(2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
(3) 你所知的CFA方法中, 哪个方法能比Pysonar2效果更好更准确更快?

【 在 alanine (尺子) 的大作中提到: 】
我来讲讲王同学引以为傲的 Pysonar2 在哪里投机取巧。
多数人不明白只能看着他的忽悠,实际上他这个工作为什么没能发表论文呢?很简单,
因为他用的算法就是最基础的 abstract interpretation,而他所傲娇的是他这个比 0
-CFA,k-CFA 什么的速度都快。那我们来看看为什么速度快:
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/types/FunType.java#L47-L51
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/visitor/TypeInferencer.java#L1139-L1140
其本质是为每个函数缓存一定数量的类型,不用反复推断。知道这个之后,可以很容易
做出 counter example,让它不光对某一个函数推断失败,而且这个失败会放大到全局。
...................
z
zdchen
59 楼
大家有没有发现,老王的文风和凤姐的很相似啊。

【 在 dumbCoder (HumbleCoder 不懂就问-_-) 的大作中提到: 】
"""
知道这个之后,可以很容易做出 counter example,让它不光对某一个函数推断失败,
而且这个失败会放大到全局。
所以呢,简单粗暴的做法,速度是快了,但是没有考虑 soundness,没有考虑整体。: """
请教下:
(1) 你所知的CFA方法中,哪个能对Python这种动态语言做到soundness?
(2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
...................
a
acidia
60 楼
【 在 dumbCoder (HumbleCoder 不懂就问-_-) 的大作中提到: 】
"""
知道这个之后,可以很容易做出 counter example,让它不光对某一个函数推断失败,
而且这个失败会放大到全局。
所以呢,简单粗暴的做法,速度是快了,但是没有考虑 soundness,没有考虑整体。: """
请教下:
(1) 你所知的CFA方法中,哪个能对Python这种动态语言做到soundness?
(2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
...................
那位就是一个典型,你跟他讲工程实用,他跟你讲理论,等你跟他讲理论了,他又转进了
T
TheMatrix
61 楼
这个也有道理。

【 在 dumbCoder (HumbleCoder 不懂就问-_-) 的大作中提到: 】
"""
知道这个之后,可以很容易做出 counter example,让它不光对某一个函数推断失败,
而且这个失败会放大到全局。
所以呢,简单粗暴的做法,速度是快了,但是没有考虑 soundness,没有考虑整体。: """
请教下:
(1) 你所知的CFA方法中,哪个能对Python这种动态语言做到soundness?
(2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
...................
w
wdong
62 楼
做toolchain赚不到钱的。上面有人问为啥没老中创立的编程语言,
就因为做个语言就能开山立派的年代早已经过去了,现在搞新语言
不赚钱。老王10多年前就开始作,一直作到现在,应该说是勇气可
嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话,凭他的本
事根本不愁赚不到活命钱。我们没啥勇气的,稍微忍一忍,phd也就
到手了,再忍一忍,小孩就大了,再稍微忍一忍,这辈子就过去了。

倒是老王到现在还是维技术论,真是越老越可爱了。要我说,靠技术
能力得到公平的回报,也就值六万五一年。这世界有屁个公平。
老王他自己就是不公平的受益者。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我的浅见:
我看了下他这个。同意你说的。他离phd挺远。选题不错,没有勇气往前走一点。如果
他能归纳总结,甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
宗立派,给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
始吹,肯定不是做研究的态度。
但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的,的确有一定道理。
但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言,别
人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的,要么是让大家瞎忙保主工
...................
a
acidia
63 楼
【 在 anw (道法自然) 的大作中提到: 】
Brooks凭360得了图灵奖,不会是彻底失败吧。
不是彻底失败的原因是因为它们从这次失败中学习了 a lot, 创建了软件工程
a
acidia
64 楼
【 在 wdong (万事休) 的大作中提到: 】
做toolchain赚不到钱的。上面有人问为啥没老中创立的编程语言,
就因为做个语言就能开山立派的年代早已经过去了,现在搞新语言
不赚钱。老王10多年前就开始作,一直作到现在,应该说是勇气可
嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话,凭他的本
事根本不愁赚不到活命钱。我们没啥勇气的,稍微忍一忍,phd也就
到手了,再忍一忍,小孩就大了,再稍微忍一忍,这辈子就过去了。
倒是老王到现在还是维技术论,真是越老越可爱了。要我说,靠技术
能力得到公平的回报,也就值六万五一年。这世界有屁个公平。
老王他自己就是不公平的受益者。
就是看到个现实版堂吉诃德的感觉
王垠要是学会放软身段,学会拍马屁,混的肯定比这版上大多数人强
g
guvest
65 楼
他停在写代码这一步,看不到代码在产品里的作用。
前面一个人说的很准确,马哲学的好,离当官还远着。
【 在 acidia (acidia) 的大作中提到: 】
就是看到个现实版堂吉诃德的感觉
王垠要是学会放软身段,学会拍马屁,混的肯定比这版上大多数人强
g
guvest
66 楼
Pandas本来是AQR内部一个项目。然后组里的人出来自己开源。
我记得作者开了个咨询公司吧。

当然,得看明白产品的逻辑,不然出来的东西不会有很多用户。
老王差距还不小。但无论如何,我觉得他很早就走python,而且
做出了东西,应该坚持的。

【 在 wdong (万事休) 的大作中提到: 】
做toolchain赚不到钱的。上面有人问为啥没老中创立的编程语言,
就因为做个语言就能开山立派的年代早已经过去了,现在搞新语言
不赚钱。老王10多年前就开始作,一直作到现在,应该说是勇气可
嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话,凭他的本
事根本不愁赚不到活命钱。我们没啥勇气的,稍微忍一忍,phd也就
到手了,再忍一忍,小孩就大了,再稍微忍一忍,这辈子就过去了。
倒是老王到现在还是维技术论,真是越老越可爱了。要我说,靠技术
能力得到公平的回报,也就值六万五一年。这世界有屁个公平。
老王他自己就是不公平的受益者。
g
guvest
67 楼
他那个年代选python。本身就说明他或者他的老板厉害。
假如你是教授,你给自己的学生选一个课题,选哪个语言?
这个问题可不好答
【 在 dumbCoder (HumbleCoder 不懂就问-_-) 的大作中提到: 】
王垠这个pysonar2跟phd选题, 发paper动机等等, 一点关系都木有啊...
人家只是做个东西,能work, 而且效果还不错而已.
d
dumbCoder
68 楼
python paser是他去google实习时候顺便搞的. 不是他Phd研究.
你们星宿派wdong就说的很清楚, 搞好技术是一回事, 挣到钱是另外一回事,
同理, 工程搞好是一回事, 升职加薪是另外一回事.
这两类事情有时正相关,有时是反相关的.

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
他那个年代选python。本身就说明他或者他的老板厉害。
假如你是教授,你给自己的学生选一个课题,选哪个语言?
这个问题可不好答
d
dumbCoder
69 楼
我其实不太理解你说的 "代码背后的产品的逻辑",
我觉得B+Tree之类基础设施, 就该做扎实了.

不过我倒是希望老王能自己搞个赚钱的产品,
挣点小钱养活自己, 这样才不需要到处给人打工,被各种虐.

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
Pandas本来是AQR内部一个项目。然后组里的人出来自己开源。
我记得作者开了个咨询公司吧。
当然,得看明白产品的逻辑,不然出来的东西不会有很多用户。
老王差距还不小。但无论如何,我觉得他很早就走python,而且
做出了东西,应该坚持的。
g
guvest
70 楼
我的浅见:

B2B的生意,(就是公司卖给公司的软件)有自己的道道
不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。

我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生意是怎么回事。

另外还一种情况,有的产品立项就是整人用的,甚至裁员用的,里应外合,
杀气很重。

老王进公司就被坑哭了,还屡教不改。做软件成功的人绝大多数都很坏的,这点斧头帮的pker 肯定知道。

【 在 dumbCoder(HumbleCoder 不懂就问-_-) 的大作中提到: 】
<br>: 我其实不太理解你说的 "代码背后的产品的逻辑",
<br>: 我觉得B Tree之类基础设施, 就该做扎实了.
<br>: 不过我倒是希望老王能自己搞个赚钱的产品,
<br>: 挣点小钱养活自己, 这样才不需要到处给人打工,被各种虐.
<br>
p
pxu
71 楼
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我的浅见:
B2B的生意,(就是公司卖给公司的软件)有自己的道道
不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
意是怎么回事。
另外还一种情况,有的产品立项就是整人用的,甚至裁员用的,里应外合,
杀气很重。
老王进公司就被坑哭了,还屡教不改。做软件成功的人绝大多数都很坏的,这点斧头帮
的pker 肯定知道。
这世上成功的人绝大多数都很坏。

我其实不太理解你说的 "代码背后的产品的逻辑",
...................
c
chunjuan
72 楼
嗯 我也知道过一次这种情况 走了一个高层和一个招进来没多久的entry level
知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志

==========================
另外还一种情况,有的产品立项就是整人用的,甚至裁员用的,里应外合,
: 杀气很重。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我的浅见:
B2B的生意,(就是公司卖给公司的软件)有自己的道道
不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
意是怎么回事。
另外还一种情况,有的产品立项就是整人用的,甚至裁员用的,里应外合,
杀气很重。
老王进公司就被坑哭了,还屡教不改。做软件成功的人绝大多数都很坏的,这点斧头帮
的pker 肯定知道。

我其实不太理解你说的 "代码背后的产品的逻辑",
...................
r
remus
73 楼
您真闲,说他写 abstract interpretation太抬举他了,他这破玩意无非就是数据流分析
里最基本的类型分析。编译器里面几十年前就有的玩意了不知道为啥能蒙了这许多人。

【 在 alanine (尺子) 的大作中提到: 】
我来讲讲王同学引以为傲的 Pysonar2 在哪里投机取巧。
多数人不明白只能看着他的忽悠,实际上他这个工作为什么没能发表论文呢?很简单,
因为他用的算法就是最基础的 abstract interpretation,而他所傲娇的是他这个比 0
-CFA,k-CFA 什么的速度都快。那我们来看看为什么速度快:
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/types/FunType.java#L47-L51
https://github.com/yinwang0/pysonar2/blob/master/src/main/java/org/yinwang/
pysonar/visitor/TypeInferencer.java#L1139-L1140
其本质是为每个函数缓存一定数量的类型,不用反复推断。知道这个之后,可以很容易
做出 counter example,让它不光对某一个函数推断失败,而且这个失败会放大到全局。
...................
c
convergence
74 楼
lol

公司里政治斗争比技术变革更强烈,站错队了,就会走人。所以说programmer nerdy,
白人美女根本就不鸟。

【 在 chunjuan (👍春卷🐱更多春卷👍) 的大作中提到: 】
嗯 我也知道过一次这种情况 走了一个高层和一个招进来没多久的entry level
知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志
==========================
另外还一种情况,有的产品立项就是整人用的,甚至裁员用的,里应外合,
c
coldfire
75 楼
我倒觉得口气像IT界的老邱

【 在 zdchen (quake) 的大作中提到: 】
大家有没有发现,老王的文风和凤姐的很相似啊。
c
caiwl
76 楼
弱弱地问一下,难道不是principal engineer吗?principle engineer是什么梗?

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我倒觉得他这个现在有进步。读弗雷格开窍了?
我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话,: 除非是小孩子需要大人告诉他这点。
anyway,老王至少收敛到了intellectual honesty。想的是什么就说什么,
不self cheating。如果不是他还是老是扯人事的是是与非非,那老王也算是个星宿
派了。
现在这帖子,前半截还好好的。后半截又是不忍卒读。什么这个那个公司,
principle engineer都出来了。
x
xiaoju
77 楼
这两个词日本人就不会弄错

一个是普林西铺路,另一个是普林西帕鲁

【 在 caiwl (狗蛋) 的大作中提到: 】
弱弱地问一下,难道不是principal engineer吗?principle engineer是什么梗?
s
sametime
78 楼
靠,你大嘴一张ibm360就打了水漂了。

【 在 acidia (acidia) 的大作中提到: 】
一开始架子搭歪了, 想靠后期修改弥补,最终失败的项目太多了
我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
在计算机历史上,这种项目真是不计其数, 最典型的ibm 360的系统,放现在得是百亿
的成本打了水漂, 近的比如 twitter搞得scala做内部开发
至于你说的一开始选架构要中正平和,也没错, 但其实是隐含了一个观点,就是它可
能是蠢的,但你必须确保它是逻辑正确的,并且是可实用的
java为什么最流行, 就是因为确保了在开发人员平均水平很低的情况下,能够保持最
终的产品不爆炸
d
dracodoc
79 楼
我应该看过他所有blog文章,他觉得java挺好,没记得说过python好。
搞的项目分析python是因为google intern期间做这个,不是因为他喜欢pyhon。

要说早,他鼓吹linux更早。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我的浅见:
我看了下他这个。同意你说的。他离phd挺远。选题不错,没有勇气往前走一点。如果
他能归纳总结,甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
宗立派,给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
始吹,肯定不是做研究的态度。
但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的,的确有一定道理。
但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言,别
人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的,要么是让大家瞎忙保主工
...................
d
database
80 楼
微软写个屁B+树。
代码都存在30年了。大量软件都用到了B+ tree.

【 在 wdong (万事休) 的大作中提到: 】
B+树确实难写,如果是磁盘B+树那就是难上加难。
因为一碰上磁盘,不光是正确性,还得crash了能恢复一致性。
不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
王垠确实写程序牛B。但是写程序再牛B,写的也不是钱。
要想赚钱就得先学会装孙子。
我倒是有一计,就是找个水平比较低的公司,虽然少拿点
工资,至少技术上能说一不二想咋就咋。因为公司差也不会
有别的牛人来图这个职位。然后业余腾出时间来搞搞
开源项目啥的。技术牛人想图个纯粹,本来也不是个难事,
但是就别追求钱和地位了。
l
lestrois2000
81 楼
是啊,把我搞糊涂了,360大型机也算一代英豪了吧

【 在 sametime (MASANLI) 的大作中提到: 】
靠,你大嘴一张ibm360就打了水漂了。
y
ycj
82 楼
这话非常准确,现实世界是复杂的,不可能一个理论打遍天下。有时候大的框架大家都知道,但是那些细节决定成败。

那些小诀窍绝对是商业机密,有些人为了保饭碗,有时候故意搞得难懂。

我是不赞同这么做,一般都document 出来,至少做到问心无愧吧。

【在guvest(我爱你老婆Anna)的大作中提到:】
:他这是做产品没入门吧?
:我的浅见,很多代码到最后非常ugly,是因为大量用户冲刷下来发现了新的各种
:cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
:engineer
:的代码复杂难懂,多半是人家不愿意告诉他诀窍。用户多的软件,robust要求高的软件,最后一mile往往是经
:验积累出来的商业机密。
:他很可能没看懂。
:他看不到或者别人不告诉他哪些不确定性需要处理。这种是
:核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破,
:一般不会有人随便说。
:..........
y
ycj
83 楼
他是嫌弃python没有type,所以觉得java很好。

【在dracodoc(david)的大作中提到:】
:我应该看过他所有blog文章,他觉得java挺好,没记得说过python好。
:搞的项目分析python是因为google intern期间做这个,不是因为他喜欢pyhon。
:要说早,他鼓吹linux更早。
y
ycj
84 楼
你说的这个老油条我看水平很高啊,最小的力气,最小的风险,完成任务,非高手不可。

【在dumbCoder(HumbleCoder 不懂就问-_-)的大作中提到:】
:你想多了,太高看公司级别和资历了...
:公司代码愈发复杂,多半是逐步腐败的结果,就是每次一个老油条老员工来加个功能, 老油条只在乎用最小的力气,冒最小的风险,交作业交差, 然后领工资去混下个项目.
:老油条剩下大把时间,拍拍马屁, 搞政治, 或者刷刷题,跳跳槽, 资历和级别涨得更快.
:老王只是不明白(或者死不认)这个道理,老是要认真干项目, 所以总是吃亏心里不平衡.
:如果一直混公司, 很多有理想的人,包括我们自己,最后都会堕落成老油条.
:老王抗拒这个过程, 是一种死不悔改的中二病(偏褒义), 看着让人心酸.
v
verdelite
85 楼
【 在 chunjuan (👍春卷🐱更多春卷👍) 的大作中提到: 】
嗯 我也知道过一次这种情况 走了一个高层和一个招进来没多久的entry level
知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志
==========================
另外还一种情况,有的产品立项就是整人用的,甚至裁员用的,里应外合,
能不能多介绍点内容,我们好学习学习。
c
convergence
86 楼
既然这么优秀,怎么还没有绿卡?

【 在 pxu (又呱噪又抠门还偷老婆钱) 的大作中提到: 】
http://www.yinwang.org/blog-cn/2017/04/06/update
"
更新
几个月没有更新了,有些人来问我为什么,我也没有回他们。显然我不会因为有人来问
就写东西,我写东西完全是因为我自己想写,它不受任何人的影响,不管是好心人还是
别有用心的。不过现在回答一下,我没写文章是因为我在忙着写很好玩,很有价值的代
码。
我知道这个博客的影响力很大,但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我,说:“我听说你在网上很有名啊!介绍几个粉丝来我们公司,我们就
走向成功啦!” 我听了苦笑一声。因为对于我来说,“网上有名”其实是一种贬低。
...................
t
tfusion
87 楼
不是自称有女abc想嫁他

【 在 convergence (Rex💪🐶🐱🌎&) 的大作中提到: 】
既然这么优秀,怎么还没有绿卡?
M
Mark6
88 楼
听起来好吓人。求教怎么才能看出项目是不是整人用的呢?

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我的浅见:
B2B的生意,(就是公司卖给公司的软件)有自己的道道
不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
意是怎么回事。
另外还一种情况,有的产品立项就是整人用的,甚至裁员用的,里应外合,
杀气很重。
老王进公司就被坑哭了,还屡教不改。做软件成功的人绝大多数都很坏的,这点斧头帮
的pker 肯定知道。

我其实不太理解你说的 "代码背后的产品的逻辑",
...................
r
renkun697
89 楼
这人已经被证明sb一个,为啥还受这么多关注 是看他笑话的吗
g
guvest
90 楼
不犯错很多公司没办法裁人的

【 在 Mark6(joseph) 的大作中提到: 】
听起来好吓人。求教怎么才能看出项目是不是整人用的呢?
i
ilvch
91 楼
不看好他自己搞项目
感觉他就是写个孤立的程序,可以很漂亮
做项目,从用户到测试,都是他觉得不用在意的东西
这个人完全没法做工程
在学校里带个课写个样板程序可能还不错

【 在 acidia (acidia) 的大作中提到: 】
这个, 如果自己水平没到就别评论王垠的水平了
我看过他的一些代码,不客气的说,从这里有过往发言的人来看,没几个有王垠的水平
的, 不过码工吗,主要靠吹和贬低别人,哪怕自己只不过是给填空的java 码农,经常
也是鼻子朝天的额,本版颇有几个典型,基本算法design原则都不懂就敢出来骂人的,
你要让他拿出来自己的东西,他就会说,王垠那些代码我只是不屑于写,诸如此类的
说了骂他的人的问题,也说说王垠的问题吧, 从这篇文章看, 王垠是出了典型的心理
问题, 他对社会的认知与实际偏差过大,导致无法妥协, 他在文章中用第三人称称呼
自己,甚至称呼自己时用的是名字,这是典型的心理失衡,任何一个受过训练的心理医
生都能察觉, 建议他最好看看一下心理医生,一方面是疏导,另一方面是可能有些药
物会起作用
...................
v
verdelite
92 楼
【 在 ilvch (断肠人在天涯) 的大作中提到: 】
不看好他自己搞项目
感觉他就是写个孤立的程序,可以很漂亮
做项目,从用户到测试,都是他觉得不用在意的东西
这个人完全没法做工程
在学校里带个课写个样板程序可能还不错
这样啊,看来在一个好的manager手下可以当个好的螺丝钉。
i
ilvch
93 楼
然后他用白眼看老板...

【 在 verdelite (石头) 的大作中提到: 】
这样啊,看来在一个好的manager手下可以当个好的螺丝钉。
M
Mark6
94 楼
new grad刚进公司,进度慢这种算犯错吗?能不能展开说说主要是哪些方面容易犯错。谢谢

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
不犯错很多公司没办法裁人的

听起来好吓人。求教怎么才能看出项目是不是整人用的呢?
f
fantasist
95 楼
新人要避免以下三点:
ramp up慢,遇到问题不问人或重复问相同的问题
做事鲁莽,不按规定来,自己搞一套
主动挑事跟同事发生矛盾,不服从manager的管理

【 在 Mark6 (joseph) 的大作中提到: 】
new grad刚进公司,进度慢这种算犯错吗?能不能展开说说主要是哪些方面容易犯错。
谢谢
g
germantown
96 楼
【 在 convergence (Rex💪🐶🐱🌎&) 的大作中提到: 】
既然这么优秀,怎么还没有绿卡?
他水平还可以的,虽然没有他自吹的那么高,说是美国马公的头5%或者10%问题是不大
的。
问题是大家都不掌握资源,没法给他一个环境让他发挥出来。假定你是个manager 或者 director,
要给他一个offer 还是需要很大的勇气的。
d
digua
97 楼
可以合成一点:多虚心学习,少发表高见。:)

【 在 fantasist (frenzy) 的大作中提到: 】
新人要避免以下三点:
ramp up慢,遇到问题不问人或重复问相同的问题
做事鲁莽,不按规定来,自己搞一套
主动挑事跟同事发生矛盾,不服从manager的管理
x
xiaoju
98 楼
不要黑美国

在任何工业圈混,要不是能自己干活,要不就要能领人干活,他能满足哪个啊?

【 在 germantown (germantown) 的大作中提到: 】
他水平还可以的,虽然没有他自吹的那么高,说是美国马公的头5%或者10%问题是不大
的。
问题是大家都不掌握资源,没法给他一个环境让他发挥出来。假定你是个manager 或者
director,
要给他一个offer 还是需要很大的勇气的。
g
guvest
99 楼
我补充一点:不要去注定失败的项目组

顺势而为很重要
【 在 digua(姚之FAN) 的大作中提到: 】
<br>: 可以合成一点:多虚心学习,少发表高见。:)
<br>
v
verdelite
100 楼
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
我补充一点:不要去注定失败的项目组
顺势而为很重要

可以合成一点:多虚心学习,少发表高见。:)

这个,发现哪个项目必然失败,也不是容易的吧?