醍醐灌顶

最近有些话让我感觉醍醐灌顶,如梦初醒。

一、我不认识“佝偻”两字。

于是有人说:“你还算不算中国人啊?”

中国文字源远流长,常用汉字好几千,你不认识俩,你就不是中国人!

二、我的小组里有一个工程系的没有团队精神,没有奉献精神。

于是有人说:“还是我们团队好啊,顶呱呱! 大家都很熟,我没做什么他们也不会有意见”

恩,真是好团队!

三、有人说:“现在好多音乐就像自来水,十分廉价。不过有时越是廉价的东西我们却越是离不开。”


又猜对了

星期五吃完火锅听说土耳其把克罗地亚赢了,我说:“感觉荷兰也得输。”

果然,荷兰1-3输给俄罗斯。

今天吃火锅之前,阮邀小呆一起吃。她当然不吃,因为她的意大利马上就开始比赛了。我说:“意大利要输。全场踢平,然后发点球。”

果然,意大利和西班牙0-0全场踢平,然后意大利2-4点球输。

当然,现在写出来那叫马后炮。


放假听歌

我不卖豆腐豆腐这个战斗歌曲听多了还是腻,今天放假换了换口味。这一首,我忧郁了。

《时光隧道》

歌手:萧亚轩 作曲:罗浚伟 作词:黄俊郎

回忆在 寄物柜里
努力练习 怎么忘记你
而一个 擦身距离
却又轻轻 取出了过去
原来爱 无法忘记
只是我们 尽量不想起
遇见你 仍然开心
虽然最后 只剩下背影
谢谢你给的从前
那张我爱过的脸
有些事不需要永远
而你应该听不见
这最安静的语言
我静静的念 我的爱再见
看不到 我知道
就让它留在时光的隧道
永无止境的美好
我会带着 这些生命里最轻盈的重要
温暖的 躲在另一个怀抱
听不到 我知道
永远不再被打扰
我会藏好 曾经跟你写下的纯真记号
开心的 习惯另一个味道 你知道
温暖的 躲在另一个怀抱 你知道

下载


最近生活挺实在

发现下面的图都是黑白的,来点儿彩色图片装璜装璜。

Eat.Sleep.Code

这是我最近的生活状态。

via


法国大败

6月快过去一半了,汶川大地震过去一个月了,闷热的夏天终于来了。

今天法国对荷兰,输了。这很正常,打防反炉火纯青的意大利坚盾不也当不住荷兰利剑吗?况且上届世界杯意大利打法国还赢了两个球呢。

没了齐达内,高卢雄鸡相当于没了大脑和心脏,所以输球是在情理之中。可这回是大败,很久没听说过法国大败了,图拉母老是老点儿,可他不还在场上吗?

可能是荷兰太过强大了,强大到能夺冠。也好,这只无冕之王也该体会体会手捧奖杯的感觉了。


[转]四川人的幽默感

一汶川地震幸存者被国外救援队救出后,记者采访,问他感觉怎样。幸存者想了半天说:

“狗日的地震凶噢!老子被挖出来后看到都是外国人,还以为把老子震到国外去了!”

转自《槽边往事》


记住这一刻

May 12, 2008 China Earthquake

图片出自瘾科技


五一

长假没了,大星期也不错。睡个好觉,到近郊走走,舒心惬意。不要长途跋涉了--玩,有时候很累的。

昨天得知两位天才同学在1964那年的五一,成功地运行了第一个Basic程序。从此计算机语言走下神坛,飞进平常百姓家!

下面是这两位同学的靓照:

John G. Kemeny (left) and Thomas E. Kurtz made a truly Basic contribution to computer science in 1964. Courtesy Dartmouth Library
John G. Kemeny (left) and Thomas E. Kurtz made a truly Basic contribution to computer science in 1964.
Courtesy Dartmouth Library

想到当年参加“奥计”(计算机奥林匹克,全国青少年信息学奥林匹克)复赛的时候,我居然不知道Basic里Sub为何物 …

特此纪念。

柳树不落叶


一道数学证明题

题设:相邻两质数(>=5),两数之间只能夹一个数,比如(5,7),(11,13),(17,19)。证明这两质数之和总能被6整除。

证明:自然数可以写成如下的形式:6n+0,6n+1,6n+2,6n+3,6n+4,6n+5,n >= 0。 可以写成6n+{0,2,4}这三种形式的数,除了2之外都是偶数,它们都不是质数,排除。6n+3可以被3整除,排除。2和3是质数,不过题设要求>=5,所以不予考虑。

这样剩下来的就只有6n+1和6n+5这两种形式。假设p1 = 6n+5,p2=6(n+1)+1,p1和p2符合题目要求:只有6(n+1)+0夹在两数之间。p1+p2 = 6(2n+2),很明显可以被6整除。

得证。

注:上面例子里的p1和p2不一定是质数。满足条件的自然数都能用上面的方法求证,那么两质数也当然不能例外。


先人牛

对,你没有看错,标题不是“仙人掌”,也不是“先人墓”(快清明了,应景),确确实实是“先人牛”。没听说过这种牛?接着往下面看。

今天早上刚开始工作不久,Megumi将问我了我一个问题:“C和C++的区别”。答案我当然知道,可是答案在这个时候其实并不重要,重要的是这个问题激发起了同学们讨论的热情,于是我们相当愉快地度过了一个上午。

午饭的时候,已经趋于平静的我们突然又说到了一本关于C的书,《The C Programming Language》。任何时候说到这本书都不可能不提到K&R 。什么是K&R ?Brian W. KernighanDennis M. Ritchie 是也。可是我想说的K不是此K,而是彼K——Ken Thompson

Ken和Dennis就是标题上的那个“先人”所指的对象了,不过他们现在都还活得好好的。这里有一张从Wikipedia扒下来的照片:

Ken Thompson (left) with Dennis Ritchie(right)

从这张照片你至少应该可以看出来一点:他们的长相不得了。恩,我同意这一点。

不过,除了长相以外,他们也确实是十分了不起的人!Ken(左), Dennis(右)和Douglas McIlroy三人在1969年的时候写了最早版本的Unix(应该是纯汇编!然后在1972年的时候,Dennis把C写了出来。于是,他们又一起用C把Unix重写了一遍(注)

在了解完了这段历史之后,我相当的感慨。那时候的他们什么都没有——没有现成的理论,没有好用的工具,一切都要自己动手从零开始。不过感觉那时候的人说要做个什么就能做个什么出来,好像一点不费劲似的。再看看现在,理论别人已经研究出来了,工具别人也做好了,我们做出来的东西却不像个样子了。举个例子对比一下:Ken和Dennis做的系统叫Unix,好东西;前段时间某个软件公司做的系统叫Windows Vista,那是个什么东西?

好了,打住,引用一句Dennis关于Unix的语录:

“UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity.”
– Dennis Ritchie

所以,这篇文章的标题不能连着读,连着读就不知所云了,要这么读:先人,牛!

柳树不落叶

注:传说是这样的,不过我认为Unix和C应该是同时一起发展的。因为从它们的发展痕迹来看,C在当时更像是为Unix服务的一个工具。当工具在一定程度上已经够用的情况下,正式的工程就可以开始了。在工程展开得同时我们对工具不断进行修改和优化以满足工作的需要。这样,当正式工程完成之后,我们用的工具也基本上完成了。之后需要对工具做的工作就是把它一般化,使它面向更加普遍的问题,而不光是我们自己的问题。当这最后一阶段的修改完成之后,我们可以说这个工具是general purpose的,公开发布给大众使用了。