杂谈
近看图灵碗 (一. 从苏黎世到巴黎) (下)
三 13th
1960年新年刚过,浪漫之都巴黎正是白雪皑皑的冬天。游客们缓缓登上埃菲尔铁塔,鸟瞰美丽的花都,弥满着四处纷飞的雪花,陷于一片朦胧。
这时候,ALGOL58已经诞生一年多了(58年末至60年初),佩利、巴科斯等主要参与者们,都在实践当中对新语言有了新的体会。革命的脚步不会停下,很快,他们集合了紧密团结在ALGOL58周围的13名计算机科学家,来到巴黎,再次对语言设计进行讨论。尽管苏黎世会议的大部分老朋友都又来到了巴黎,然而这次研究会的主角儿,对我们而言却是一个新面孔,他是丹麦计算机科学家诺尔(Peter Naur)。
More >
近看图灵碗 (一. 从苏黎世到巴黎) (上)
三 13th
我们的旅程从世界花园瑞士开始,1958年5月27日,苏黎世过完了六鸣节,到处春暖花开。就在4年前的这个季节,图灵离开了人间。
这一天,一场8个人的讨论会将在苏黎世召开,没有花,没有酒,连个专门的会议名称都没有。会议桌的一边,是美国计算机学会(ACM)的4名代表,另 一边是德国应用数学和力学学会(GAMM)的4名代表,索性把地点和双方名称连起来,就叫苏黎世ACM-GAMM会议。后来的历史将会证明,这场毫不隆 重、甚至不太圆满的会议,改变了此后的计算机科学,特别是对于1922年成立的GAMM来说,这场会议几乎成了它唯一的光辉事迹。8名代表陆续抵达了苏黎世,他们将要在此讨论,规划一种新型的编程语言,叫作国际代数语言(IAL)。
More >
近看图灵碗 (0. 引言)
三 13th
人们总是这样介绍图灵奖:这是计算机科学界的诺贝尔奖。不难看出,诺奖已经彻底符号化了,这个名词本身,就代表着知识界的顶峰,相比之下,其内容已是次要。用它来形容图灵奖,就暗藏了一个可怕的隐喻,图灵奖也将被符号化,人们只关注它的象征意义,而不是它背后的那些天才成果。所以我不喜欢这个比喻,却更想这样解释图灵奖:它代表着计算机科学历史上,那些最耀眼的杰作。

