W*n
2 楼
绝大部分码农搞的不是critical system，所以可以自由发挥，但最高大上的软件工程
是有严格理论指导的，不是手艺活。
是有严格理论指导的，不是手艺活。
o*h
3 楼
samsung F4 2T
g*t
4 楼
每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
B*G
5 楼
东芝前两天那个50刀2T也不错。
h*i
6 楼
工匠用一切能实用和适当的工具。需要用formal verifications的地方就用。
你这些条条框框都是什么來的？说说，为什么自由工匠弄不了这个？
你这些条条框框都是什么來的？说说，为什么自由工匠弄不了这个？
m*d
7 楼
绿盘据据说raid经常出问题
三爽或者deathstar
【在 w**********u 的大作中提到】
: NAS用的硬盘有啥特殊要求？西数的绿盘怎么样？谢谢
三爽或者deathstar
【在 w**********u 的大作中提到】
: NAS用的硬盘有啥特殊要求？西数的绿盘怎么样？谢谢
h*i
8 楼
软件有自己的规律，非要套用不适用的物理规律，算什么？
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
【在 g****t 的大作中提到】
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
【在 g****t 的大作中提到】
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
w*u
9 楼
谢楼上几位，怎么发包子？
NAS不用raid 0会很慢吗？
NAS不用raid 0会很慢吗？
g*t
10 楼
Computer science有自然律不假。
要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必然是同
一个客观的东西被不同的人感觉到才会发生的问题。
你说的三个人做软件属于not even wrong的rant。
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
【在 h*i 的大作中提到】
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
:
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
:
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
:
要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必然是同
一个客观的东西被不同的人感觉到才会发生的问题。
你说的三个人做软件属于not even wrong的rant。
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
【在 h*i 的大作中提到】
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
:
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
:
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
:
w*u
11 楼
新蛋那个吗？不是$60AR吗
【在 B*G 的大作中提到】
: 东芝前两天那个50刀2T也不错。
【在 B*G 的大作中提到】
: 东芝前两天那个50刀2T也不错。
g*t
12 楼
第一，我讲的是非常严谨的。开始我讲了not claim正确。
第二，我看到有人做，有产品上来才当作论据的。
第三，物理学的算术计算，不用算数规律用什么。同理，物理计算牵涉到computer
science的当然是用计算机科学的规律。
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
【在 h*i 的大作中提到】
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
:
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
:
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
:
第二，我看到有人做，有产品上来才当作论据的。
第三，物理学的算术计算，不用算数规律用什么。同理，物理计算牵涉到computer
science的当然是用计算机科学的规律。
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
【在 h*i 的大作中提到】
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
:
: 每个人都可以选择自己是自由工匠，或者自认为自己是自由工匠。
:
: 但是不认自然律，那就是自欺欺人了。没有对规律的认识，哪里来的自由？
:
m*d
13 楼
用了那个10off新用户吧，或者15off50的新用户coupon
不过新蛋运硬盘doa率太高，总是很烦
【在 w**********u 的大作中提到】
: 新蛋那个吗？不是$60AR吗
不过新蛋运硬盘doa率太高，总是很烦
【在 w**********u 的大作中提到】
: 新蛋那个吗？不是$60AR吗
h*i
14 楼
写软件这个手艺的一个基本功是能读懂CS文献和具有对文章实用性的判断力，然后就是
能实现和提高文献算法的能力。没这点本事的是不能算会这门手艺的。
Clojure 社区里稍微有点名的人物几乎个个都是如此吧。
能实现和提高文献算法的能力。没这点本事的是不能算会这门手艺的。
Clojure 社区里稍微有点名的人物几乎个个都是如此吧。
w*u
15 楼
新开了个newegg账户，49.99AR买了东芝那个，谢谢
p*o
16 楼
说到formal verification, Lamport搞TLA+算自由工匠么？
【在 W*********n 的大作中提到】
: 绝大部分码农搞的不是critical system，所以可以自由发挥，但最高大上的软件工程
: 是有严格理论指导的，不是手艺活。
【在 W*********n 的大作中提到】
: 绝大部分码农搞的不是critical system，所以可以自由发挥，但最高大上的软件工程
: 是有严格理论指导的，不是手艺活。
m*d
17 楼
日历吧？现在还有东芝硬盘吗？
【在 w**********u 的大作中提到】
: 新开了个newegg账户，49.99AR买了东芝那个，谢谢
【在 w**********u 的大作中提到】
: 新开了个newegg账户，49.99AR买了东芝那个，谢谢
h*i
18 楼
软件的规律和数学是不同的。你的问题就是把这二者等价化。马尔的分层理论对你来说
是不是很陌生？reductionism 听说过没？
: Computer science有自然律不假。
: 要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必
然是同
: 一个客观的东西被不同的人感觉到才会发生的问题。
: 你说的三个人做软件属于not even wrong的rant。
【在 g****t 的大作中提到】
: 第一，我讲的是非常严谨的。开始我讲了not claim正确。
: 第二，我看到有人做，有产品上来才当作论据的。
: 第三，物理学的算术计算，不用算数规律用什么。同理，物理计算牵涉到computer
: science的当然是用计算机科学的规律。
:
:
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
是不是很陌生？reductionism 听说过没？
: Computer science有自然律不假。
: 要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必
然是同
: 一个客观的东西被不同的人感觉到才会发生的问题。
: 你说的三个人做软件属于not even wrong的rant。
【在 g****t 的大作中提到】
: 第一，我讲的是非常严谨的。开始我讲了not claim正确。
: 第二，我看到有人做，有产品上来才当作论据的。
: 第三，物理学的算术计算，不用算数规律用什么。同理，物理计算牵涉到computer
: science的当然是用计算机科学的规律。
:
:
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
N*S
19 楼
nas 就别用raid0了，瓶颈应该是网络传输速度。
h*i
20 楼
我说的软件二人律是一个软件科学范畴内的一个hypotheses，你认为是rant，可见对软
件科学的对象是什么都不知道。鸡同鸭讲。
: Computer science有自然律不假。
: 要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必
然是同
: 一个客观的东西被不同的人感觉到才会发生的问题。
: 你说的三个人做软件属于not even wrong的rant。
【在 g****t 的大作中提到】
: 第一，我讲的是非常严谨的。开始我讲了not claim正确。
: 第二，我看到有人做，有产品上来才当作论据的。
: 第三，物理学的算术计算，不用算数规律用什么。同理，物理计算牵涉到computer
: science的当然是用计算机科学的规律。
:
:
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
件科学的对象是什么都不知道。鸡同鸭讲。
: Computer science有自然律不假。
: 要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必
然是同
: 一个客观的东西被不同的人感觉到才会发生的问题。
: 你说的三个人做软件属于not even wrong的rant。
【在 g****t 的大作中提到】
: 第一，我讲的是非常严谨的。开始我讲了not claim正确。
: 第二，我看到有人做，有产品上来才当作论据的。
: 第三，物理学的算术计算，不用算数规律用什么。同理，物理计算牵涉到computer
: science的当然是用计算机科学的规律。
:
:
: 软件有自己的规律，非要套用不适用的物理规律，算什么？
:
g*t
21 楼
我之前自己发展的量纲分析和type theory的类比，不是给了专家的工作，以及hack
news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就行。别
拿buzz word吓唬我。
: 软件的规律和数学是不同的。你的问题就是把这二者等价化。马尔的分层
理论对
你来说
: 是不是很陌生？reductionism 听说过没？
: 然是同
【在 h*i 的大作中提到】
: 我说的软件二人律是一个软件科学范畴内的一个hypotheses，你认为是rant，可见对软
: 件科学的对象是什么都不知道。鸡同鸭讲。
:
:
: Computer science有自然律不假。
:
: 要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必
: 然是同
:
: 一个客观的东西被不同的人感觉到才会发生的问题。
:
: 你说的三个人做软件属于not even wrong的rant。
:
news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就行。别
拿buzz word吓唬我。
: 软件的规律和数学是不同的。你的问题就是把这二者等价化。马尔的分层
理论对
你来说
: 是不是很陌生？reductionism 听说过没？
: 然是同
【在 h*i 的大作中提到】
: 我说的软件二人律是一个软件科学范畴内的一个hypotheses，你认为是rant，可见对软
: 件科学的对象是什么都不知道。鸡同鸭讲。
:
:
: Computer science有自然律不假。
:
: 要不然，怎么可能我说量纲和类型是类似的代数系统，正巧就好多人研究。这必
: 然是同
:
: 一个客观的东西被不同的人感觉到才会发生的问题。
:
: 你说的三个人做软件属于not even wrong的rant。
:
h*i
22 楼
认了就好。科学计算是一个很狭窄的专门领域，CS都不太算，软件就更远了，你还是少
评论一些不懂的东西。
: 我之前自己发展的量纲分析和type theory的类比，不是给了专家的工作，以及
hack
: news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就
行。别
: 拿buzz word吓唬我。
:
【在 g****t 的大作中提到】
: 我之前自己发展的量纲分析和type theory的类比，不是给了专家的工作，以及hack
: news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就行。别
: 拿buzz word吓唬我。
:
:
: 软件的规律和数学是不同的。你的问题就是把这二者等价化。马尔的分层
: 理论对
: 你来说
:
: 是不是很陌生？reductionism 听说过没？
:
: 然是同
:
评论一些不懂的东西。
: 我之前自己发展的量纲分析和type theory的类比，不是给了专家的工作，以及
hack
: news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就
行。别
: 拿buzz word吓唬我。
:
【在 g****t 的大作中提到】
: 我之前自己发展的量纲分析和type theory的类比，不是给了专家的工作，以及hack
: news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就行。别
: 拿buzz word吓唬我。
:
:
: 软件的规律和数学是不同的。你的问题就是把这二者等价化。马尔的分层
: 理论对
: 你来说
:
: 是不是很陌生？reductionism 听说过没？
:
: 然是同
:
g*t
23 楼
软件是engineering, computer science是科学。
我只是觉得没必要帮你的 软件二人论 不停打patch。举个例子你就说不是软件。
事实上，就算是计算机系的传统项目，质量好点的数据库，OS 进程scheduler, GC,编
译器...都包含很多不同CS细节分支的知识。现在那都不是两个人能做的软件。
你认为软件二人论是科学。那么good luck。
我在讨论中，独立提出type theory和量纲系统的类比，这是别的专家也认可的较新的
问题。
所以我对这个收
获没啥不满意的。也对你表示感谢。
: 认了就好。科学计算是一个很狭窄的专门领域，CS都不太算，软件就更远
了，你
还是少
: 评论一些不懂的东西。
: hack
: 行。别
【在 h*i 的大作中提到】
: 认了就好。科学计算是一个很狭窄的专门领域，CS都不太算，软件就更远了，你还是少
: 评论一些不懂的东西。
:
:
: 我之前自己发展的量纲分析和type theory的类比，不是给了专家的工作，以及
: hack
:
: news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就
: 行。别
:
: 拿buzz word吓唬我。
:
:
我只是觉得没必要帮你的 软件二人论 不停打patch。举个例子你就说不是软件。
事实上，就算是计算机系的传统项目，质量好点的数据库，OS 进程scheduler, GC,编
译器...都包含很多不同CS细节分支的知识。现在那都不是两个人能做的软件。
你认为软件二人论是科学。那么good luck。
我在讨论中，独立提出type theory和量纲系统的类比，这是别的专家也认可的较新的
问题。
所以我对这个收
获没啥不满意的。也对你表示感谢。
: 认了就好。科学计算是一个很狭窄的专门领域，CS都不太算，软件就更远
了，你
还是少
: 评论一些不懂的东西。
: hack
: 行。别
【在 h*i 的大作中提到】
: 认了就好。科学计算是一个很狭窄的专门领域，CS都不太算，软件就更远了，你还是少
: 评论一些不懂的东西。
:
:
: 我之前自己发展的量纲分析和type theory的类比，不是给了专家的工作，以及
: hack
:
: news的评论。不算computer science ? 你觉得你更懂type theory, 自己开心就
: 行。别
:
: 拿buzz word吓唬我。
:
:
h*i
24 楼
我就把话挑明了说，type theory对软件工程几乎没有任何用处。
你说这些那些都不是两个人能做的，那应该很容易举例啊。结果一个例子都没有。我这
个conjecture still stands. 我也很想看看有没有什么反例，可就是没有啊。
【在 g****t 的大作中提到】
: 软件是engineering, computer science是科学。
: 我只是觉得没必要帮你的 软件二人论 不停打patch。举个例子你就说不是软件。
: 事实上，就算是计算机系的传统项目，质量好点的数据库，OS 进程scheduler, GC,编
: 译器...都包含很多不同CS细节分支的知识。现在那都不是两个人能做的软件。
: 你认为软件二人论是科学。那么good luck。
: 我在讨论中，独立提出type theory和量纲系统的类比，这是别的专家也认可的较新的
: 问题。
: 所以我对这个收
: 获没啥不满意的。也对你表示感谢。
:
你说这些那些都不是两个人能做的，那应该很容易举例啊。结果一个例子都没有。我这
个conjecture still stands. 我也很想看看有没有什么反例，可就是没有啊。
【在 g****t 的大作中提到】
: 软件是engineering, computer science是科学。
: 我只是觉得没必要帮你的 软件二人论 不停打patch。举个例子你就说不是软件。
: 事实上，就算是计算机系的传统项目，质量好点的数据库，OS 进程scheduler, GC,编
: 译器...都包含很多不同CS细节分支的知识。现在那都不是两个人能做的软件。
: 你认为软件二人论是科学。那么good luck。
: 我在讨论中，独立提出type theory和量纲系统的类比，这是别的专家也认可的较新的
: 问题。
: 所以我对这个收
: 获没啥不满意的。也对你表示感谢。
:
h*c
25 楼
james gosling 去了亚马逊，
一个语言被广泛的应用后，和原作者没有啥关系了，比如长城第一个设计出来砖块的工
匠，觉得黄金分割的比例更好些，但长城修到了雁门关，和你没有任何关系了。
以前讲过说sun有一款机器不停的莫名其妙当机，gosling以前博客写的，现在找不到了
，有人怀疑是宇宙射线，因为好像是费米试验室报告的这个问题，后来发现是一个CPU
供应商的供货辐射超标。
我觉得偏离对计算机器最基础的理解，工程对于可靠性要求的理解，夸夸棋坛。没有什
么意义。
动态类型，非常拉稀。是一种辐射超标的CPU。是一种drama.
一个语言被广泛的应用后，和原作者没有啥关系了，比如长城第一个设计出来砖块的工
匠，觉得黄金分割的比例更好些，但长城修到了雁门关，和你没有任何关系了。
以前讲过说sun有一款机器不停的莫名其妙当机，gosling以前博客写的，现在找不到了
，有人怀疑是宇宙射线，因为好像是费米试验室报告的这个问题，后来发现是一个CPU
供应商的供货辐射超标。
我觉得偏离对计算机器最基础的理解，工程对于可靠性要求的理解，夸夸棋坛。没有什
么意义。
动态类型，非常拉稀。是一种辐射超标的CPU。是一种drama.
h*c
26 楼
实际最近这些很多框架根本没有严格设计施工监理和验收，比如谷歌的GWT，后来的
angular,可以说这些互联网公司本来就没有设计过什么好的软件。
所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
angular,可以说这些互联网公司本来就没有设计过什么好的软件。
所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
g*t
27 楼
这点你说的是对的。过去这些年mobile时代造成互联网流量爆炸性增加。跑马圈地为主
，系统先上线边走边修，属于多阶段优化过程。
Android最开始我拿到一个现在已经倒闭的公司的手机。稍加操作就会死机，重启的。
还卖的非常贵。但是最后的结果是人家一点点修好了。
: 实际最近这些很多框架根本没有严格设计施工监理和验收，比如谷歌的GWT，后
来的
: angular,可以说这些互联网公司本来就没有设计过什么好的软件。
: 所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
: 多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
【在 h**********c 的大作中提到】
: 实际最近这些很多框架根本没有严格设计施工监理和验收，比如谷歌的GWT，后来的
: angular,可以说这些互联网公司本来就没有设计过什么好的软件。
: 所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
: 多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
，系统先上线边走边修，属于多阶段优化过程。
Android最开始我拿到一个现在已经倒闭的公司的手机。稍加操作就会死机，重启的。
还卖的非常贵。但是最后的结果是人家一点点修好了。
: 实际最近这些很多框架根本没有严格设计施工监理和验收，比如谷歌的GWT，后
来的
: angular,可以说这些互联网公司本来就没有设计过什么好的软件。
: 所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
: 多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
【在 h**********c 的大作中提到】
: 实际最近这些很多框架根本没有严格设计施工监理和验收，比如谷歌的GWT，后来的
: angular,可以说这些互联网公司本来就没有设计过什么好的软件。
: 所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
: 多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
h*i
28 楼
这就是我说的，软件的特殊性。用搞硬件的思维来看软件，那简直就是一团糟，太不严
谨了，
因为写软件其实与写书更接近，好的书，名作，masterpiece，是一两个人写的。但也
有文集，还有谬传了千年的故事集，流传最广的反而是后者。比如摆布书，就是被千百
人在千百年中篡改了多次的故事集，但没人说摆布书是一个masterpiece。其实这些都
是正常人都理解的东西，没有必要争辩这些。
我说的东西，唯一新的信息，就是写软件与写文章类似。
性。
【在 g****t 的大作中提到】
: 这点你说的是对的。过去这些年mobile时代造成互联网流量爆炸性增加。跑马圈地为主
: ，系统先上线边走边修，属于多阶段优化过程。
: Android最开始我拿到一个现在已经倒闭的公司的手机。稍加操作就会死机，重启的。
: 还卖的非常贵。但是最后的结果是人家一点点修好了。
:
:
: 实际最近这些很多框架根本没有严格设计施工监理和验收，比如谷歌的GWT，后
: 来的
:
: angular,可以说这些互联网公司本来就没有设计过什么好的软件。
:
: 所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
:
: 多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
谨了，
因为写软件其实与写书更接近，好的书，名作，masterpiece，是一两个人写的。但也
有文集，还有谬传了千年的故事集，流传最广的反而是后者。比如摆布书，就是被千百
人在千百年中篡改了多次的故事集，但没人说摆布书是一个masterpiece。其实这些都
是正常人都理解的东西，没有必要争辩这些。
我说的东西，唯一新的信息，就是写软件与写文章类似。
性。
【在 g****t 的大作中提到】
: 这点你说的是对的。过去这些年mobile时代造成互联网流量爆炸性增加。跑马圈地为主
: ，系统先上线边走边修，属于多阶段优化过程。
: Android最开始我拿到一个现在已经倒闭的公司的手机。稍加操作就会死机，重启的。
: 还卖的非常贵。但是最后的结果是人家一点点修好了。
:
:
: 实际最近这些很多框架根本没有严格设计施工监理和验收，比如谷歌的GWT，后
: 来的
:
: angular,可以说这些互联网公司本来就没有设计过什么好的软件。
:
: 所谓的搜索，就是图书馆学的索引理论。大数据也是基于存储技术提供的可靠性。
:
: 多数连个spec都拿不出来，就要银行医院，发电站飞机场来用，就是诈骗
R*e
29 楼
formalverification可用的地方太少了，经常是npc以上的复杂度。不反对用，只要效
率高就行。
【在 W*********n 的大作中提到】
: 绝大部分码农搞的不是critical system，所以可以自由发挥，但最高大上的软件工程
: 是有严格理论指导的，不是手艺活。
率高就行。
【在 W*********n 的大作中提到】
: 绝大部分码农搞的不是critical system，所以可以自由发挥，但最高大上的软件工程
: 是有严格理论指导的，不是手艺活。
x*u
30 楼
人脑靠的是动态规划，找出大概没问题的解，所以软件bug无数
将来早晚彻底换成神经网络，省去编码这个步骤
【在 R******e 的大作中提到】
: formalverification可用的地方太少了，经常是npc以上的复杂度。不反对用，只要效
: 率高就行。
将来早晚彻底换成神经网络，省去编码这个步骤
【在 R******e 的大作中提到】
: formalverification可用的地方太少了，经常是npc以上的复杂度。不反对用，只要效
: 率高就行。
R*e
31 楼
AM模型或者概率证明模型得出：np难问题是不可近似的，所以神经网络作为一种组合电
路，即使得出np问题的近似解，也不大可能很又瘦又浅。
【在 x****u 的大作中提到】
: 人脑靠的是动态规划，找出大概没问题的解，所以软件bug无数
: 将来早晚彻底换成神经网络，省去编码这个步骤
路，即使得出np问题的近似解，也不大可能很又瘦又浅。
【在 x****u 的大作中提到】
: 人脑靠的是动态规划，找出大概没问题的解，所以软件bug无数
: 将来早晚彻底换成神经网络，省去编码这个步骤
x*u
32 楼
足够用即可
用GPS寻路也是NP，但照样瞬间给你大概率找到最短路线
假如np问题可以近似，那人类就不是人类，而是全知全能的上帝了
【在 R******e 的大作中提到】
: AM模型或者概率证明模型得出：np难问题是不可近似的，所以神经网络作为一种组合电
: 路，即使得出np问题的近似解，也不大可能很又瘦又浅。
用GPS寻路也是NP，但照样瞬间给你大概率找到最短路线
假如np问题可以近似，那人类就不是人类，而是全知全能的上帝了
【在 R******e 的大作中提到】
: AM模型或者概率证明模型得出：np难问题是不可近似的，所以神经网络作为一种组合电
: 路，即使得出np问题的近似解，也不大可能很又瘦又浅。
h*c
33 楼
动态类型金腰带，形式验证无尸骸
相关阅读
云服务咋没人讨论AZUREWTF is docker EE[bssd]Wdong你之前是不是提过王培教授？请教good hash functionMITBBS上能找到在MIT研究研究机器人的同学或者教授吗？你们读写数据库，是直接用java hibernate,还是Spring Framework transaction management?java真是让人纠结码农 vs 管理职位把web service+client 包装成一个桌面GUI 软件容易吗？码农越来越不容易了现在最popular的JavaScript framework 是啥？[bssd]万物皆数自动码农机器永远也不会出来 (转载)来，分析下这个垃圾邮件里面的代码feifei 又有新闻公司配的笔记本，如何安全地上黄色网站？Visual Studio 2013新文件模板程序员的办法 FORTRAN程序员： 01 打开冰箱门 02 把大象放进去 03 关上冰箱门 04 如果还有大象，GO TO 01 APL程序员： 写了仅仅一行代码，不但把大象装进去了，还能控制冰箱what's the svn cmd likes "cleartool lsvtree" ?Head First Design Pattern写的有问题啊