d*j
2 楼
【 以下文字转载自 ebiz 讨论区 】
发信人: djmj (We do our best), 信区: ebiz
标 题: 懂行的神医给说说
发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
Hello dear,
I need your urgent help.
Received the processor today and opened it for a quick inspection.
I immediately noticed some of the pins weren't normal.
I put the processor on my board and it did no boot up,i tried the i5
2500(non K) of my friend and everything was normal.
I have pictures if you need them,please tell me your email address to send
the pictures and let me know what you think。
i5-2500k不是没针脚的吗?这个是摆明过来骗的吧。大家能够说说该怎么办吗?
发信人: djmj (We do our best), 信区: ebiz
标 题: 懂行的神医给说说
发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
Hello dear,
I need your urgent help.
Received the processor today and opened it for a quick inspection.
I immediately noticed some of the pins weren't normal.
I put the processor on my board and it did no boot up,i tried the i5
2500(non K) of my friend and everything was normal.
I have pictures if you need them,please tell me your email address to send
the pictures and let me know what you think。
i5-2500k不是没针脚的吗?这个是摆明过来骗的吧。大家能够说说该怎么办吗?
j*w
3 楼
如果智力和编译器之间有某种类比关系的话:
编译器是可以 bootstrap 的,意思是,你可以从机器语言来写一个汇编语言的编译器
,然后用这个汇编语言的编译器写一个基本的 C 语言的编译器,再用它写下一个版本
的 C 编译器,一直下去...
那么根据一些人的想法,智力也是可以 bootstrap 的,一个基本智力可以产生高一层
的智力,就像写一个更高版本的编译器,然后是更高一层的智力,一直下去...
智力可以 bootstrap 的理论是奇点理论的基础,也产生了其他的变体,比如说冯诺伊
曼探测器(von Neumann probe),简单地说是机器人自我繁殖。
但是这里面有一个逻辑环节常常避而不谈:并不是任何一个编译器都可以产生下一个更
好的编译器,有缺陷的编译器(比如无法编译某些指令)是无法产生比自己更加完备的
编译器的。而且从概率上来说,产生有缺陷的编译器的概率要远大与正常工作的编译器
。换句话说,编译器的功能要达到某个 threshold,才能产生比自己更加完备的编译器
,而这是非常小概率事件。
那么智力是否存在这样的 threshold?是否智力在达到这样的 threshold 之前,无法
产生更高一层的智力?人达到了吗?
编译器是可以 bootstrap 的,意思是,你可以从机器语言来写一个汇编语言的编译器
,然后用这个汇编语言的编译器写一个基本的 C 语言的编译器,再用它写下一个版本
的 C 编译器,一直下去...
那么根据一些人的想法,智力也是可以 bootstrap 的,一个基本智力可以产生高一层
的智力,就像写一个更高版本的编译器,然后是更高一层的智力,一直下去...
智力可以 bootstrap 的理论是奇点理论的基础,也产生了其他的变体,比如说冯诺伊
曼探测器(von Neumann probe),简单地说是机器人自我繁殖。
但是这里面有一个逻辑环节常常避而不谈:并不是任何一个编译器都可以产生下一个更
好的编译器,有缺陷的编译器(比如无法编译某些指令)是无法产生比自己更加完备的
编译器的。而且从概率上来说,产生有缺陷的编译器的概率要远大与正常工作的编译器
。换句话说,编译器的功能要达到某个 threshold,才能产生比自己更加完备的编译器
,而这是非常小概率事件。
那么智力是否存在这样的 threshold?是否智力在达到这样的 threshold 之前,无法
产生更高一层的智力?人达到了吗?
o*y
4 楼
不错,佩服佩服!不过你的预测没有我的神准。一是你没有明确写出是二月的排期;二
是你虽写了2010年1月但没有明确写出是2010年1月1日
是你虽写了2010年1月但没有明确写出是2010年1月1日
A*s
5 楼
我不是神医,但是我觉得直接向ebay举报吧。。。
【在 d**j 的大作中提到】
: 【 以下文字转载自 ebiz 讨论区 】
: 发信人: djmj (We do our best), 信区: ebiz
: 标 题: 懂行的神医给说说
: 发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
: 卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
: Hello dear,
: I need your urgent help.
: Received the processor today and opened it for a quick inspection.
: I immediately noticed some of the pins weren't normal.
: I put the processor on my board and it did no boot up,i tried the i5
【在 d**j 的大作中提到】
: 【 以下文字转载自 ebiz 讨论区 】
: 发信人: djmj (We do our best), 信区: ebiz
: 标 题: 懂行的神医给说说
: 发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
: 卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
: Hello dear,
: I need your urgent help.
: Received the processor today and opened it for a quick inspection.
: I immediately noticed some of the pins weren't normal.
: I put the processor on my board and it did no boot up,i tried the i5
t*n
6 楼
编译器产生下一层更高级的编译器不是它自己做的,是程序员做的。
在这个意义上,智力也能产生更好的智力,比如你夫妻两个生出了更聪明的儿子。这个
进化也不是你们自己做的。是上帝做的。
在这个意义上,智力也能产生更好的智力,比如你夫妻两个生出了更聪明的儿子。这个
进化也不是你们自己做的。是上帝做的。
g*t
9 楼
只要是图灵完备的语言,就有universal Turing machine. 就有固定点,就有自我扩展
的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
C用宏进行扩展也很容易。
我念的课本上,语言系统是从有限状态机讲起的。不存在universal finite machine,
就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
法,或者信息论都可以证明。
简单的讲,从使用的角度出发,可以认为只要可以进行皮亚诺自然数公理系统规定的自
然数计算的形式语言系统,都有固定点。都有universal machine. 例如中國古代的算
盤。它是圖靈完備的。中國過去的算盤專家,也有很多很厲害的算法。據說第一個核武
器就是在上海找了一組算盤專家計算的。
所以你說的能和不能,这个问题的threshold就是自然数系统。至於編譯器的好壞,或
者性能等等。是另一個方面的問題了。
Formal language最早是弗雷格給出明確的定義的。王垠大師折騰了那麼多年,後來也
去讀弗雷格了。
的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
C用宏进行扩展也很容易。
我念的课本上,语言系统是从有限状态机讲起的。不存在universal finite machine,
就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
法,或者信息论都可以证明。
简单的讲,从使用的角度出发,可以认为只要可以进行皮亚诺自然数公理系统规定的自
然数计算的形式语言系统,都有固定点。都有universal machine. 例如中國古代的算
盤。它是圖靈完備的。中國過去的算盤專家,也有很多很厲害的算法。據說第一個核武
器就是在上海找了一組算盤專家計算的。
所以你說的能和不能,这个问题的threshold就是自然数系统。至於編譯器的好壞,或
者性能等等。是另一個方面的問題了。
Formal language最早是弗雷格給出明確的定義的。王垠大師折騰了那麼多年,後來也
去讀弗雷格了。
s*n
10 楼
别扯蛋了,都是夏梦。
你current了么?
【在 I****8 的大作中提到】
: http://www.mitbbs.com/article_t/EB23/31516755.html
你current了么?
【在 I****8 的大作中提到】
: http://www.mitbbs.com/article_t/EB23/31516755.html
j*w
12 楼
是的,编程语言里,图灵完备应该是 bootstrap 的前提。
武i
【在 g****t 的大作中提到】
: 只要是图灵完备的语言,就有universal Turing machine. 就有固定点,就有自我扩展
: 的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
: C用宏进行扩展也很容易。
: 我念的课本上,语言系统是从有限状态机讲起的。不存在universal finite machine,
: 就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
: 法,或者信息论都可以证明。
: 简单的讲,从使用的角度出发,可以认为只要可以进行皮亚诺自然数公理系统规定的自
: 然数计算的形式语言系统,都有固定点。都有universal machine. 例如中國古代的算
: 盤。它是圖靈完備的。中國過去的算盤專家,也有很多很厲害的算法。據說第一個核武
: 器就是在上海找了一組算盤專家計算的。
武i
【在 g****t 的大作中提到】
: 只要是图灵完备的语言,就有universal Turing machine. 就有固定点,就有自我扩展
: 的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
: C用宏进行扩展也很容易。
: 我念的课本上,语言系统是从有限状态机讲起的。不存在universal finite machine,
: 就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
: 法,或者信息论都可以证明。
: 简单的讲,从使用的角度出发,可以认为只要可以进行皮亚诺自然数公理系统规定的自
: 然数计算的形式语言系统,都有固定点。都有universal machine. 例如中國古代的算
: 盤。它是圖靈完備的。中國過去的算盤專家,也有很多很厲害的算法。據說第一個核武
: 器就是在上海找了一組算盤專家計算的。
A*s
13 楼
nope
http://semiaccurate.com/2011/01/02/intel-core-i7-2500k-review/
我的意思就是:这是纯欺诈,光这一封邮件就铁证如山了
你还可以讹诈他一笔,就是不知道有多少油水可以敲
【在 d**j 的大作中提到】
: 用过的给说说啊。
http://semiaccurate.com/2011/01/02/intel-core-i7-2500k-review/
我的意思就是:这是纯欺诈,光这一封邮件就铁证如山了
你还可以讹诈他一笔,就是不知道有多少油水可以敲
【在 d**j 的大作中提到】
: 用过的给说说啊。
x*u
14 楼
人工智能和PLT不共容啊,yinwang写的《机器学习与逻辑编程》几个月后删的差不多了
【在 g****t 的大作中提到】
: 只要是图灵完备的语言,就有universal Turing machine. 就有固定点,就有自我扩展
: 的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
: C用宏进行扩展也很容易。
: 我念的课本上,语言系统是从有限状态机讲起的。不存在universal finite machine,
: 就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
: 法,或者信息论都可以证明。
: 简单的讲,从使用的角度出发,可以认为只要可以进行皮亚诺自然数公理系统规定的自
: 然数计算的形式语言系统,都有固定点。都有universal machine. 例如中國古代的算
: 盤。它是圖靈完備的。中國過去的算盤專家,也有很多很厲害的算法。據說第一個核武
: 器就是在上海找了一組算盤專家計算的。
【在 g****t 的大作中提到】
: 只要是图灵完备的语言,就有universal Turing machine. 就有固定点,就有自我扩展
: 的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
: C用宏进行扩展也很容易。
: 我念的课本上,语言系统是从有限状态机讲起的。不存在universal finite machine,
: 就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
: 法,或者信息论都可以证明。
: 简单的讲,从使用的角度出发,可以认为只要可以进行皮亚诺自然数公理系统规定的自
: 然数计算的形式语言系统,都有固定点。都有universal machine. 例如中國古代的算
: 盤。它是圖靈完備的。中國過去的算盤專家,也有很多很厲害的算法。據說第一個核武
: 器就是在上海找了一組算盤專家計算的。
d*j
15 楼
现在就等着他发照片过来看看了。到时发给大家围观吧。
2500k_review/core_i5_2500K_fb.jpg
【在 A*****s 的大作中提到】
: nope
: http://semiaccurate.com/2011/01/02/intel-core-i7-2500k-review/
: 我的意思就是:这是纯欺诈,光这一封邮件就铁证如山了
: 你还可以讹诈他一笔,就是不知道有多少油水可以敲
2500k_review/core_i5_2500K_fb.jpg
【在 A*****s 的大作中提到】
: nope
: http://semiaccurate.com/2011/01/02/intel-core-i7-2500k-review/
: 我的意思就是:这是纯欺诈,光这一封邮件就铁证如山了
: 你还可以讹诈他一笔,就是不知道有多少油水可以敲
d*r
16 楼
这不还在么?
http://www.yinwang.org/blog-cn/2019/01/30/machine-learning
【在 x****u 的大作中提到】
: 人工智能和PLT不共容啊,yinwang写的《机器学习与逻辑编程》几个月后删的差不多了
http://www.yinwang.org/blog-cn/2019/01/30/machine-learning
【在 x****u 的大作中提到】
: 人工智能和PLT不共容啊,yinwang写的《机器学习与逻辑编程》几个月后删的差不多了
x*u
18 楼
内容自己删的差不多了
【在 d*******r 的大作中提到】
: 这不还在么?
: http://www.yinwang.org/blog-cn/2019/01/30/machine-learning
【在 d*******r 的大作中提到】
: 这不还在么?
: http://www.yinwang.org/blog-cn/2019/01/30/machine-learning
d*t
19 楼
这也可以?
【在 d**j 的大作中提到】
: 【 以下文字转载自 ebiz 讨论区 】
: 发信人: djmj (We do our best), 信区: ebiz
: 标 题: 懂行的神医给说说
: 发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
: 卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
: Hello dear,
: I need your urgent help.
: Received the processor today and opened it for a quick inspection.
: I immediately noticed some of the pins weren't normal.
: I put the processor on my board and it did no boot up,i tried the i5
【在 d**j 的大作中提到】
: 【 以下文字转载自 ebiz 讨论区 】
: 发信人: djmj (We do our best), 信区: ebiz
: 标 题: 懂行的神医给说说
: 发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
: 卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
: Hello dear,
: I need your urgent help.
: Received the processor today and opened it for a quick inspection.
: I immediately noticed some of the pins weren't normal.
: I put the processor on my board and it did no boot up,i tried the i5
相关阅读
与其无意义的争论,不如干点实事Hadoop cluster的问题我也来说说web技术吧半婊子中国海洋大学半婊子保研黑幕 2003年大连理工大学电子系考研失利的青岛二中学生邢慧强被中国海洋大学电子系破格录取为中国海洋大学电子系的硕士,如果给半婊子中国海洋大学加上一个形容词的话,我希望是请问一个算法刻舟求剑总是有人学不会真诚求建议 – 要转回软件吗?有没有适合中学生学习编程的资料或网站推荐-多谢google,facebook用的什么语言?做Big data的前景如何?c++ programmer们就不用悲愤了有人对QT熟不?弱问:VS.net里面VC++工程的"Windows窗体应用程序"是什么类库?有人用过google storage上传数据吗?谁有Network modeling的经验借人气问一下:ACCESS转成SQL老了说几个backend从C++导向Java的知名公司吧一道多线程的面试题 (转载)Java大牛推荐一本讲JVM工作原理的入门书吧?