不知道有多少有心人留心过图灵奖的奖杯,那是一个银碗,外形朴实得很,但色泽却光彩夺目。
这种亮得晃眼的碗,中国古代也有一种,就是定窑的白瓷碗。现在几乎公认,宋瓷是中国瓷器艺术的巅峰之作,定窑作为宋朝的五大名窑之一,在艺术上的造谐是极为杰出的。可是,当朝皇帝却不喜欢定窑的碗,“本朝以定州白瓷有芒不堪用”,就因为它太亮,没法用。
图灵碗也是“有芒不堪用”,它们太亮太耀眼,几乎没有哪项图灵奖的成果,能够直接应用于日常生活。但是,正如这并不妨碍定州白瓷成为艺术极品,图灵奖的作品,也同样值得我们拿着放大镜细细品味,感叹它们的美。计算机科学不是关于计算机的,它也不只是一门科学,的确,它是一门艺术。
掐算下来,从1966年到2009年,图灵奖已经走过了近半个世纪,这也是计算机科学走过的半个世纪,获奖成果串连起来,就是一部计算机科学史。这条旅途跌宕起伏,光影变幻,人类历史上从没有过哪个学科,在破壳而出后的短短半个世纪里推进如此之远(如果不把量子物理看成独立学科的话)。
接下来,我们大家就结伴同行,去近看这55个图灵碗。它们中的每一个,都是铭文清晰,包浆温润,我索性客串一名掮做,为大家逐一解说这些令人享受的巧夺天工之作。那些捧得图灵碗的大师,每一位都是成就等身,篇幅所限,我们不能历数,只介绍他们直接赢得图灵奖表彰的工作。在这些前贤面前,我是走狗一只,初出茅庐,还不知两分天下,所以文中错误难免,还请读者海涵。
好了,来,让我们开始吧,先屏住呼吸,将时间拨回1946年……好好好,我知道计算机科学人士看到这个年份就不耐烦了,那我们就再将“年针”拨一圈,来到1958年。对1946年之后几年的计算机发展史不熟悉的读者也别着急,需要提到的知识,我们都不会漏掉的。好了,睁开眼睛,旅途从这里开始了。
(未完待续)
转载自:http://songshuhui.net/archives/32599.html 作者:苏椰
近看图灵碗 (8. 我就是上帝) (下)
三 10th
文章来源:http://songshuhui.net/archives/34291.html 作者:苏椰
上一篇我们讲到,高德纳计划要写一套七卷本的《计算机程序设计艺术》,没想到刚刚写完第三卷,就被ACM授予了图灵奖。这在图灵奖历史上是从没有过的事。我们还记得巴黎会议上的诺尔吧,他的图灵碗比他的获奖成果迟来了整整45年,他等这个碗时间,比高德纳获奖时的岁数还要长。但是,高德纳在获此殊荣之后,再一次令世界大跌眼镜:他宣布从此歇笔了,因为排版工具太差,破坏了这套书的美。
高德纳的这一动作让外界十分震惊,可以想见,他遭到了排山倒海的怀疑。有人说,高德纳肯定是江郎才尽,拿了图灵碗,见好就收;有人说,图灵奖对前三卷的评价过高了,高德纳无力面对这么大的压力,只好找个理由撤退;还有人说,获奖之后停止写作,充分体现了他写书的目的就是为了功利。他们纷纷质疑,这个图灵碗是彻底发错了人。
然而,如果我们真正翻开TAOCP读一读,就不难理解这是为什么。我觉得,对于算法的研究,可以分成三层境界。第一层是分析算法的复杂度,这是计算机专业的大学生普遍掌握的技能,达到这个境界,可以说是入了算法的门;第二层境界是改进算法的复杂度,在分析之后继续思考,想办法去降低它,这就可以算是懂算法了;第三层境界,就是寻找算法的最优复杂度,不但要改进它,而且要改到什么程度呢?就是要证明出来,我改完的算法就是最优的,你无论如何都不可能再改进了,再改进就违反宇宙规律。
More >
近看图灵碗 (8. 我就是上帝) (上)
三 9th
文章来源:http://songshuhui.net/archives/33469.html, 作者:苏椰
过年了,苏椰特意叮嘱编辑们先把这个系列的第八章发出来,理由之一是大过年呢,8是个喜庆的数字。真没想到最年轻的松鼠还会从这个角度为读者细心考虑,那就成全他8,让我们在这部专辑里暂时做一次穿越,先看看第九只图灵碗背后有怎样的故事。
密尔沃基市,是美国威斯康辛州最大的城市。1938年1月10日,圣诞刚过不久,密尔沃基市民像往常一样平静地生活着。咖啡店里,有人在议论着罗斯 福总统的救市新政策,有人在议论着到底该不该限制公民持枪。而更多的人呢,则一边品尝着密尔沃基闻名全国的啤酒,一边听着广播里面的实时战况:侵华日军登 陆青岛了。谁也没有想到,这个平静的日子将载入这座城市的史册。这天,密尔沃基路德教会高中的一名印刷管理员,高兴地迎来了一个健康的儿子。他为儿子取了 一个响亮的名字,这个名字在不久的将来,成为了计算机编程艺术的旗帜:Donald Ervin Knuth。
More >
从腾讯微博看程序员幽默
二 6th
许多人认为程序员是那种埋头干活、不爱说话的人,更不用说是笑话了。其实发现周围的和网络上的程序员,都很喜欢把自己的幽默发挥到自己的产品中,像非常著名的游戏公司“暴雪”,每一款游戏中都会加入作者的一些好玩的ideas,像魔兽世界里的马龙之肘。
记录一下今天发现的有趣事情吧。
今天发现腾讯出微博了,到上面试试,结果登陆后的界面是:

不错,很强大!