g****t
发帖数: 31659 | 1 我以前在programming讲过universal turing machine。
技术的进步是封不住的。封锁一个程序容易。封锁一个universal
turing machine，难。
或者说能不能用tech封住，
是个停机问题。。。
MSFT当初浏览器技术领先很多。然后内部做了重大选择，
走windows，不走browser。IE6以后基本不更新，企图
彻底灭掉web browser。然后goog基本上take over了Web |
|
m*****y
发帖数: 438 | 2 朋友看上一个域名，结果已经被人家注了。那个注册人的电话已经被停机了。email也
联系不上。注册的公司目前也不是active的状态。总之就是联系不上了。
这个域名要到2012年才过期，不想等那么就，大家是不是知道还有什么其他办法可以
take over域名么？谢啦！ |
|
Y***r
发帖数: 15270 | 3 AA是比较复杂一点。因为从AA182停机口出来，有两个方向可以走，一个通T4，一个通
TBIT， TBIT的海关和移民局是每天24小时都开的，T4则不是。如果T4的不开，所有乘
客都会被引向TBIT的通道出关。 |
|
h***9
发帖数: 532 | 4 你的风扇如果还转的话，就没有坏。主要是内部尤其风扇里长期积累大量灰尘导致散热
不行，太热后电脑为了自保就停机睡眠。我建议你可以到office depot等文具店买一瓶
那种喷气的好像叫cleaning can,专门喷气体去办公文具和电脑灰尘的那种，几块钱一
罐。然后找几个小螺丝刀自己拆开电脑清理一下就好了。大致步骤youtube一下有好多
视频。一般半个多小时自己就能解决了。只要记住拆下来的螺丝地点就可以了。我以前
的联想电脑和你的情况一样，我就这么学会了清理风扇，现在电脑一直很好了。 |
|
s********i
发帖数: 891 | 5 曾经有一次，我乘坐了北京上海旧金山的国航航班（好像现在国航不途经上海了），那
架飞机及其变态。
首先是到上海浦东机场后，不靠登机桥，而是被扔在广场上用摆渡车。
其次是要求所有人包括随身行李都下飞机，我前面一个接近70岁的老奶奶拎着一个较重
的随身行李箱下飞机。那飞机至少两层楼高吧。我说我帮老奶奶拿行李，她开始还有点
不信任我。不过后来还是给我让我帮忙了，当时天还下小雨，我们下到停机坪上排队等
摆渡车。虽然没有湿透，但是衣服贴身上很难受。
然后进入机场后，不知道为什么大家就开始跑，在浦东那个新机场楼下跑到二楼，曲径
通幽的拐了很多弯，估计至少有几百米。我们都以为我们要误机了，我拎着箱子和老奶
奶一起跑。到了边检，盖了个章，又走回楼下，继续等摆渡车，竟然回到了原飞机上。
不过这次可以在登机室里等摆渡车，不被淋雨了。
不用登机桥可能是因为机场繁忙，让我们把行李带下去我就不能理解了。而且既然不用
登机桥，就不能把我们放在一个距离边检最近的入口么？让几百人在浦东机场跑来跑去
，像耍猴一样。有人说是因为浦东机场和国航关系不好，也不知道是否真的如此。
有过那次经验，我绝对不会把我父母放在这种航班上。 |
|
y*****m
发帖数: 723 | 6 长周末出去玩，停机场里好像挺贵的。还有什么解决方案？把车开到bart站然后坐bart
过去？
求建议。 |
|
j*****y
发帖数: 1916 | 7 空调停机两个小时，快热成了干尸，挣扎着上来冒个泡。
7月份用电1450kw, 大概135块电费。 |
|
c**c
发帖数: 2593 | 8 是，人的思维、自我意识的具体机制，还是悬而未决的谜团。有个科幻构思是，我们不
可能靠思维来揭开思维本身的奥秘，打个比方就像图灵机无法解决停机问题一样。 |
|
o****e
发帖数: 536 | 9 手机上网不知道。你用联通的服务？
我用移动的，每次提前一天开通服务，这样下了飞机就有电话，
回来时，在登记口打最后一个电话，停机保号。用50RMB的套菜，
接听是免费的。今年应该更便宜吧。 |
|
w*****e
发帖数: 1467 | 10 用哪家无所谓，我是近水楼台，呵呵。
停机保号－－你的ms每月都有月费的吧？
用50RMB的套菜－－是最低50每月？我的ms是什么卡每月最低说是30，但每次都上百的
交很多次。 |
|
a*****e
发帖数: 4577 | 11 好久没有用电池了
刚才没接电源，用Iphoto传照片
突然呜的一响（就想风扇突然停转的声音），电脑自动关闭了
再次启动，听到铛的一声之后，又一次自动关闭了
我现在接上了电源，似乎没事了
请问可能是什么问题？ |
|
a*****e
发帖数: 4577 | 12 以前快没电了都会有个自动提示的，会黑屏，但是不会关机
这次没有任何前兆
而且插上电源之后发现还有89%的电
很怀疑是电池和电脑的连接有问题 |
|
a*****e
发帖数: 4577 | 13 刚刚把电源拔掉似乎又没事
估计是更复杂的问题
真郁闷 |
|
z*****e
发帖数: 760 | 14 那是怎么个意思？
就是只要签了合同，就要付满两年的钱，回国那段时间算停机？
还是怎么，望指点。不是为了去占人家便宜。 |
|
E***e
发帖数: 3430 | 15 机械硬盘启动停机才是最伤的
买个NAS专用硬盘不怕24x7 |
|
s*********b
发帖数: 815 | 16 “两打程序员，三年，4732个bugs，和对非凡软件的不懈追求”。Scott Rosenberg的
新书Dreaming In Code 寄到了，果然没有辜负俺的期待和这句带有宿命意味的题记激
发出的强烈好奇心。连花了两个晚上读完这本精彩作品。强烈推荐。作者把Chandler的
开发历程，软件开发的历史，和软件开发的基础概念精巧地编织起来，只为探索一个问
题：为什么软件开发那么困难？
先说说安逸的地方。首先是文字。作为多年文青，资深记者，Salon的主编，Scott
Rosenberg的笔头没得说。三年漫长写作和Chandler项目的艰辛曲折并没有消磨Scott的
热情。相反，他的文字蕴涵着他对软件开发的强烈热情，很有感染力。书里涉及大量技
术概念，从OOP到Literate Programming到停机问题，作者都科普得浅显明白。看局外
人怎么理解软件开发，也是颇有意思的事情。
其次是资料翔实。光靠Wikipedia和Google随意搜寻是绝对写不出这样一本书的。大量
的采访，连续三年实地跟踪Chandler项目组开会讨论，几百篇参考资料，包括大量经典
论文和访谈录，和作者细心的整理 |
|
m****a
发帖数: 2593 | 17 来自主题: Programming版 - 王垠忏悔录 CS的S不是SB的S，编码工人不明白FP到底有什么意义可以理解，没那个CS基础还到处乱
喷就不对了。
图灵的停机问题，Y Combinator，lambda calculus是有本质上的联系的。
FP之所以没有流行更多是因为商业因素，而不是因为其本身的原因。 |
|
|
|
|
|
E*****m
发帖数: 25615 | 22
你給個百分之百正確解的話， 我幫你向 ACM 申請 Turing Award。 |
|
|
x****u
发帖数: 44466 | 24 基本就是这个答案。
就算计算机真的是图灵机，大部分计算机语言也不等价于图灵机。所以针对具体语言
分析，还是可以判定的。 |
|
E*****m
发帖数: 25615 | 25
你這裡已經加進了一些原來沒說的假設
1. memory 是有限的 （這還算合理）
2. k*n*s^n 足夠小 （這就嚴重不合理了）
一邊是純理論假設 memory 無限， 無解，
一邊是考慮實際應用， 等太久事實上也等於無解，
只有在中間兩種情形都不是的時候才有解。 |
|
E*****m
发帖数: 25615 | 26 這個跟 FP 一點關係都沒有。 是CS 的基礎問題。 |
|
E*****m
发帖数: 25615 | 27
到。
胡扯。
我給你一個C程序，你來預測，如何？ |
|
|
|
j********x
发帖数: 2330 | 30 那我问你我现在在做啥？
这种题就跟当年流行的问厕所有多少，公交车放几个球一样，看上去精妙高深，又考察
发散思维能力；实际上这些东西对码工来说实际上又没啥重要意义；如今这种面试题都
消失了 |
|
E*****m
发帖数: 25615 | 31
你就扯淡吧， 你給我舉出一個實際可用的 static analysis 可以測 halting problem
的。 |
|
x****u
发帖数: 44466 | 32 你少见多怪了。
用仿真器跑嵌入式内核，最后发现CPU在几个状态内循环，内存无变化的就是死锁了，
俗称跑飞了。这是常见操作。
problem |
|
E*****m
发帖数: 25615 | 33 你自己算算embedded 有 1MB RAM 的話你的 simulator 要有多少 RAM 才能記住狀態。
去算，我等你。 |
|
d******r
发帖数: 5008 | 34 几个状态究竟是多少状态?
循环究竟要循环几次才算飞? |
|
x****u
发帖数: 44466 | 35 你这就是书呆子了。
人家一个程序的界限没这么大。
。 |
|
|
|
E*****m
发帖数: 25615 | 38 那麼是多大？ 你舉個你認為合理的大小，算看看。 |
|
|
E*****m
发帖数: 25615 | 40
你到基版去學學那位 snoopy 弟兄怎樣收場吧。 |
|
t**********1
发帖数: 550 | 41 其实，谁敢担保现在就没有人设计P情况下CA都具备的分布式系统？
现在还挑战图灵停机问题的可能还有呢。
与其扯CAP的那个蛋，能正确的分析系统就不错了。这就是我的观点。 |
|
|
h*h
发帖数: 27852 | 43 小菊说的无bug等价于求解停机问题
一个小程序无bug没啥稀奇的 |
|
g****t
发帖数: 31659 | 44 我干过AI项目，也干过硬计算项目。在广阔的计算领域。
我觉得AI只是偶尔有用。
说发现了加速大规模暴力搜索的一般方法，
是不是为时过早了？
例如 PDE.
我有个师兄在chevron根据超声波图算在哪儿打
油井成本低。我不太相信ann能有用。
另外更简单的例子，天气预报是军事和商业双重重要的
重要项目。AI能赢现有方法吗？
说AI取代数学家这个可能性我觉得更小。数学家会调整
方向的，研究AI不就完了。既然停机问题无解，这就是
数学家的空间啊。
另外人类会发明新方法，前几年有传费马定理有一步用了特殊的逻辑方法，
实际上和现有公里不一回事。 |
|
x****u
发帖数: 44466 | 45 如果机器人是神经网络，就不能死机啊，不是图灵机就可以做成确定停机的 |
|
g****t
发帖数: 31659 | 46 Rnn和图灵机等价。我记得1995年science有个文章。
我本科做过rnn
: 如果机器人是神经网络，就不能死机啊，不是图灵机就可以做成确定停机的
|
|
