a*1
2 楼
QQ2573638246专业办理文凭 回国证明 教育部认证 北京落户
★★合一信息咨询★★
是一家专业面向“英国、加拿大、澳洲 新西兰 美国 新加坡 法国 德国”等国的学历
认证中心，长期专业为留学生解决毕业难的问题。
本公司长期和教育部以及各国使馆合作，拥有强大的背景与后台，保持着信誉优良的关
系网络。
使馆回国人员留学证明和教育部认证完全按照正规程序、时间办理，客户可预约来公司
面谈，有专业的教育咨询顾问实行一对一服务！也可随我司工作人员一同前往教育部窗
口递交材料，更有保障，更放心。
【合一信息咨询】为您回国发展扫除一切后顾之忧！
主营项目：
◆办理真实使馆公证（即留学回国人员s证明，免费申请货后付款，不成功不收费！！
！）
◆办理教育部国外学历学位认证。（网上可查、永久存档、快速稳妥，回国发展，考公
务员，落户，进国企，外企，创业，无忧愁）
◆办理各国各大学文凭（世界名校一对一专业服务，可全程监控跟踪进度）
◆提供整套申请学校材料◆全套服务：毕业证、成绩单、真实使馆公证、真实教育部认
证。让您回国发展信心十足！
◆可以提供钢印、水印、烫金、激光防伪、凹凸版、最新版的毕业证、百分之百让您绝
对满意、设计，印刷，DHL快递；毕业证、成绩单7个工作日，真实大使馆教育部认证2
个月。
◆主营国家：加拿大&澳洲&英国&新西兰
Q Q: 257-363-8246
【郑重声明：自主研发生产、规范市场价格、质量满意为止】
专业办理使馆及教育部认证100%可查永久存档！！！
一次办理，终生有效，快速专业，诚信可靠。
友情提示；如果.没有办公场地，没有注册实体公司，不能在公司见面的.什么情况都能
办理，不能亲自去留服中心递交材料，不能亲自去留服中心取认证结果的，都是骗子
请勿上当如果被骗请立刻报警
★★合一信息咨询★★
是一家专业面向“英国、加拿大、澳洲 新西兰 美国 新加坡 法国 德国”等国的学历
认证中心，长期专业为留学生解决毕业难的问题。
本公司长期和教育部以及各国使馆合作，拥有强大的背景与后台，保持着信誉优良的关
系网络。
使馆回国人员留学证明和教育部认证完全按照正规程序、时间办理，客户可预约来公司
面谈，有专业的教育咨询顾问实行一对一服务！也可随我司工作人员一同前往教育部窗
口递交材料，更有保障，更放心。
【合一信息咨询】为您回国发展扫除一切后顾之忧！
主营项目：
◆办理真实使馆公证（即留学回国人员s证明，免费申请货后付款，不成功不收费！！
！）
◆办理教育部国外学历学位认证。（网上可查、永久存档、快速稳妥，回国发展，考公
务员，落户，进国企，外企，创业，无忧愁）
◆办理各国各大学文凭（世界名校一对一专业服务，可全程监控跟踪进度）
◆提供整套申请学校材料◆全套服务：毕业证、成绩单、真实使馆公证、真实教育部认
证。让您回国发展信心十足！
◆可以提供钢印、水印、烫金、激光防伪、凹凸版、最新版的毕业证、百分之百让您绝
对满意、设计，印刷，DHL快递；毕业证、成绩单7个工作日，真实大使馆教育部认证2
个月。
◆主营国家：加拿大&澳洲&英国&新西兰
Q Q: 257-363-8246
【郑重声明：自主研发生产、规范市场价格、质量满意为止】
专业办理使馆及教育部认证100%可查永久存档！！！
一次办理，终生有效，快速专业，诚信可靠。
友情提示；如果.没有办公场地，没有注册实体公司，不能在公司见面的.什么情况都能
办理，不能亲自去留服中心递交材料，不能亲自去留服中心取认证结果的，都是骗子
请勿上当如果被骗请立刻报警
P*e
3 楼
漂亮很多
p*u
4 楼
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。然而在这里，技
术能力确实没有办法得到公平的回报。过了这么几个月，我觉得也该是寻求自身价值应
有回报的时候了。在美国待了十年，我已经很清楚，这种事情在美国是很难实现的。美
国根本不是一个尊重事实和人才的国度，从来都不是，换了总统也不会是。这个虚伪的
国家正在继续走向昏庸和毁灭。这一切，我已经看得很透了。
我的心，已经飞回到了中国。飞回到了家乡，飞到了北京，我每天都在想象跟老朋友们
坐在一起喝茶聊天，感觉城市生命的律动。这一切，都是在美国永远得不到的，我命中
注定要在中国生活。当然我知道国内的人也很复杂，很多制度不健全，但中国之大，我
相信会遇到很多靠谱的人。我不会再给任何公司工作。我会创造一个伟大的公司，它会
创造世界上最精致的产品，它会给真正有价值的人相应的回报和尊重。由于一些现实的
问题，回国的日子还要等几个月，不过应该在年底之前。
"
"
更新
几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
码。
我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
想利用我的名气，说明他们不理解我最重要的价值。可能是好心的恭维，然而这种不理
解真正价值的恭维，听着很不是滋味。我给公司提供的实实在在的价值，有目共睹，有
些人却只能看到名气。我王垠没有粉丝，也不需要粉丝。
我不在乎甚至讨厌“名气”，但我确实在乎我写的东西的“影响力”。我在乎它，是因
为很多人能够看到我的文字和想法，这些会对这些人以至于整个社会产生深远的影响。
至于这些改变是不是归功到我身上，我根本不在乎。我在乎的是，我的想法真正的改变
了很多人的思维，改善了社会风气，最后使我自己也获益。所以也许我最初就不该用自
己的真名，而应该使用一个笔名，这样也不至于给我的事业带来影响。
但既然这已经发生了，我也只有认命了。我死都不怕，还怕招揽几个恶名吗。实际上名
声很难掩盖我真实的能力，就像黄药师的恶名，也很难给他造成实际的影响。当然，我
的能力是盖世无双的，我可以心平气和的说出这句话，不带半点虚荣。这不需要任何人
的认可，因为世界上已经没有任何人有资格来认可我。
这种奇妙的能力，不但最初在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。然而在这里，技
术能力确实没有办法得到公平的回报。过了这么几个月，我觉得也该是寻求自身价值应
有回报的时候了。在美国待了十年，我已经很清楚，这种事情在美国是很难实现的。美
国根本不是一个尊重事实和人才的国度，从来都不是，换了总统也不会是。这个虚伪的
国家正在继续走向昏庸和毁灭。这一切，我已经看得很透了。
我的心，已经飞回到了中国。飞回到了家乡，飞到了北京，我每天都在想象跟老朋友们
坐在一起喝茶聊天，感觉城市生命的律动。这一切，都是在美国永远得不到的，我命中
注定要在中国生活。当然我知道国内的人也很复杂，很多制度不健全，但中国之大，我
相信会遇到很多靠谱的人。我不会再给任何公司工作。我会创造一个伟大的公司，它会
创造世界上最精致的产品，它会给真正有价值的人相应的回报和尊重。由于一些现实的
问题，回国的日子还要等几个月，不过应该在年底之前。
"
v*t
5 楼
没有丑女人，只有懒女人
【在 P*******e 的大作中提到】
: 漂亮很多
【在 P*******e 的大作中提到】
: 漂亮很多
n*7
6 楼
这样回国怕是不久就得搬到青山去住了
正好也让他认识到人外有人
正好也让他认识到人外有人
R*w
7 楼
哈哈，各位好
p*u
8 楼
说实话他水平肯定是有的，但是国内更加急功近利，他最引以为傲的那点本事恐怕更加
没人care。
【在 n******7 的大作中提到】
: 这样回国怕是不久就得搬到青山去住了
: 正好也让他认识到人外有人
没人care。
【在 n******7 的大作中提到】
: 这样回国怕是不久就得搬到青山去住了
: 正好也让他认识到人外有人
P*e
9 楼
你们这帮花车迷。。。
【在 R*****w 的大作中提到】
: 哈哈，各位好
【在 R*****w 的大作中提到】
: 哈哈，各位好
n*7
10 楼
我就这个意思
他这明显是在回避现实
向往一个美丽的新世界
当年他THU退学时怎么说的？
他水平是应该有，但是远远远远远没到唯我独尊的地步
所以DK effect对他依旧适用，感觉要悲剧了
【在 p*u 的大作中提到】
: 说实话他水平肯定是有的，但是国内更加急功近利，他最引以为傲的那点本事恐怕更加
: 没人care。
他这明显是在回避现实
向往一个美丽的新世界
当年他THU退学时怎么说的？
他水平是应该有，但是远远远远远没到唯我独尊的地步
所以DK effect对他依旧适用，感觉要悲剧了
【在 p*u 的大作中提到】
: 说实话他水平肯定是有的，但是国内更加急功近利，他最引以为傲的那点本事恐怕更加
: 没人care。
R*w
11 楼
哈哈，打酱油的
【在 P*******e 的大作中提到】
: 你们这帮花车迷。。。
【在 P*******e 的大作中提到】
: 你们这帮花车迷。。。
w*m
12 楼
王垠的生活模式是depth first search。
其实，如果加一个buffer，记住走过的状态，就可以降低很多的复杂度。
stateless的深度搜索，太难了。
其实，如果加一个buffer，记住走过的状态，就可以降低很多的复杂度。
stateless的深度搜索，太难了。
R*w
13 楼
花车迷什吗意思？
【在 P*******e 的大作中提到】
: 你们这帮花车迷。。。
【在 P*******e 的大作中提到】
: 你们这帮花车迷。。。
g*t
14 楼
我倒觉得他这个现在有进步。读弗雷格开窍了？
我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话，
除非是小孩子需要大人告诉他这点。
anyway，老王至少收敛到了intellectual honesty。想的是什么就说什么，
不self cheating。如果不是他还是老是扯人事的是是与非非，那老王也算是个星宿
派了。
现在这帖子，前半截还好好的。后半截又是不忍卒读。什么这个那个公司，
principle engineer都出来了。
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话，
除非是小孩子需要大人告诉他这点。
anyway，老王至少收敛到了intellectual honesty。想的是什么就说什么，
不self cheating。如果不是他还是老是扯人事的是是与非非，那老王也算是个星宿
派了。
现在这帖子，前半截还好好的。后半截又是不忍卒读。什么这个那个公司，
principle engineer都出来了。
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
P*e
15 楼
band wagon fan
其实这词用的不太恰当 呵呵
【在 R*****w 的大作中提到】
: 花车迷什吗意思？
其实这词用的不太恰当 呵呵
【在 R*****w 的大作中提到】
: 花车迷什吗意思？
g*t
16 楼
老王嘴上说着不关心别人的认可，不关心title。
实际上差远了。不然他写那么多相关的文字干嘛？
这就是悲剧啊。
【在 w********m 的大作中提到】
: 王垠的生活模式是depth first search。
: 其实，如果加一个buffer，记住走过的状态，就可以降低很多的复杂度。
: stateless的深度搜索，太难了。
实际上差远了。不然他写那么多相关的文字干嘛？
这就是悲剧啊。
【在 w********m 的大作中提到】
: 王垠的生活模式是depth first search。
: 其实，如果加一个buffer，记住走过的状态，就可以降低很多的复杂度。
: stateless的深度搜索，太难了。
R*w
17 楼
呵呵
【在 P*******e 的大作中提到】
: band wagon fan
: 其实这词用的不太恰当 呵呵
【在 P*******e 的大作中提到】
: band wagon fan
: 其实这词用的不太恰当 呵呵
p*u
18 楼
我觉得他想回国当网红了，靠流量过活赚钱。
【在 g****t 的大作中提到】
: 老王嘴上说着不关心别人的认可，不关心title。
: 实际上差远了。不然他写那么多相关的文字干嘛？
: 这就是悲剧啊。
【在 g****t 的大作中提到】
: 老王嘴上说着不关心别人的认可，不关心title。
: 实际上差远了。不然他写那么多相关的文字干嘛？
: 这就是悲剧啊。
a*a
19 楼
她怎么都不好看
主要是因为脸型不好
【在 P*******e 的大作中提到】
: 漂亮很多
主要是因为脸型不好
【在 P*******e 的大作中提到】
: 漂亮很多
l*n
20 楼
不知道他上不上MITBBS？
我隔壁求教一个报税软件的实现语言。
我隔壁求教一个报税软件的实现语言。
P*e
21 楼
今天我觉得都有点不像了 还行
她主要是线条太硬了
【在 a****a 的大作中提到】
: 她怎么都不好看
: 主要是因为脸型不好
她主要是线条太硬了
【在 a****a 的大作中提到】
: 她怎么都不好看
: 主要是因为脸型不好
x*u
22 楼
有个屁水平
退学了10年后就是个计算机民科，整天到处喊你们看不懂我的论文就说明相对论是错的
，诺贝尔奖委员会嫉妒我
【在 p*u 的大作中提到】
: 说实话他水平肯定是有的，但是国内更加急功近利，他最引以为傲的那点本事恐怕更加
: 没人care。
退学了10年后就是个计算机民科，整天到处喊你们看不懂我的论文就说明相对论是错的
，诺贝尔奖委员会嫉妒我
【在 p*u 的大作中提到】
: 说实话他水平肯定是有的，但是国内更加急功近利，他最引以为傲的那点本事恐怕更加
: 没人care。
x*u
23 楼
王垠30多了，你不能用幼儿园小孩的标准衡量他
【在 g****t 的大作中提到】
: 我倒觉得他这个现在有进步。读弗雷格开窍了？
: 我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
: 写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话，
: 除非是小孩子需要大人告诉他这点。
: anyway，老王至少收敛到了intellectual honesty。想的是什么就说什么，
: 不self cheating。如果不是他还是老是扯人事的是是与非非，那老王也算是个星宿
: 派了。
: 现在这帖子，前半截还好好的。后半截又是不忍卒读。什么这个那个公司，
: principle engineer都出来了。
【在 g****t 的大作中提到】
: 我倒觉得他这个现在有进步。读弗雷格开窍了？
: 我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
: 写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话，
: 除非是小孩子需要大人告诉他这点。
: anyway，老王至少收敛到了intellectual honesty。想的是什么就说什么，
: 不self cheating。如果不是他还是老是扯人事的是是与非非，那老王也算是个星宿
: 派了。
: 现在这帖子，前半截还好好的。后半截又是不忍卒读。什么这个那个公司，
: principle engineer都出来了。
O*b
24 楼
我好久不做算法方面的 coding了，谁给说说真的不好找能实现 B+ tree 的程序员吗？
f*2
25 楼
小众的skillset，就像linux kernel scheduler这种。
有需求，但是很少有这个需求。
: 我好久不做算法方面的 coding了，谁给说说真的不好找能实现 B tree 的程序
员吗？
【在 O***b 的大作中提到】
: 我好久不做算法方面的 coding了，谁给说说真的不好找能实现 B+ tree 的程序员吗？
有需求，但是很少有这个需求。
: 我好久不做算法方面的 coding了，谁给说说真的不好找能实现 B tree 的程序
员吗？
【在 O***b 的大作中提到】
: 我好久不做算法方面的 coding了，谁给说说真的不好找能实现 B+ tree 的程序员吗？
w*g
26 楼
B+树确实难写，如果是磁盘B+树那就是难上加难。
因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
要想赚钱就得先学会装孙子。
我倒是有一计，就是找个水平比较低的公司，虽然少拿点
工资，至少技术上能说一不二想咋就咋。因为公司差也不会
有别的牛人来图这个职位。然后业余腾出时间来搞搞
开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
但是就别追求钱和地位了。
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
要想赚钱就得先学会装孙子。
我倒是有一计，就是找个水平比较低的公司，虽然少拿点
工资，至少技术上能说一不二想咋就咋。因为公司差也不会
有别的牛人来图这个职位。然后业余腾出时间来搞搞
开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
但是就别追求钱和地位了。
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
S*e
27 楼
像wdong这样清淡寡欲，才高望重现在真的很少见（操，觉得说这话有点肉麻）。像王
垠那样眼睛长在头顶上,又没有什么拿得出手的东西,谁不烦哪. 那么多人做开源成名,
有本领做一个(他也有个什么玩意儿,自己当宝贝,可没人把它当回事啊).
他更不会听你的金玉良言. 对了,他讨到老婆了没有?
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
垠那样眼睛长在头顶上,又没有什么拿得出手的东西,谁不烦哪. 那么多人做开源成名,
有本领做一个(他也有个什么玩意儿,自己当宝贝,可没人把它当回事啊).
他更不会听你的金玉良言. 对了,他讨到老婆了没有?
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
g*t
28 楼
说说老王的程序牛在哪些方面？
: B 树确实难写，如果是磁盘B 树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B 树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
: B 树确实难写，如果是磁盘B 树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B 树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
p*n
29 楼
他上一次谈他个人问题的时候是说有个想嫁给他的abc，但是他不是很想娶的样子
【在 S*******e 的大作中提到】
: 像wdong这样清淡寡欲，才高望重现在真的很少见（操，觉得说这话有点肉麻）。像王
: 垠那样眼睛长在头顶上,又没有什么拿得出手的东西,谁不烦哪. 那么多人做开源成名,
: 有本领做一个(他也有个什么玩意儿,自己当宝贝,可没人把它当回事啊).
: 他更不会听你的金玉良言. 对了,他讨到老婆了没有?
【在 S*******e 的大作中提到】
: 像wdong这样清淡寡欲，才高望重现在真的很少见（操，觉得说这话有点肉麻）。像王
: 垠那样眼睛长在头顶上,又没有什么拿得出手的东西,谁不烦哪. 那么多人做开源成名,
: 有本领做一个(他也有个什么玩意儿,自己当宝贝,可没人把它当回事啊).
: 他更不会听你的金玉良言. 对了,他讨到老婆了没有?
g*t
30 楼
他这是做产品没入门吧？
我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
engineer
的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
，最后一mile往往是经
验积累出来的商业机密。
他很可能没看懂。
他看不到或者别人不告诉他哪些不确定性需要处理。这种是
核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
一般不会有人随便说。
会写b 树是一回事。知道企业存储设备会出哪些corner cases,那些客户关心什么事另
外一回事。
: B 树确实难写，如果是磁盘B 树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B 树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
engineer
的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
，最后一mile往往是经
验积累出来的商业机密。
他很可能没看懂。
他看不到或者别人不告诉他哪些不确定性需要处理。这种是
核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
一般不会有人随便说。
会写b 树是一回事。知道企业存储设备会出哪些corner cases,那些客户关心什么事另
外一回事。
: B 树确实难写，如果是磁盘B 树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B 树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
g*t
31 楼
他快40了吧。国内念过硕士。出国10年？
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
【在 x****u 的大作中提到】
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
【在 x****u 的大作中提到】
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
g*t
32 楼
我倒是觉得他有一定的知识。但是engineering能力不行，还真是只能做测试或者entry
level
engineer. 他应该是没有看明白过一个产品从kick off到赚到钱，到事后修补和维护
的全过程。
凡是用符号把捉现实的产品，都有这问题。出发点是好的，
最后是远离直觉的ugly的一坨。
量子力学修了几十年呢。principle engineer 海森堡也是没办法，只能把这个产品
弄的乱七八糟。
Einstein发明广义相对论，102年不用修，这是很少见的情况。
: 有个屁水平
: 退学了10年后就是个计算机民科，整天到处喊你们看不懂我的论文就说明
相对论
是错的
: ，诺贝尔奖委员会嫉妒我
【在 x****u 的大作中提到】
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
level
engineer. 他应该是没有看明白过一个产品从kick off到赚到钱，到事后修补和维护
的全过程。
凡是用符号把捉现实的产品，都有这问题。出发点是好的，
最后是远离直觉的ugly的一坨。
量子力学修了几十年呢。principle engineer 海森堡也是没办法，只能把这个产品
弄的乱七八糟。
Einstein发明广义相对论，102年不用修，这是很少见的情况。
: 有个屁水平
: 退学了10年后就是个计算机民科，整天到处喊你们看不懂我的论文就说明
相对论
是错的
: ，诺贝尔奖委员会嫉妒我
【在 x****u 的大作中提到】
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
b*i
33 楼
有道理
entry
【在 g****t 的大作中提到】
: 我倒是觉得他有一定的知识。但是engineering能力不行，还真是只能做测试或者entry
: level
: engineer. 他应该是没有看明白过一个产品从kick off到赚到钱，到事后修补和维护
: 的全过程。
: 凡是用符号把捉现实的产品，都有这问题。出发点是好的，
: 最后是远离直觉的ugly的一坨。
: 量子力学修了几十年呢。principle engineer 海森堡也是没办法，只能把这个产品
: 弄的乱七八糟。
: Einstein发明广义相对论，102年不用修，这是很少见的情况。
:
entry
【在 g****t 的大作中提到】
: 我倒是觉得他有一定的知识。但是engineering能力不行，还真是只能做测试或者entry
: level
: engineer. 他应该是没有看明白过一个产品从kick off到赚到钱，到事后修补和维护
: 的全过程。
: 凡是用符号把捉现实的产品，都有这问题。出发点是好的，
: 最后是远离直觉的ugly的一坨。
: 量子力学修了几十年呢。principle engineer 海森堡也是没办法，只能把这个产品
: 弄的乱七八糟。
: Einstein发明广义相对论，102年不用修，这是很少见的情况。
:
g*t
34 楼
其实按程序猿水平
本站站长老刑的水平非常非常高
本站创始人是MIT ai lab研究视觉的科学家
后来被技术员老刑夺权纂位
留下了一段码工佳话
现在老刑又挺进前沿
派来那么多机器人
: 有道理
: entry
【在 b***i 的大作中提到】
: 有道理
:
: entry
本站站长老刑的水平非常非常高
本站创始人是MIT ai lab研究视觉的科学家
后来被技术员老刑夺权纂位
留下了一段码工佳话
现在老刑又挺进前沿
派来那么多机器人
: 有道理
: entry
【在 b***i 的大作中提到】
: 有道理
:
: entry
d*r
35 楼
你想多了，太高看公司级别和资历了...
公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能,
老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更快.
老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平衡.
如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
【在 g****t 的大作中提到】
: 他这是做产品没入门吧？
: 我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
: cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
: engineer
: 的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
: ，最后一mile往往是经
: 验积累出来的商业机密。
: 他很可能没看懂。
: 他看不到或者别人不告诉他哪些不确定性需要处理。这种是
: 核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能,
老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更快.
老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平衡.
如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
【在 g****t 的大作中提到】
: 他这是做产品没入门吧？
: 我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
: cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
: engineer
: 的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
: ，最后一mile往往是经
: 验积累出来的商业机密。
: 他很可能没看懂。
: 他看不到或者别人不告诉他哪些不确定性需要处理。这种是
: 核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
g*t
36 楼
我不是好看公司资厉和title.我高看的是市场。
你说的情况一定是存在的。简单说企业应用代码复杂有两个情况。功能无非出自两个源
头。
A 程序猿的头目为了让自己组有工开。加一些没用的功能。
B 用户端出现的的corner cases的修补和市场的新需求
这两种情况必然都是存在的。能一眼看出来哪个项目是做什么的才能混日子。不然要么
就是第一种假装瞎忙，要么就是第二种王寅这种，被人忙了还不知道在干啥。
简单说，不掌握以及不了解demand的动机和源头的程序猿只能按你说的路子走。只能
按别人发过来的demand混日子。发功能的往往是老印。
市场是技术的重要源头。
: 你想多了，太高看公司级别和资历了...
: 公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工
来加个
功能,
: 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去
混下个
项目.
: 老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和
级别涨
得更快.
: 老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃
亏心里
不平衡.
: 如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油
条.
: 老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
【在 d*******r 的大作中提到】
: 你想多了，太高看公司级别和资历了...
: 公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能,
: 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
: 老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更快.
: 老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平衡.
: 如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
: 老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
你说的情况一定是存在的。简单说企业应用代码复杂有两个情况。功能无非出自两个源
头。
A 程序猿的头目为了让自己组有工开。加一些没用的功能。
B 用户端出现的的corner cases的修补和市场的新需求
这两种情况必然都是存在的。能一眼看出来哪个项目是做什么的才能混日子。不然要么
就是第一种假装瞎忙，要么就是第二种王寅这种，被人忙了还不知道在干啥。
简单说，不掌握以及不了解demand的动机和源头的程序猿只能按你说的路子走。只能
按别人发过来的demand混日子。发功能的往往是老印。
市场是技术的重要源头。
: 你想多了，太高看公司级别和资历了...
: 公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工
来加个
功能,
: 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去
混下个
项目.
: 老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和
级别涨
得更快.
: 老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃
亏心里
不平衡.
: 如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油
条.
: 老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
【在 d*******r 的大作中提到】
: 你想多了，太高看公司级别和资历了...
: 公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能,
: 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
: 老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更快.
: 老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平衡.
: 如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
: 老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
d*r
37 楼
我理解你的意思
但是 B+ tree 这种lib工具性质的 core data structure 模块,
如果设计不好, 或者代码腐败, 其实是应该 refactor 的.
【在 g****t 的大作中提到】
: 我不是好看公司资厉和title.我高看的是市场。
: 你说的情况一定是存在的。简单说企业应用代码复杂有两个情况。功能无非出自两个源
: 头。
: A 程序猿的头目为了让自己组有工开。加一些没用的功能。
: B 用户端出现的的corner cases的修补和市场的新需求
: 这两种情况必然都是存在的。能一眼看出来哪个项目是做什么的才能混日子。不然要么
: 就是第一种假装瞎忙，要么就是第二种王寅这种，被人忙了还不知道在干啥。
: 简单说，不掌握以及不了解demand的动机和源头的程序猿只能按你说的路子走。只能
: 按别人发过来的demand混日子。发功能的往往是老印。
: 市场是技术的重要源头。
但是 B+ tree 这种lib工具性质的 core data structure 模块,
如果设计不好, 或者代码腐败, 其实是应该 refactor 的.
【在 g****t 的大作中提到】
: 我不是好看公司资厉和title.我高看的是市场。
: 你说的情况一定是存在的。简单说企业应用代码复杂有两个情况。功能无非出自两个源
: 头。
: A 程序猿的头目为了让自己组有工开。加一些没用的功能。
: B 用户端出现的的corner cases的修补和市场的新需求
: 这两种情况必然都是存在的。能一眼看出来哪个项目是做什么的才能混日子。不然要么
: 就是第一种假装瞎忙，要么就是第二种王寅这种，被人忙了还不知道在干啥。
: 简单说，不掌握以及不了解demand的动机和源头的程序猿只能按你说的路子走。只能
: 按别人发过来的demand混日子。发功能的往往是老印。
: 市场是技术的重要源头。
s*V
38 楼
一个B+ TREE有这么复杂？
x*u
39 楼
一听到B+第一反应就是这东西轮不到我写，肯定早有实现了
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
x*u
40 楼
是的
写产品和学算法差别很大，就好比当官和学马哲一样大
【在 g****t 的大作中提到】
: 他这是做产品没入门吧？
: 我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
: cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
: engineer
: 的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
: ，最后一mile往往是经
: 验积累出来的商业机密。
: 他很可能没看懂。
: 他看不到或者别人不告诉他哪些不确定性需要处理。这种是
: 核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
写产品和学算法差别很大，就好比当官和学马哲一样大
【在 g****t 的大作中提到】
: 他这是做产品没入门吧？
: 我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
: cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
: engineer
: 的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
: ，最后一mile往往是经
: 验积累出来的商业机密。
: 他很可能没看懂。
: 他看不到或者别人不告诉他哪些不确定性需要处理。这种是
: 核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
x*u
41 楼
川大数学本科，辍学了3个博士把老东家骂的狗血喷头，你真是不看新闻
【在 g****t 的大作中提到】
: 他快40了吧。国内念过硕士。出国10年？
:
:
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
:
【在 g****t 的大作中提到】
: 他快40了吧。国内念过硕士。出国10年？
:
:
: 王垠30多了，你不能用幼儿园小孩的标准衡量他
:
x*u
42 楼
他没看到这一步啊
总是把全部精力花在一两个冷门地方上，然后感叹全球都是sb不理解自己能力
entry
【在 g****t 的大作中提到】
: 我倒是觉得他有一定的知识。但是engineering能力不行，还真是只能做测试或者entry
: level
: engineer. 他应该是没有看明白过一个产品从kick off到赚到钱，到事后修补和维护
: 的全过程。
: 凡是用符号把捉现实的产品，都有这问题。出发点是好的，
: 最后是远离直觉的ugly的一坨。
: 量子力学修了几十年呢。principle engineer 海森堡也是没办法，只能把这个产品
: 弄的乱七八糟。
: Einstein发明广义相对论，102年不用修，这是很少见的情况。
:
总是把全部精力花在一两个冷门地方上，然后感叹全球都是sb不理解自己能力
entry
【在 g****t 的大作中提到】
: 我倒是觉得他有一定的知识。但是engineering能力不行，还真是只能做测试或者entry
: level
: engineer. 他应该是没有看明白过一个产品从kick off到赚到钱，到事后修补和维护
: 的全过程。
: 凡是用符号把捉现实的产品，都有这问题。出发点是好的，
: 最后是远离直觉的ugly的一坨。
: 量子力学修了几十年呢。principle engineer 海森堡也是没办法，只能把这个产品
: 弄的乱七八糟。
: Einstein发明广义相对论，102年不用修，这是很少见的情况。
:
c*e
43 楼
这人不是在微软搞测试吗？
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
p*u
44 楼
应该是有人觉得他屈才，给他做dev。
【在 c*********e 的大作中提到】
: 这人不是在微软搞测试吗？
【在 c*********e 的大作中提到】
: 这人不是在微软搞测试吗？
p*u
45 楼
你学会了屠龙技之后，估计也不会想天天膛猪。
【在 x****u 的大作中提到】
: 他没看到这一步啊
: 总是把全部精力花在一两个冷门地方上，然后感叹全球都是sb不理解自己能力
:
: entry
【在 x****u 的大作中提到】
: 他没看到这一步啊
: 总是把全部精力花在一两个冷门地方上，然后感叹全球都是sb不理解自己能力
:
: entry
p*u
46 楼
B+ tree这种底层东东，应该比较少接触到客户需求。
【在 g****t 的大作中提到】
: 他这是做产品没入门吧？
: 我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
: cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
: engineer
: 的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
: ，最后一mile往往是经
: 验积累出来的商业机密。
: 他很可能没看懂。
: 他看不到或者别人不告诉他哪些不确定性需要处理。这种是
: 核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
【在 g****t 的大作中提到】
: 他这是做产品没入门吧？
: 我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
: cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
: engineer
: 的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软件
: ，最后一mile往往是经
: 验积累出来的商业机密。
: 他很可能没看懂。
: 他看不到或者别人不告诉他哪些不确定性需要处理。这种是
: 核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
s*y
47 楼
非常赞同这位发言。
,
快.
衡.
【在 d*******r 的大作中提到】
: 你想多了，太高看公司级别和资历了...
: 公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能,
: 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
: 老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更快.
: 老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平衡.
: 如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
: 老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
,
快.
衡.
【在 d*******r 的大作中提到】
: 你想多了，太高看公司级别和资历了...
: 公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能,
: 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
: 老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更快.
: 老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平衡.
: 如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
: 老王抗拒这个过程, 是一种死不悔改的中二病, 看着让人心酸.
a*a
48 楼
这个， 如果自己水平没到就别评论王垠的水平了
我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
物会起作用
王垠最好的出路可能是自己写个项目赚钱，或者开个consulting 公司，给别的公司解
决问题赚钱，解决完问题走人，这样不用拘束在公司里，自由一些
我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
物会起作用
王垠最好的出路可能是自己写个项目赚钱，或者开个consulting 公司，给别的公司解
决问题赚钱，解决完问题走人，这样不用拘束在公司里，自由一些
a*a
49 楼
entry
有些东西不是说能慢慢修正的
一开始设计错了，就是错了，再改都没用
这些年计算机行业被一些三流的人占据了主流， 思维根本跟不上， 写出来的代码，就
算能工作，也是极度拙劣的凑合
另外你说量子力学修改几十年， 实际上量子力学在海森堡搭好架子有了动力学方程之
后就没修改过， 后来的只是在薛定谔方程基础上的拓展， 薛定谔方程的形式可是没有
变过， 这就是我说的，根本的东西必须一次搞对
【在 g****t 的大作中提到】
: 我倒是觉得他有一定的知识。但是engineering能力不行，还真是只能做测试或者entry
: level
: engineer. 他应该是没有看明白过一个产品从kick off到赚到钱，到事后修补和维护
: 的全过程。
: 凡是用符号把捉现实的产品，都有这问题。出发点是好的，
: 最后是远离直觉的ugly的一坨。
: 量子力学修了几十年呢。principle engineer 海森堡也是没办法，只能把这个产品
: 弄的乱七八糟。
: Einstein发明广义相对论，102年不用修，这是很少见的情况。
:
g*t
50 楼
一个软件，如果用的量大了，最后往往只能是凑合。
因为市场是不停的在变。最开始往往需要选中正平和的，
或者比较愚蠢的架构，这样出问题之后容易往里塞
补丁。Once for all solution的可能性不能排除，但是很少见.
这是我认为的实际产品和解决well defined问题的代码
段落之间最大的区别。那么多startup规模上去后换语言
也是这个原因。
我们无需争论，可以把这话放在10年后再看看大家的理解。
【在 a****a 的大作中提到】
:
: entry
: 有些东西不是说能慢慢修正的
: 一开始设计错了，就是错了，再改都没用
: 这些年计算机行业被一些三流的人占据了主流， 思维根本跟不上， 写出来的代码，就
: 算能工作，也是极度拙劣的凑合
: 另外你说量子力学修改几十年， 实际上量子力学在海森堡搭好架子有了动力学方程之
: 后就没修改过， 后来的只是在薛定谔方程基础上的拓展， 薛定谔方程的形式可是没有
: 变过， 这就是我说的，根本的东西必须一次搞对
因为市场是不停的在变。最开始往往需要选中正平和的，
或者比较愚蠢的架构，这样出问题之后容易往里塞
补丁。Once for all solution的可能性不能排除，但是很少见.
这是我认为的实际产品和解决well defined问题的代码
段落之间最大的区别。那么多startup规模上去后换语言
也是这个原因。
我们无需争论，可以把这话放在10年后再看看大家的理解。
【在 a****a 的大作中提到】
:
: entry
: 有些东西不是说能慢慢修正的
: 一开始设计错了，就是错了，再改都没用
: 这些年计算机行业被一些三流的人占据了主流， 思维根本跟不上， 写出来的代码，就
: 算能工作，也是极度拙劣的凑合
: 另外你说量子力学修改几十年， 实际上量子力学在海森堡搭好架子有了动力学方程之
: 后就没修改过， 后来的只是在薛定谔方程基础上的拓展， 薛定谔方程的形式可是没有
: 变过， 这就是我说的，根本的东西必须一次搞对
g*t
51 楼
这个不会是说我吧？
没有摆谱的意思。地球上每个人的手机和laptop上都有很大的可能有我的专利／算法／
代码。。。
因为量太大，不允许出错.
我写生产code只用我自己认准没问题的一小点语言子集。
风格看起来是非常愚蠢的。水平看着是极低的。
不过老王的代码我确实没看过。回头有空看看。
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
没有摆谱的意思。地球上每个人的手机和laptop上都有很大的可能有我的专利／算法／
代码。。。
因为量太大，不允许出错.
我写生产code只用我自己认准没问题的一小点语言子集。
风格看起来是非常愚蠢的。水平看着是极低的。
不过老王的代码我确实没看过。回头有空看看。
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
a*a
52 楼
当然不是说你
你和 wrong 算是这班上三观很正的了
【在 g****t 的大作中提到】
: 这个不会是说我吧？
: 没有摆谱的意思。地球上每个人的手机和laptop上都有很大的可能有我的专利／算法／
: 代码。。。
: 因为量太大，不允许出错.
: 我写生产code只用我自己认准没问题的一小点语言子集。
: 风格看起来是非常愚蠢的。水平看着是极低的。
: 不过老王的代码我确实没看过。回头有空看看。
a*a
53 楼
一开始架子搭歪了， 想靠后期修改弥补，最终失败的项目太多了
我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
在计算机历史上，这种项目真是不计其数, 最典型的ibm 360的系统，放现在得是百亿
的成本打了水漂， 近的比如 twitter搞得scala做内部开发
至于你说的一开始选架构要中正平和，也没错， 但其实是隐含了一个观点，就是它可
能是蠢的，但你必须确保它是逻辑正确的，并且是可实用的
java为什么最流行， 就是因为确保了在开发人员平均水平很低的情况下，能够保持最
终的产品不爆炸
【在 g****t 的大作中提到】
: 一个软件，如果用的量大了，最后往往只能是凑合。
: 因为市场是不停的在变。最开始往往需要选中正平和的，
: 或者比较愚蠢的架构，这样出问题之后容易往里塞
: 补丁。Once for all solution的可能性不能排除，但是很少见.
: 这是我认为的实际产品和解决well defined问题的代码
: 段落之间最大的区别。那么多startup规模上去后换语言
: 也是这个原因。
: 我们无需争论，可以把这话放在10年后再看看大家的理解。
a*e
54 楼
我来讲讲王同学引以为傲的 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
怪谁呢，呵呵
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
多数人不明白只能看着他的忽悠，实际上他这个工作为什么没能发表论文呢？很简单，
因为他用的算法就是最基础的 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
怪谁呢，呵呵
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
x*u
55 楼
问题是社会不相信他能推翻相对论
【在 p*u 的大作中提到】
: 你学会了屠龙技之后，估计也不会想天天膛猪。
【在 p*u 的大作中提到】
: 你学会了屠龙技之后，估计也不会想天天膛猪。
x*u
56 楼
一般在这个问题上，觉得自己没水平的就先说自己不要带上别人
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
x*u
57 楼
耗资三四亿失败屁事都不算，只要甲方有钱花掉几百亿也行
非要把这种月经项目搞成停经才是没见识，本来人家就要糟蹋钱，这是政治大局
【在 a****a 的大作中提到】
:
: 一开始架子搭歪了， 想靠后期修改弥补，最终失败的项目太多了
: 我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
: 在计算机历史上，这种项目真是不计其数, 最典型的ibm 360的系统，放现在得是百亿
: 的成本打了水漂， 近的比如 twitter搞得scala做内部开发
: 至于你说的一开始选架构要中正平和，也没错， 但其实是隐含了一个观点，就是它可
: 能是蠢的，但你必须确保它是逻辑正确的，并且是可实用的
: java为什么最流行， 就是因为确保了在开发人员平均水平很低的情况下，能够保持最
: 终的产品不爆炸
非要把这种月经项目搞成停经才是没见识，本来人家就要糟蹋钱，这是政治大局
【在 a****a 的大作中提到】
:
: 一开始架子搭歪了， 想靠后期修改弥补，最终失败的项目太多了
: 我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
: 在计算机历史上，这种项目真是不计其数, 最典型的ibm 360的系统，放现在得是百亿
: 的成本打了水漂， 近的比如 twitter搞得scala做内部开发
: 至于你说的一开始选架构要中正平和，也没错， 但其实是隐含了一个观点，就是它可
: 能是蠢的，但你必须确保它是逻辑正确的，并且是可实用的
: java为什么最流行， 就是因为确保了在开发人员平均水平很低的情况下，能够保持最
: 终的产品不爆炸
a*w
58 楼
Brooks凭360得了图灵奖，不会是彻底失败吧。
【在 a****a 的大作中提到】
:
: 一开始架子搭歪了， 想靠后期修改弥补，最终失败的项目太多了
: 我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
: 在计算机历史上，这种项目真是不计其数, 最典型的ibm 360的系统，放现在得是百亿
: 的成本打了水漂， 近的比如 twitter搞得scala做内部开发
: 至于你说的一开始选架构要中正平和，也没错， 但其实是隐含了一个观点，就是它可
: 能是蠢的，但你必须确保它是逻辑正确的，并且是可实用的
: java为什么最流行， 就是因为确保了在开发人员平均水平很低的情况下，能够保持最
: 终的产品不爆炸
【在 a****a 的大作中提到】
:
: 一开始架子搭歪了， 想靠后期修改弥补，最终失败的项目太多了
: 我亲眼见过的就有一耗资三年四亿的内部软件项目彻底失败
: 在计算机历史上，这种项目真是不计其数, 最典型的ibm 360的系统，放现在得是百亿
: 的成本打了水漂， 近的比如 twitter搞得scala做内部开发
: 至于你说的一开始选架构要中正平和，也没错， 但其实是隐含了一个观点，就是它可
: 能是蠢的，但你必须确保它是逻辑正确的，并且是可实用的
: java为什么最流行， 就是因为确保了在开发人员平均水平很低的情况下，能够保持最
: 终的产品不爆炸
g*t
59 楼
项目失败的原因多数是人搞人。
: 耗资三四亿失败屁事都不算，只要甲方有钱花掉几百亿也行
: 非要把这种月经项目搞成停经才是没见识，本来人家就要糟蹋钱，这是政治大局
【在 x****u 的大作中提到】
: 耗资三四亿失败屁事都不算，只要甲方有钱花掉几百亿也行
: 非要把这种月经项目搞成停经才是没见识，本来人家就要糟蹋钱，这是政治大局
: 耗资三四亿失败屁事都不算，只要甲方有钱花掉几百亿也行
: 非要把这种月经项目搞成停经才是没见识，本来人家就要糟蹋钱，这是政治大局
【在 x****u 的大作中提到】
: 耗资三四亿失败屁事都不算，只要甲方有钱花掉几百亿也行
: 非要把这种月经项目搞成停经才是没见识，本来人家就要糟蹋钱，这是政治大局
S*n
60 楼
你太有才了
【在 w********m 的大作中提到】
: 王垠的生活模式是depth first search。
: 其实，如果加一个buffer，记住走过的状态，就可以降低很多的复杂度。
: stateless的深度搜索，太难了。
【在 w********m 的大作中提到】
: 王垠的生活模式是depth first search。
: 其实，如果加一个buffer，记住走过的状态，就可以降低很多的复杂度。
: stateless的深度搜索，太难了。
T*x
61 楼
高人啊。
0
局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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，让它不光对某一个函数推断失败，而且这个失败会放大到全局。
0
局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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*t
62 楼
我的浅见：
我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
始吹，肯定不是做研究的态度。
但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的，的确有一定道理。
但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
作，要么是整人。等等不一而足，但是投资做项目的
背后的逻辑一般来说都是很清楚的。他看不懂背后逻辑，那没法领导项目。
另外我觉得老王肯定还只会悲剧下去。他太没勇气了。不敢坚持。那么早就看好python
，光是这一点就高过很多人。假如他能坚持python tool chain开发10年，现在还能在
美国混不下去吗？自己制造的作品，不管是悲剧还是喜剧，都要演完啊！
: 我来讲讲王同学引以为傲的 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，让它不光对某一个函数推断失败，而且这个失败
会放大
到全局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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，让它不光对某一个函数推断失败，而且这个失败会放大到全局。
我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
始吹，肯定不是做研究的态度。
但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
。前面说老王coding强的，的确有一定道理。
但我觉得那么多公司只给他入门级别是对的。
因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
作，要么是整人。等等不一而足，但是投资做项目的
背后的逻辑一般来说都是很清楚的。他看不懂背后逻辑，那没法领导项目。
另外我觉得老王肯定还只会悲剧下去。他太没勇气了。不敢坚持。那么早就看好python
，光是这一点就高过很多人。假如他能坚持python tool chain开发10年，现在还能在
美国混不下去吗？自己制造的作品，不管是悲剧还是喜剧，都要演完啊！
: 我来讲讲王同学引以为傲的 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，让它不光对某一个函数推断失败，而且这个失败
会放大
到全局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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，让它不光对某一个函数推断失败，而且这个失败会放大到全局。
T*x
63 楼
高见。
【在 g****t 的大作中提到】
: 我的浅见：
: 我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
: 他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
: 宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
: 始吹，肯定不是做研究的态度。
: 但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
: 。前面说老王coding强的，的确有一定道理。
: 但我觉得那么多公司只给他入门级别是对的。
: 因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
: 人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
【在 g****t 的大作中提到】
: 我的浅见：
: 我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
: 他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
: 宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
: 始吹，肯定不是做研究的态度。
: 但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
: 。前面说老王coding强的，的确有一定道理。
: 但我觉得那么多公司只给他入门级别是对的。
: 因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
: 人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
d*r
64 楼
王垠这个pysonar2跟phd选题, 发paper动机等等, 一点关系都木有啊...
人家只是做个东西，能work, 而且效果还不错而已.
【在 g****t 的大作中提到】
: 我的浅见：
: 我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
: 他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
: 宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
: 始吹，肯定不是做研究的态度。
: 但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
: 。前面说老王coding强的，的确有一定道理。
: 但我觉得那么多公司只给他入门级别是对的。
: 因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
: 人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
人家只是做个东西，能work, 而且效果还不错而已.
【在 g****t 的大作中提到】
: 我的浅见：
: 我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
: 他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
: 宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
: 始吹，肯定不是做研究的态度。
: 但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
: 。前面说老王coding强的，的确有一定道理。
: 但我觉得那么多公司只给他入门级别是对的。
: 因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
: 人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
d*r
65 楼
"""
知道这个之后，可以很容易做出 counter example，让它不光对某一个函数推断失败，
而且这个失败会放大到全局。
所以呢，简单粗暴的做法，速度是快了，但是没有考虑 soundness，没有考虑整体。
"""
请教下:
(1) 你所知的CFA方法中，哪个能对Python这种动态语言做到soundness?
(2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
(3) 你所知的CFA方法中, 哪个方法能比Pysonar2效果更好更准确更快?
0
局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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，让它不光对某一个函数推断失败，而且这个失败会放大到全局。
知道这个之后，可以很容易做出 counter example，让它不光对某一个函数推断失败，
而且这个失败会放大到全局。
所以呢，简单粗暴的做法，速度是快了，但是没有考虑 soundness，没有考虑整体。
"""
请教下:
(1) 你所知的CFA方法中，哪个能对Python这种动态语言做到soundness?
(2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
(3) 你所知的CFA方法中, 哪个方法能比Pysonar2效果更好更准确更快?
0
局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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*n
66 楼
大家有没有发现，老王的文风和凤姐的很相似啊。
【在 d*******r 的大作中提到】
: """
: 知道这个之后，可以很容易做出 counter example，让它不光对某一个函数推断失败，
: 而且这个失败会放大到全局。
: 所以呢，简单粗暴的做法，速度是快了，但是没有考虑 soundness，没有考虑整体。
: """
: 请教下:
: (1) 你所知的CFA方法中，哪个能对Python这种动态语言做到soundness?
: (2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
: 注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
: 如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
【在 d*******r 的大作中提到】
: """
: 知道这个之后，可以很容易做出 counter example，让它不光对某一个函数推断失败，
: 而且这个失败会放大到全局。
: 所以呢，简单粗暴的做法，速度是快了，但是没有考虑 soundness，没有考虑整体。
: """
: 请教下:
: (1) 你所知的CFA方法中，哪个能对Python这种动态语言做到soundness?
: (2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
: 注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
: 如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
a*a
67 楼
那位就是一个典型，你跟他讲工程实用，他跟你讲理论，等你跟他讲理论了，他又转进了
【在 d*******r 的大作中提到】
: """
: 知道这个之后，可以很容易做出 counter example，让它不光对某一个函数推断失败，
: 而且这个失败会放大到全局。
: 所以呢，简单粗暴的做法，速度是快了，但是没有考虑 soundness，没有考虑整体。
: """
: 请教下:
: (1) 你所知的CFA方法中，哪个能对Python这种动态语言做到soundness?
: (2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
: 注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
: 如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
T*x
68 楼
这个也有道理。
【在 d*******r 的大作中提到】
: """
: 知道这个之后，可以很容易做出 counter example，让它不光对某一个函数推断失败，
: 而且这个失败会放大到全局。
: 所以呢，简单粗暴的做法，速度是快了，但是没有考虑 soundness，没有考虑整体。
: """
: 请教下:
: (1) 你所知的CFA方法中，哪个能对Python这种动态语言做到soundness?
: (2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
: 注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
: 如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
【在 d*******r 的大作中提到】
: """
: 知道这个之后，可以很容易做出 counter example，让它不光对某一个函数推断失败，
: 而且这个失败会放大到全局。
: 所以呢，简单粗暴的做法，速度是快了，但是没有考虑 soundness，没有考虑整体。
: """
: 请教下:
: (1) 你所知的CFA方法中，哪个能对Python这种动态语言做到soundness?
: (2) 你所知的CFA方法中, 哪个是找不到 counter example 的?
: 注意, Pysonar2是辅助分析的工具, 不是网络安全的工具,
: 如果常用的Python分析中, 它基本无错, 那就已经是很实用的了.
w*g
69 楼
做toolchain赚不到钱的。上面有人问为啥没老中创立的编程语言，
就因为做个语言就能开山立派的年代早已经过去了，现在搞新语言
不赚钱。老王10多年前就开始作，一直作到现在，应该说是勇气可
嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话，凭他的本
事根本不愁赚不到活命钱。我们没啥勇气的，稍微忍一忍，phd也就
到手了，再忍一忍，小孩就大了，再稍微忍一忍，这辈子就过去了。
倒是老王到现在还是维技术论，真是越老越可爱了。要我说，靠技术
能力得到公平的回报，也就值六万五一年。这世界有屁个公平。
老王他自己就是不公平的受益者。
【在 g****t 的大作中提到】
: 我的浅见：
: 我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
: 他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
: 宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
: 始吹，肯定不是做研究的态度。
: 但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
: 。前面说老王coding强的，的确有一定道理。
: 但我觉得那么多公司只给他入门级别是对的。
: 因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
: 人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
就因为做个语言就能开山立派的年代早已经过去了，现在搞新语言
不赚钱。老王10多年前就开始作，一直作到现在，应该说是勇气可
嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话，凭他的本
事根本不愁赚不到活命钱。我们没啥勇气的，稍微忍一忍，phd也就
到手了，再忍一忍，小孩就大了，再稍微忍一忍，这辈子就过去了。
倒是老王到现在还是维技术论，真是越老越可爱了。要我说，靠技术
能力得到公平的回报，也就值六万五一年。这世界有屁个公平。
老王他自己就是不公平的受益者。
【在 g****t 的大作中提到】
: 我的浅见：
: 我看了下他这个。同意你说的。他离phd挺远。选题不错，没有勇气往前走一点。如果
: 他能归纳总结，甚至理论解释下他这个策略什么时候work,什么时候不work.然后不说开
: 宗立派，给个扎实的sub order优化我觉得足够phd毕业了。他这样学个策略实现下就开
: 始吹，肯定不是做研究的态度。
: 但话说回来。他coding 水平还真是不错的。我个人觉得胜过毕业五年的平均码工水平
: 。前面说老王coding强的，的确有一定道理。
: 但我觉得那么多公司只给他入门级别是对的。
: 因为他没有产品概念。所以还真的只能做entry level engineer。他这种开会发言，别
: 人会觉得他是蠢蛋。公司开任何一个项目要么是赚钱为目的，要么是让大家瞎忙保主工
a*a
70 楼
不是彻底失败的原因是因为它们从这次失败中学习了 a lot, 创建了软件工程
【在 a*w 的大作中提到】
: Brooks凭360得了图灵奖，不会是彻底失败吧。
a*a
71 楼
就是看到个现实版堂吉诃德的感觉
王垠要是学会放软身段，学会拍马屁，混的肯定比这版上大多数人强
【在 w***g 的大作中提到】
: 做toolchain赚不到钱的。上面有人问为啥没老中创立的编程语言，
: 就因为做个语言就能开山立派的年代早已经过去了，现在搞新语言
: 不赚钱。老王10多年前就开始作，一直作到现在，应该说是勇气可
: 嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话，凭他的本
: 事根本不愁赚不到活命钱。我们没啥勇气的，稍微忍一忍，phd也就
: 到手了，再忍一忍，小孩就大了，再稍微忍一忍，这辈子就过去了。
: 倒是老王到现在还是维技术论，真是越老越可爱了。要我说，靠技术
: 能力得到公平的回报，也就值六万五一年。这世界有屁个公平。
: 老王他自己就是不公平的受益者。
g*t
72 楼
他停在写代码这一步，看不到代码在产品里的作用。
前面一个人说的很准确，马哲学的好，离当官还远着。
【在 a****a 的大作中提到】
:
: 就是看到个现实版堂吉诃德的感觉
: 王垠要是学会放软身段，学会拍马屁，混的肯定比这版上大多数人强
前面一个人说的很准确，马哲学的好，离当官还远着。
【在 a****a 的大作中提到】
:
: 就是看到个现实版堂吉诃德的感觉
: 王垠要是学会放软身段，学会拍马屁，混的肯定比这版上大多数人强
g*t
73 楼
Pandas本来是AQR内部一个项目。然后组里的人出来自己开源。
我记得作者开了个咨询公司吧。
当然，得看明白产品的逻辑，不然出来的东西不会有很多用户。
老王差距还不小。但无论如何，我觉得他很早就走python，而且
做出了东西，应该坚持的。
【在 w***g 的大作中提到】
: 做toolchain赚不到钱的。上面有人问为啥没老中创立的编程语言，
: 就因为做个语言就能开山立派的年代早已经过去了，现在搞新语言
: 不赚钱。老王10多年前就开始作，一直作到现在，应该说是勇气可
: 嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话，凭他的本
: 事根本不愁赚不到活命钱。我们没啥勇气的，稍微忍一忍，phd也就
: 到手了，再忍一忍，小孩就大了，再稍微忍一忍，这辈子就过去了。
: 倒是老王到现在还是维技术论，真是越老越可爱了。要我说，靠技术
: 能力得到公平的回报，也就值六万五一年。这世界有屁个公平。
: 老王他自己就是不公平的受益者。
我记得作者开了个咨询公司吧。
当然，得看明白产品的逻辑，不然出来的东西不会有很多用户。
老王差距还不小。但无论如何，我觉得他很早就走python，而且
做出了东西，应该坚持的。
【在 w***g 的大作中提到】
: 做toolchain赚不到钱的。上面有人问为啥没老中创立的编程语言，
: 就因为做个语言就能开山立派的年代早已经过去了，现在搞新语言
: 不赚钱。老王10多年前就开始作，一直作到现在，应该说是勇气可
: 嘉。我估计他能一直作到下一波IT泡泡吹破。否则的话，凭他的本
: 事根本不愁赚不到活命钱。我们没啥勇气的，稍微忍一忍，phd也就
: 到手了，再忍一忍，小孩就大了，再稍微忍一忍，这辈子就过去了。
: 倒是老王到现在还是维技术论，真是越老越可爱了。要我说，靠技术
: 能力得到公平的回报，也就值六万五一年。这世界有屁个公平。
: 老王他自己就是不公平的受益者。
g*t
74 楼
他那个年代选python。本身就说明他或者他的老板厉害。
假如你是教授，你给自己的学生选一个课题，选哪个语言？
这个问题可不好答
【在 d*******r 的大作中提到】
: 王垠这个pysonar2跟phd选题, 发paper动机等等, 一点关系都木有啊...
: 人家只是做个东西，能work, 而且效果还不错而已.
假如你是教授，你给自己的学生选一个课题，选哪个语言？
这个问题可不好答
【在 d*******r 的大作中提到】
: 王垠这个pysonar2跟phd选题, 发paper动机等等, 一点关系都木有啊...
: 人家只是做个东西，能work, 而且效果还不错而已.
d*r
75 楼
python paser是他去google实习时候顺便搞的. 不是他Phd研究.
你们星宿派wdong就说的很清楚, 搞好技术是一回事, 挣到钱是另外一回事,
同理, 工程搞好是一回事, 升职加薪是另外一回事.
这两类事情有时正相关，有时是反相关的.
【在 g****t 的大作中提到】
: 他那个年代选python。本身就说明他或者他的老板厉害。
: 假如你是教授，你给自己的学生选一个课题，选哪个语言？
: 这个问题可不好答
你们星宿派wdong就说的很清楚, 搞好技术是一回事, 挣到钱是另外一回事,
同理, 工程搞好是一回事, 升职加薪是另外一回事.
这两类事情有时正相关，有时是反相关的.
【在 g****t 的大作中提到】
: 他那个年代选python。本身就说明他或者他的老板厉害。
: 假如你是教授，你给自己的学生选一个课题，选哪个语言？
: 这个问题可不好答
d*r
76 楼
我其实不太理解你说的 "代码背后的产品的逻辑",
我觉得B+Tree之类基础设施, 就该做扎实了.
不过我倒是希望老王能自己搞个赚钱的产品,
挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
【在 g****t 的大作中提到】
: Pandas本来是AQR内部一个项目。然后组里的人出来自己开源。
: 我记得作者开了个咨询公司吧。
: 当然，得看明白产品的逻辑，不然出来的东西不会有很多用户。
: 老王差距还不小。但无论如何，我觉得他很早就走python，而且
: 做出了东西，应该坚持的。
我觉得B+Tree之类基础设施, 就该做扎实了.
不过我倒是希望老王能自己搞个赚钱的产品,
挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
【在 g****t 的大作中提到】
: Pandas本来是AQR内部一个项目。然后组里的人出来自己开源。
: 我记得作者开了个咨询公司吧。
: 当然，得看明白产品的逻辑，不然出来的东西不会有很多用户。
: 老王差距还不小。但无论如何，我觉得他很早就走python，而且
: 做出了东西，应该坚持的。
g*t
77 楼
我的浅见：
B2B的生意，（就是公司卖给公司的软件）有自己的道道
不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
意是怎么回事。
另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
杀气很重。
老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
的pker 肯定知道。
: 我其实不太理解你说的 "代码背后的产品的逻辑",
: 我觉得B Tree之类基础设施, 就该做扎实了.
: 不过我倒是希望老王能自己搞个赚钱的产品,
: 挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
【在 d*******r 的大作中提到】
: 我其实不太理解你说的 "代码背后的产品的逻辑",
: 我觉得B+Tree之类基础设施, 就该做扎实了.
: 不过我倒是希望老王能自己搞个赚钱的产品,
: 挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
B2B的生意，（就是公司卖给公司的软件）有自己的道道
不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
意是怎么回事。
另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
杀气很重。
老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
的pker 肯定知道。
: 我其实不太理解你说的 "代码背后的产品的逻辑",
: 我觉得B Tree之类基础设施, 就该做扎实了.
: 不过我倒是希望老王能自己搞个赚钱的产品,
: 挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
【在 d*******r 的大作中提到】
: 我其实不太理解你说的 "代码背后的产品的逻辑",
: 我觉得B+Tree之类基础设施, 就该做扎实了.
: 不过我倒是希望老王能自己搞个赚钱的产品,
: 挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
p*u
78 楼
这世上成功的人绝大多数都很坏。
【在 g****t 的大作中提到】
: 我的浅见：
: B2B的生意，（就是公司卖给公司的软件）有自己的道道
: 不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
: 我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
: 意是怎么回事。
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
: 杀气很重。
: 老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
: 的pker 肯定知道。
:
c*n
79 楼
嗯 我也知道过一次这种情况 走了一个高层和一个招进来没多久的entry level
知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志
==========================
另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志
==========================
另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
r*s
80 楼
您真闲，说他写 abstract interpretation太抬举他了，他这破玩意无非就是数据流分析
里最基本的类型分析。编译器里面几十年前就有的玩意了不知道为啥能蒙了这许多人。
0
局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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，让它不光对某一个函数推断失败，而且这个失败会放大到全局。
里最基本的类型分析。编译器里面几十年前就有的玩意了不知道为啥能蒙了这许多人。
0
局。
【在 a*****e 的大作中提到】
: 我来讲讲王同学引以为傲的 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*e
81 楼
lol
公司里政治斗争比技术变革更强烈，站错队了，就会走人。所以说programmer nerdy,
白人美女根本就不鸟。
【在 c******n 的大作中提到】
: 嗯 我也知道过一次这种情况 走了一个高层和一个招进来没多久的entry level
: 知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志
: ==========================
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
公司里政治斗争比技术变革更强烈，站错队了，就会走人。所以说programmer nerdy,
白人美女根本就不鸟。
【在 c******n 的大作中提到】
: 嗯 我也知道过一次这种情况 走了一个高层和一个招进来没多久的entry level
: 知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志
: ==========================
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
c*e
82 楼
我倒觉得口气像IT界的老邱
【在 z****n 的大作中提到】
: 大家有没有发现，老王的文风和凤姐的很相似啊。
【在 z****n 的大作中提到】
: 大家有没有发现，老王的文风和凤姐的很相似啊。
c*l
83 楼
弱弱地问一下，难道不是principal engineer吗？principle engineer是什么梗？
【在 g****t 的大作中提到】
: 我倒觉得他这个现在有进步。读弗雷格开窍了？
: 我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
: 写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话，
: 除非是小孩子需要大人告诉他这点。
: anyway，老王至少收敛到了intellectual honesty。想的是什么就说什么，
: 不self cheating。如果不是他还是老是扯人事的是是与非非，那老王也算是个星宿
: 派了。
: 现在这帖子，前半截还好好的。后半截又是不忍卒读。什么这个那个公司，
: principle engineer都出来了。
【在 g****t 的大作中提到】
: 我倒觉得他这个现在有进步。读弗雷格开窍了？
: 我认为“我的能力是盖世无双的”这话是对的。每个人的能力都是盖世无双的。
: 写程序我觉得最后是个人体验。但“我的能力是盖世无双的”其实是无须说的废话，
: 除非是小孩子需要大人告诉他这点。
: anyway，老王至少收敛到了intellectual honesty。想的是什么就说什么，
: 不self cheating。如果不是他还是老是扯人事的是是与非非，那老王也算是个星宿
: 派了。
: 现在这帖子，前半截还好好的。后半截又是不忍卒读。什么这个那个公司，
: principle engineer都出来了。
x*u
84 楼
这两个词日本人就不会弄错
一个是普林西铺路，另一个是普林西帕鲁
【在 c***l 的大作中提到】
: 弱弱地问一下，难道不是principal engineer吗？principle engineer是什么梗？
一个是普林西铺路，另一个是普林西帕鲁
【在 c***l 的大作中提到】
: 弱弱地问一下，难道不是principal engineer吗？principle engineer是什么梗？
s*e
85 楼
靠,你大嘴一张ibm360就打了水漂了。
【在 a****a 的大作中提到】
:
: 就是看到个现实版堂吉诃德的感觉
: 王垠要是学会放软身段，学会拍马屁，混的肯定比这版上大多数人强
【在 a****a 的大作中提到】
:
: 就是看到个现实版堂吉诃德的感觉
: 王垠要是学会放软身段，学会拍马屁，混的肯定比这版上大多数人强
d*c
86 楼
我应该看过他所有blog文章，他觉得java挺好，没记得说过python好。
搞的项目分析python是因为google intern期间做这个，不是因为他喜欢pyhon。
要说早，他鼓吹linux更早。
【在 g****t 的大作中提到】
: 我的浅见：
: B2B的生意，（就是公司卖给公司的软件）有自己的道道
: 不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
: 我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
: 意是怎么回事。
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
: 杀气很重。
: 老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
: 的pker 肯定知道。
:
搞的项目分析python是因为google intern期间做这个，不是因为他喜欢pyhon。
要说早，他鼓吹linux更早。
【在 g****t 的大作中提到】
: 我的浅见：
: B2B的生意，（就是公司卖给公司的软件）有自己的道道
: 不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
: 我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
: 意是怎么回事。
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
: 杀气很重。
: 老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
: 的pker 肯定知道。
:
d*e
87 楼
微软写个屁B+树。
代码都存在30年了。大量软件都用到了B+ tree.
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
代码都存在30年了。大量软件都用到了B+ tree.
【在 w***g 的大作中提到】
: B+树确实难写，如果是磁盘B+树那就是难上加难。
: 因为一碰上磁盘，不光是正确性，还得crash了能恢复一致性。
: 不过我怀疑他那个两天写出来的B+树应该不是磁盘结构。
: 王垠确实写程序牛B。但是写程序再牛B，写的也不是钱。
: 要想赚钱就得先学会装孙子。
: 我倒是有一计，就是找个水平比较低的公司，虽然少拿点
: 工资，至少技术上能说一不二想咋就咋。因为公司差也不会
: 有别的牛人来图这个职位。然后业余腾出时间来搞搞
: 开源项目啥的。技术牛人想图个纯粹，本来也不是个难事，
: 但是就别追求钱和地位了。
l*0
88 楼
是啊，把我搞糊涂了，360大型机也算一代英豪了吧
【在 s******e 的大作中提到】
: 靠,你大嘴一张ibm360就打了水漂了。
【在 s******e 的大作中提到】
: 靠,你大嘴一张ibm360就打了水漂了。
y*j
89 楼
这话非常准确，现实世界是复杂的，不可能一个理论打遍天下。有时候大的框架大家都
知道，但是那些细节决定成败。
那些小诀窍绝对是商业机密，有些人为了保饭碗，有时候故意搞得难懂。
我是不赞同这么做，一般都document 出来，至少做到问心无愧吧。
：他这是做产品没入门吧？
：我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
：cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
：engineer
：的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软
件，最后一mile往往是经
：验积累出来的商业机密。
：他很可能没看懂。
：他看不到或者别人不告诉他哪些不确定性需要处理。这种是
：核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
：一般不会有人随便说。
：..........
【在 g****t 的大作中提到】
: 我的浅见：
: B2B的生意，（就是公司卖给公司的软件）有自己的道道
: 不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
: 我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
: 意是怎么回事。
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
: 杀气很重。
: 老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
: 的pker 肯定知道。
:
知道，但是那些细节决定成败。
那些小诀窍绝对是商业机密，有些人为了保饭碗，有时候故意搞得难懂。
我是不赞同这么做，一般都document 出来，至少做到问心无愧吧。
：他这是做产品没入门吧？
：我的浅见，很多代码到最后非常ugly，是因为大量用户冲刷下来发现了新的各种
：cornerCases修修补补出来的。他文中觉得一个做过卖过b 树产品的principal
：engineer
：的代码复杂难懂，多半是人家不愿意告诉他诀窍。用户多的软件，robust要求高的软
件，最后一mile往往是经
：验积累出来的商业机密。
：他很可能没看懂。
：他看不到或者别人不告诉他哪些不确定性需要处理。这种是
：核心的真本事。别人的饭碗。这些东西是窗户纸一捅就破，
：一般不会有人随便说。
：..........
【在 g****t 的大作中提到】
: 我的浅见：
: B2B的生意，（就是公司卖给公司的软件）有自己的道道
: 不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
: 我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
: 意是怎么回事。
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
: 杀气很重。
: 老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
: 的pker 肯定知道。
:
y*j
90 楼
他是嫌弃python没有type，所以觉得java很好。
：我应该看过他所有blog文章，他觉得java挺好，没记得说过python好。
：搞的项目分析python是因为google intern期间做这个，不是因为他喜欢pyhon。
：要说早，他鼓吹linux更早。
【在 d******c 的大作中提到】
: 我应该看过他所有blog文章，他觉得java挺好，没记得说过python好。
: 搞的项目分析python是因为google intern期间做这个，不是因为他喜欢pyhon。
: 要说早，他鼓吹linux更早。
：我应该看过他所有blog文章，他觉得java挺好，没记得说过python好。
：搞的项目分析python是因为google intern期间做这个，不是因为他喜欢pyhon。
：要说早，他鼓吹linux更早。
【在 d******c 的大作中提到】
: 我应该看过他所有blog文章，他觉得java挺好，没记得说过python好。
: 搞的项目分析python是因为google intern期间做这个，不是因为他喜欢pyhon。
: 要说早，他鼓吹linux更早。
y*j
91 楼
你说的这个老油条我看水平很高啊，最小的力气，最小的风险，完成任务，非高手不可。
：你想多了，太高看公司级别和资历了...
：公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能
, 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
：老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更
快.
：老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平
衡.
：如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
：老王抗拒这个过程, 是一种死不悔改的中二病(偏褒义), 看着让人心酸.
【在 d*******r 的大作中提到】
: 我其实不太理解你说的 "代码背后的产品的逻辑",
: 我觉得B+Tree之类基础设施, 就该做扎实了.
: 不过我倒是希望老王能自己搞个赚钱的产品,
: 挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
：你想多了，太高看公司级别和资历了...
：公司代码愈发复杂，多半是逐步腐败的结果，就是每次一个老油条老员工来加个功能
, 老油条只在乎用最小的力气，冒最小的风险，交作业交差, 然后领工资去混下个项目.
：老油条剩下大把时间，拍拍马屁, 搞政治, 或者刷刷题，跳跳槽, 资历和级别涨得更
快.
：老王只是不明白(或者死不认)这个道理，老是要认真干项目, 所以总是吃亏心里不平
衡.
：如果一直混公司, 很多有理想的人，包括我们自己，最后都会堕落成老油条.
：老王抗拒这个过程, 是一种死不悔改的中二病(偏褒义), 看着让人心酸.
【在 d*******r 的大作中提到】
: 我其实不太理解你说的 "代码背后的产品的逻辑",
: 我觉得B+Tree之类基础设施, 就该做扎实了.
: 不过我倒是希望老王能自己搞个赚钱的产品,
: 挣点小钱养活自己, 这样才不需要到处给人打工，被各种虐.
v*e
92 楼
能不能多介绍点内容，我们好学习学习。
【在 c******n 的大作中提到】
: 嗯 我也知道过一次这种情况 走了一个高层和一个招进来没多久的entry level
: 知道真实情况后可把我恶心坏了 一个礼拜都没啥斗志
: ==========================
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
c*e
93 楼
既然这么优秀，怎么还没有绿卡？
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
【在 p*u 的大作中提到】
: http://www.yinwang.org/blog-cn/2017/04/06/update
: "
: 更新
: 几个月没有更新了，有些人来问我为什么，我也没有回他们。显然我不会因为有人来问
: 就写东西，我写东西完全是因为我自己想写，它不受任何人的影响，不管是好心人还是
: 别有用心的。不过现在回答一下，我没写文章是因为我在忙着写很好玩，很有价值的代
: 码。
: 我知道这个博客的影响力很大，但我对此所产生的“名气”一点都不在乎。以前的公司
: 领导有时见到我，说：“我听说你在网上很有名啊！介绍几个粉丝来我们公司，我们就
: 走向成功啦！” 我听了苦笑一声。因为对于我来说，“网上有名”其实是一种贬低。
t*n
94 楼
不是自称有女abc想嫁他
【在 c*********e 的大作中提到】
: 既然这么优秀，怎么还没有绿卡？
【在 c*********e 的大作中提到】
: 既然这么优秀，怎么还没有绿卡？
M*6
95 楼
听起来好吓人。求教怎么才能看出项目是不是整人用的呢？
【在 g****t 的大作中提到】
: 我的浅见：
: B2B的生意，（就是公司卖给公司的软件）有自己的道道
: 不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
: 我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
: 意是怎么回事。
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
: 杀气很重。
: 老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
: 的pker 肯定知道。
:
【在 g****t 的大作中提到】
: 我的浅见：
: B2B的生意，（就是公司卖给公司的软件）有自己的道道
: 不是技术和产品质量好单独一个重点。另外很多市场反馈回来的非教科书知识。
: 我也不知道他这个B tree卖给谁的。市场什么情况。但我基本肯定他不知道这产品的生
: 意是怎么回事。
: 另外还一种情况，有的产品立项就是整人用的，甚至裁员用的，里应外合，
: 杀气很重。
: 老王进公司就被坑哭了，还屡教不改。做软件成功的人绝大多数都很坏的，这点斧头帮
: 的pker 肯定知道。
:
r*7
96 楼
这人已经被证明sb一个，为啥还受这么多关注 是看他笑话的吗
g*t
97 楼
不犯错很多公司没办法裁人的
: 听起来好吓人。求教怎么才能看出项目是不是整人用的呢？
【在 M***6 的大作中提到】
: 听起来好吓人。求教怎么才能看出项目是不是整人用的呢？
: 听起来好吓人。求教怎么才能看出项目是不是整人用的呢？
【在 M***6 的大作中提到】
: 听起来好吓人。求教怎么才能看出项目是不是整人用的呢？
i*h
98 楼
不看好他自己搞项目
感觉他就是写个孤立的程序，可以很漂亮
做项目，从用户到测试，都是他觉得不用在意的东西
这个人完全没法做工程
在学校里带个课写个样板程序可能还不错
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
感觉他就是写个孤立的程序，可以很漂亮
做项目，从用户到测试，都是他觉得不用在意的东西
这个人完全没法做工程
在学校里带个课写个样板程序可能还不错
【在 a****a 的大作中提到】
: 这个， 如果自己水平没到就别评论王垠的水平了
: 我看过他的一些代码，不客气的说，从这里有过往发言的人来看，没几个有王垠的水平
: 的， 不过码工吗，主要靠吹和贬低别人，哪怕自己只不过是给填空的java 码农，经常
: 也是鼻子朝天的额，本版颇有几个典型，基本算法design原则都不懂就敢出来骂人的，
: 你要让他拿出来自己的东西，他就会说，王垠那些代码我只是不屑于写，诸如此类的
: 说了骂他的人的问题，也说说王垠的问题吧， 从这篇文章看， 王垠是出了典型的心理
: 问题， 他对社会的认知与实际偏差过大，导致无法妥协， 他在文章中用第三人称称呼
: 自己，甚至称呼自己时用的是名字，这是典型的心理失衡，任何一个受过训练的心理医
: 生都能察觉， 建议他最好看看一下心理医生，一方面是疏导，另一方面是可能有些药
: 物会起作用
v*e
99 楼
这样啊，看来在一个好的manager手下可以当个好的螺丝钉。
【在 i***h 的大作中提到】
: 不看好他自己搞项目
: 感觉他就是写个孤立的程序，可以很漂亮
: 做项目，从用户到测试，都是他觉得不用在意的东西
: 这个人完全没法做工程
: 在学校里带个课写个样板程序可能还不错
i*h
100 楼
然后他用白眼看老板...
【在 v*******e 的大作中提到】
:
: 这样啊，看来在一个好的manager手下可以当个好的螺丝钉。
【在 v*******e 的大作中提到】
:
: 这样啊，看来在一个好的manager手下可以当个好的螺丝钉。
M*6
101 楼
new grad刚进公司，进度慢这种算犯错吗？能不能展开说说主要是哪些方面容易犯错。
谢谢
【在 g****t 的大作中提到】
: 不犯错很多公司没办法裁人的
:
:
: 听起来好吓人。求教怎么才能看出项目是不是整人用的呢？
:
谢谢
【在 g****t 的大作中提到】
: 不犯错很多公司没办法裁人的
:
:
: 听起来好吓人。求教怎么才能看出项目是不是整人用的呢？
:
f*t
102 楼
新人要避免以下三点：
ramp up慢，遇到问题不问人或重复问相同的问题
做事鲁莽，不按规定来，自己搞一套
主动挑事跟同事发生矛盾，不服从manager的管理
【在 M***6 的大作中提到】
: new grad刚进公司，进度慢这种算犯错吗？能不能展开说说主要是哪些方面容易犯错。
: 谢谢
ramp up慢，遇到问题不问人或重复问相同的问题
做事鲁莽，不按规定来，自己搞一套
主动挑事跟同事发生矛盾，不服从manager的管理
【在 M***6 的大作中提到】
: new grad刚进公司，进度慢这种算犯错吗？能不能展开说说主要是哪些方面容易犯错。
: 谢谢
g*n
103 楼
他水平还可以的，虽然没有他自吹的那么高，说是美国马公的头5%或者10%问题是不大
的。
问题是大家都不掌握资源，没法给他一个环境让他发挥出来。假定你是个manager 或者
director，
要给他一个offer 还是需要很大的勇气的。
【在 c*********e 的大作中提到】
: 既然这么优秀，怎么还没有绿卡？
d*a
104 楼
可以合成一点：多虚心学习，少发表高见。:)
【在 f*******t 的大作中提到】
: 新人要避免以下三点：
: ramp up慢，遇到问题不问人或重复问相同的问题
: 做事鲁莽，不按规定来，自己搞一套
: 主动挑事跟同事发生矛盾，不服从manager的管理
【在 f*******t 的大作中提到】
: 新人要避免以下三点：
: ramp up慢，遇到问题不问人或重复问相同的问题
: 做事鲁莽，不按规定来，自己搞一套
: 主动挑事跟同事发生矛盾，不服从manager的管理
x*u
105 楼
不要黑美国
在任何工业圈混，要不是能自己干活，要不就要能领人干活，他能满足哪个啊？
【在 g********n 的大作中提到】
:
: 他水平还可以的，虽然没有他自吹的那么高，说是美国马公的头5%或者10%问题是不大
: 的。
: 问题是大家都不掌握资源，没法给他一个环境让他发挥出来。假定你是个manager 或者
: director，
: 要给他一个offer 还是需要很大的勇气的。
在任何工业圈混，要不是能自己干活，要不就要能领人干活，他能满足哪个啊？
【在 g********n 的大作中提到】
:
: 他水平还可以的，虽然没有他自吹的那么高，说是美国马公的头5%或者10%问题是不大
: 的。
: 问题是大家都不掌握资源，没法给他一个环境让他发挥出来。假定你是个manager 或者
: director，
: 要给他一个offer 还是需要很大的勇气的。
g*t
106 楼
我补充一点：不要去注定失败的项目组
顺势而为很重要
: 可以合成一点：多虚心学习，少发表高见。:)
【在 d***a 的大作中提到】
: 可以合成一点：多虚心学习，少发表高见。:)
顺势而为很重要
: 可以合成一点：多虚心学习，少发表高见。:)
【在 d***a 的大作中提到】
: 可以合成一点：多虚心学习，少发表高见。:)
v*e
107 楼
这个，发现哪个项目必然失败，也不是容易的吧？
【在 g****t 的大作中提到】
: 我补充一点：不要去注定失败的项目组
: 顺势而为很重要
:
:
: 可以合成一点：多虚心学习，少发表高见。:)
:
g*t
108 楼
我的浅见：
不要尝试create a new market,这种一般都是失败的
: 这个，发现哪个项目必然失败，也不是容易的吧？
【在 v*******e 的大作中提到】
:
: 这个，发现哪个项目必然失败，也不是容易的吧？
不要尝试create a new market,这种一般都是失败的
: 这个，发现哪个项目必然失败，也不是容易的吧？
【在 v*******e 的大作中提到】
:
: 这个，发现哪个项目必然失败，也不是容易的吧？
w*e
109 楼
老说王垠技术牛，说实话除了他自吹，哪里有第三方的证据证明这一点嘛？他在康奈尔
和UIUC念过书，在Google实习过，哪怕是平均水平的技术，也不致于只申请到微软的
test职位吧？
【在 i***h 的大作中提到】
: 不看好他自己搞项目
: 感觉他就是写个孤立的程序，可以很漂亮
: 做项目，从用户到测试，都是他觉得不用在意的东西
: 这个人完全没法做工程
: 在学校里带个课写个样板程序可能还不错
和UIUC念过书，在Google实习过，哪怕是平均水平的技术，也不致于只申请到微软的
test职位吧？
【在 i***h 的大作中提到】
: 不看好他自己搞项目
: 感觉他就是写个孤立的程序，可以很漂亮
: 做项目，从用户到测试，都是他觉得不用在意的东西
: 这个人完全没法做工程
: 在学校里带个课写个样板程序可能还不错
w*g
110 楼
中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
【在 g********n 的大作中提到】
:
: 他水平还可以的，虽然没有他自吹的那么高，说是美国马公的头5%或者10%问题是不大
: 的。
: 问题是大家都不掌握资源，没法给他一个环境让他发挥出来。假定你是个manager 或者
: director，
: 要给他一个offer 还是需要很大的勇气的。
【在 g********n 的大作中提到】
:
: 他水平还可以的，虽然没有他自吹的那么高，说是美国马公的头5%或者10%问题是不大
: 的。
: 问题是大家都不掌握资源，没法给他一个环境让他发挥出来。假定你是个manager 或者
: director，
: 要给他一个offer 还是需要很大的勇气的。
p*u
111 楼
他最后一个学校是Indiana University, 师从programming languages大牛。他的
pysonar2在github上有2500多个星，对一个单打独斗的项目还是很难得的，美国人都没
几个做得到。
【在 w****e 的大作中提到】
: 老说王垠技术牛，说实话除了他自吹，哪里有第三方的证据证明这一点嘛？他在康奈尔
: 和UIUC念过书，在Google实习过，哪怕是平均水平的技术，也不致于只申请到微软的
: test职位吧？
pysonar2在github上有2500多个星，对一个单打独斗的项目还是很难得的，美国人都没
几个做得到。
【在 w****e 的大作中提到】
: 老说王垠技术牛，说实话除了他自吹，哪里有第三方的证据证明这一点嘛？他在康奈尔
: 和UIUC念过书，在Google实习过，哪怕是平均水平的技术，也不致于只申请到微软的
: test职位吧？
l*0
112 楼
Github上他得到的星星还是不少滴，这个倒是不用怀疑，他的问题是没法跟人合作，所
以做自由职业者或许也不错。
【在 w****e 的大作中提到】
: 老说王垠技术牛，说实话除了他自吹，哪里有第三方的证据证明这一点嘛？他在康奈尔
: 和UIUC念过书，在Google实习过，哪怕是平均水平的技术，也不致于只申请到微软的
: test职位吧？
以做自由职业者或许也不错。
【在 w****e 的大作中提到】
: 老说王垠技术牛，说实话除了他自吹，哪里有第三方的证据证明这一点嘛？他在康奈尔
: 和UIUC念过书，在Google实习过，哪怕是平均水平的技术，也不致于只申请到微软的
: test职位吧？
g*t
113 楼
他极度缺乏产品意识。所以
雇他对赚钱有妨碍。
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
【在 w***g 的大作中提到】
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
雇他对赚钱有妨碍。
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
【在 w***g 的大作中提到】
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
p*u
114 楼
没人能震得住他，所以不服管，还是让他自己去闯吧。
【在 g****t 的大作中提到】
: 他极度缺乏产品意识。所以
: 雇他对赚钱有妨碍。
:
:
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
:
【在 g****t 的大作中提到】
: 他极度缺乏产品意识。所以
: 雇他对赚钱有妨碍。
:
:
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
:
x*u
115 楼
万万不可啊！他一周后blog写数据大牛wdong如何如何之类的，你就出大名了
【在 w***g 的大作中提到】
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
【在 w***g 的大作中提到】
: 中肯。我要有钱可以烧，肯定愿意雇他。可惜我五行缺钱。
相关阅读
一般桌面程序需要Single Design Pattern吗c++的问题就是用*标识指针，和乘法混了，应该用@替代round问题为何空格鄙视tab? 3空鄙视4空和8空？！ETrade APIC# and WPF 类的转换黑c++的人是不是坐井观天？有想一起学习算法的朋友吗？如何用程序下载这个数据，最好是javaPython machine learning library问个c++删除链表(linked list)节点的问题其实javascript 最接近自然语言这是另一个c++的bug么？说说学术方面的升级大数据太火了！array如何get set？老板脑抽要用nools..求推荐方便编程的平板FP 与过程化编程（procedural）的区别是？what is c++? and what can you expect