王垠的最新更新
获得徽章 0
- 这本揭露硅谷真相的书看了一半了。有人发现它已经有中文版。它就像一个深刻理解我的朋友，慢慢的修补我的心灵在硅谷受到的各种创伤。作者的所见所想，受到的伤害，跟我在Google等公司感受到的几乎完全一致。我现在相信了，Google是这个邪教的开端 这个邪教的名字，叫做“改变世界”[挖鼻] 这种文化已经泛滥到了美国的大部分创业公司。这跟GM等传统美国公司一直以来的价值观和对待人的态度，是完全相反的。我抓屏摘录的这些，是深有体会的部分。这种邪教正在随着硅谷的名声，流传到中国的创业公司。很多中国公司开始模仿google的做法。我建议大家都看看这本书，给自己打好预防针，避免被邪教洗脑。展开等人赞过 49
- 新博文：『自动编程是不可能的』
www.yinwang.org 。有人请我帮他看看一个关于智能合约的投资项目，是一帮形式验证的人搞的。他们号称要用“深度学习”的方法，自动生成 Hoaore Logic 的“前后条件”（pre-condition 和 post-condition），以此来完全证明智能合约的正确性。其实我之前的一篇文章已经指出了，自动编程是不可能的，同样的原理也可以说明深度学习生成前后条件的做法，也是不可能实现的。由于这种智能合约的问题越来越受人关心，很多人却又不懂，被人忽悠，我把相关内容提出来扩展之后，单独写了一篇文章。 展开等人赞过 评论4
www.yinwang.org