听了薛大牛的课,忍不住重贴一篇文章……
数学的逻辑有时会导致看来十分怪异的结论。一般的规则是,如果逻辑推理没有漏洞,那么结论就必定站得住脚,即使它与你的直觉矛盾。
1998年9月,加利福尼亚州帕洛阿尔托的Stephen M. Omohundro寄给我一道难题,它恰好就属于这一类。这难题已经流传了至少十年,但是Omohundro对它作了改动,使它的逻辑问题变得分外复杂。 先来看看此难题原先的形状。10名海盗抢得了窖藏的100 块金子,并打算瓜分这些战利品。这是一些讲民主的海盗(当然是他们自己特有的民主),他们的习惯是按下面的方式进行分配:最厉害的一名海盗提出分配方案,然后所有的海盗(包括提出方案者本人)就此方案进行表决。如果50%或更多的海盗赞同此方案,此方案就获得通过并据此分配战利品。否则提出方案的海盗将被扔到海里,然后下提名最厉害的海盗又重复上述过程。 所有的海盗都乐于看到他们的一位同伙被扔进海里,不过,如果让他们选择的话,他们还是宁可得一笔现金。他们当然也不愿意自己被扔到海里。所有的海盗都是有理性的,而且知道其他的海盗也是有理性的。此外,没有两名海盗是同等厉害的——这些海盗按照完全由上到下的等级排好了座次,并且每个人都清楚自己和其他所有人的等级。这些金块不能再分,也不允许几名海盗共有金块,因为任何海盗都不相信他的同伙会遵守关于共享金块的安排。这是一伙每人都只为自己打算的海盗。
阅读全文…不知所云的辩解
寒暄的话就不讲啦,谢谢参与。
阅读全文…「牛屎运」让你达到顶峰zz
美国经济增速放缓使每一个身在其中的人都深刻感受到生活的变化及随之而来的压力。继《谁动了我的奶酪》之后,这种以寓言方式向人们传达在变革与危机中生存之道的漫画越来越流行起来。各种FLASH也在欧美各大公司的职员中间广为流传,不少理念还被时代华纳、IBM、花旗银行、柯达等公司作为公司课程用来指导员工。
一只火鸡和一头牛闲聊。
火鸡说:「我希望能飞到树顶,可我没有力气。」
牛说:「为什么不吃一点我的粪便呢,它们很有营养。」
火鸡吃了一些牛粪,发现它确实给了自己足够的能量飞到第一根树枝。
第二天,火鸡吃了更多牛粪,飞到第二根树枝。
两个星期后,火鸡骄傲地飞到了树顶。
但不久,一个农夫看见它,迅速把火鸡射了下来。
生存之道一:「牛屎运」可以让你达到顶峰,但不能让你永远留在那儿。
阅读全文…仙剑奇侠传中最经典的一句话zz
From: http://www.sogame.net/down/infoview/Article_2470.html
御剑乘风来,除魔天地间.
有酒乐逍遥,无酒我亦癫.
一饮尽江河,在饮吞日月.
千杯醉不倒,唯我酒剑仙.
酒剑仙:男人帅有什么用,要么能文,要么能武
刘媒婆:林堡主啊,三年了,伤心的事情也应该过去了,难道你真得想半生寂寞吗?
林天南:我跟姿仙的感情,别人是不了解的。虽然她的肉体已逝,但是她的芳魂依然活在我的心里。永远,永远。感情贵在专致,始终如一。
阅读全文…唐僧,种子,好在多数人的头脑还是正常的……
有时候我会有一些别人难以理解的行为,但是可喜的是,好在多数人的头脑还是正常的,即使不是多数,但是至少还是有一些的。
一篇文章,能够引起如此大的争论,其实也没什么不好。虽然说这篇文章被和另外一篇文章合在一起发表,颇让人有些不爽的感觉,但是正如我跟一位Linux社区的朋友说的那样,没有什么好生气的。
为什么呢?争论并不是一件坏事。
当你看到那些迫不及待地想强迫别人接受他们观点的人所作的人身攻击的时候,用自己的大脑去思考的人,会去相信这些人所说的话吗?
我当然在等待你们的发言,因为你们的所谓论据、观点,不过在证明自己的错误。
我评价过GPL,评价过BSD,但从来没有说过哪怕一个比特的「GPL不好」或者说「BSD好」,我只是给了大家一些事实,帮助大家去理解这些事实,至于达到什么样的结论,那是每个人自己的事情。更不要忘记,那是一年前的事情。我承认我一年前确实心态不够平和,尽管这并不一定意味着我说的是错的。
那位说「自私」的升华的人很可笑,因为无论如何,你的论据不过建立在自私的基础上,这不过是一个政治观点,另外你还范了一个非常可笑的法律错误——任何授权所保护的都只是实现本身,而不是方法。即使你用GPL写了一本教科书,我按照其中的方法去写的东西,仍然可以是任意的授权。
阅读全文…其实,那并不是什么笑话
历史,永远会嘲笑那些嘲笑历史的人们。永远不要嘲笑任何表面上看来很白痴的东西,因为那样想的人可能很多。
你觉得阻断互联是互联网历史的重大倒退吗?错了,因为事实上,不互联才是真正的发展趋势。
阅读全文…bind in FreeBSD-CURRENT upgraded to 9.3.1
As title. We *need* to struggle to make the upcoming 6.0-RELEASE a good release . I hope we can show the great improvements taken place in 6-CURRENT and hopefully we can cut 6-STABLE this June.
Highlights on recent 6-CURRENT that was not merged (and may never be merged):
- MPSAFE VFS
- Integrated VFS hashing (generallized, traditionally it’s different on ufs, msdosfs, etc)
- 64bit-ize of several utilities, to ensure better usage of large storage.
信息产业部第33号令zz
中华人民共和国信息产业部令 第33号
《非经营性互联网信息服务备案管理办法》已经2005年1月28日中华人民共和国信息产业部第十二次部务会议审议通过,现予发布,自2005年3月20日起施行。
部 长:王旭东 二00五年二月八日
======== 非经营性互联网信息服务备案管理办法 ========
第一条 为规范非经营性互联网信息服务备案及备案管理,促进互联网信息服务业的健康发展,根据《互联网信息服务管理办法》、《中华人民共和国电信条例》及其他相关法律、行政法规的规定,制定本办法。
阅读全文…Using ssh-agent(1) to ease usage of SSH key authentication
Many SSH clients supports “key agent” or “authentication agent”, which holds private key for you, and ease the authentication process.
By default, OpenSSH does not enable this. You can easily use ssh-agent(1) to accomplish the mission.
ssh-agent startx
The above command will start X session with ssh-agent. This means that you can add private key to the agent.
ssh-add ~/.ssh/id_dsa
Add your own ssh key.
Then ssh authentications will be accomplished automatically. Note that you may need to use ssh -A in certain configurations.
参与评论Moved!!
Now my office have been moved to 17th floor of the same building. We are at the southwestern corner.
参与评论