
计算机哲学与文化
beswkwangbo
这个作者很懒,什么都没留下…
展开
-
王垠:从工具的奴隶到工具的主人
我们每个人都是工具的奴隶。随着我们的学习,我们不断的加深自己对工具的认识,从而从它们里面解脱出来。现在我就来说一下我作为各种工具的奴隶,以及逐渐摆脱它们的“思想控制”的历史吧。当我高中毕业进入大学计算机系的时候,辅导员对我们说:“你们不要只学书本知识,也要多见识一下业界的动态,比如去电脑城看看人家怎么装机。”当然他说我们要多动手,多长见识,这是对的。不过如果成天就研究怎么“装机”,研究哪种转载 2013-11-05 08:50:55 · 1076 阅读 · 0 评论 -
王垠:编辑器与IDE
无谓的编辑器战争很多人都喜欢争论哪个编辑器是最好的。其中最大的争论莫过于 Emacs 与 vi 之争。vi 的支持者喜欢说:“看 vi 打起字来多快,手指完全不离键盘,连方向键都可以不用。”Emacs 的支持者往往对此不屑一顾,说:“打字再快又有什么用。我在 Emacs 里面按一个键,等于你在 vi 里面按几十个键。”其实还有另外一帮人,这些人喜欢说:“对于 Emacs 与 vi转载 2013-11-13 14:12:51 · 1263 阅读 · 0 评论 -
王垠:几个超炫的专业词汇
从同事的博客上学会了几个超炫的专业词汇,激动不已。觉得这些词汇可以言简意赅的概括我的好几篇博文,自己的文章水准真是自愧不如。现在来见识一下真正大师级的英语词汇:Yoda Notation(Yoda 表示法)在 C/C++ 里面使用这样的表达式顺序:if ("blue" == theSky) ...这是为了避免意外的写成:if (theSky = "blue") .转载 2013-11-13 14:14:32 · 1199 阅读 · 0 评论 -
王垠:原因与证明
证明我在 Cornell 的时候经常遇到这样的问题,那就是教授们一上课就在黑板上写长篇的“定理证明”,全体同学认认真真在下面抄笔记,就连只有十来个人的小课也是那样。有些写字速度慢的人就不得不带上小型录音机,把教授的课全都录下来,要不就是之后去借别人的笔记来抄。有一次某知名教授照着讲义,背对着学生,在黑板上写了大半节课,写下好几板的证明,证明的是 simply typed lambd转载 2013-11-13 14:13:29 · 1443 阅读 · 0 评论 -
王垠:丘奇和图灵
丘奇(Alonzo Church)和图灵(Alan Turing)是两位对计算机科学具有最大影响力的人物,然而他们却具有非常对立的观点和相差很多的名气。在我长达16年的计算机科学生涯中,总是感觉到自己的思想反反复复的徘徊于这两个“阵营”之间。丘奇代表了“逻辑”和“语言”,而图灵代表着“物理”和“机器”。在前面的8年中,我对丘奇一无所知,而在后面的8年中,我却很少再听到图灵的名字。他们的观点谁对谁错转载 2013-11-13 14:10:37 · 3880 阅读 · 0 评论 -
王垠:清华梦的粉碎—写给清华大学的退学申请(来自shredderyin 的博客)
清华梦的诞生 小时候,妈妈给我一个梦。她指着一个大哥哥的照片对我说,这是爸爸的学生,他考上了清华大学,他是我们中学的骄傲。长大后,你也要进入清华大学读书,为我们家争光。我不知道清华是什么样子,但是我知道爱迪生和牛顿的故事。清华,大概就是可以把我造就成他们这种人的地方吧。我幼小的脑海里就想象出我能在清华做的事情……我的脸上浮现出笑容。我说我要实现这个“清华梦”。这就是清华梦的诞生。转载 2013-11-07 18:24:01 · 2403 阅读 · 0 评论 -
王垠:GTF: Great Teacher Friedman
0. 写小人书的老顽童Dan Friedman 是 Indiana 大学的教授,Lisp (Scheme) 语言的主要研究者之一。他主要的著作《The Little Schemer》(前身叫《The Little Lisper》) 是程序语言界最具影响力的书籍之一。现在很多程序语言界的元老级人物,当年都是看这本“小人书”学会了 Lisp/Scheme,才决心进入这一领域。转载 2013-11-22 14:30:35 · 2433 阅读 · 0 评论 -
王垠:对博士学位说永别
经过深思熟虑之后,我决定再次“抛弃”我的博士学位。这是我第三次决定离开博士学位,也应该是最后一次了。这应该不是什么惊人的消息,因为我虽然读博士 10 年了,可是我的目标从来就不是博士学位。我在寻找更重要的东西,而且那个东西已经被我找到了。所以我的“博士生涯”其实完成了它的使命,基本上可以圆满结束了。如果你从我之前的博文判定我现在生活在我所向往的环境中,那么你就误会了。我学到了我想要的东西,转载 2013-11-05 17:24:23 · 1851 阅读 · 1 评论 -
王垠:如何掌握程序语言
学习程序语言是每个程序员的必经之路。可是这个世界上有太多的程序语言,每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言,而且必须紧跟“潮流”,否则就怕被时代所淘汰。作为一个程序语言的研究者,我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单,永恒不变的原理。看到了它们,就可以在很短的时间之内就能学会并且开始使用任何新的语言,而不是花费很多功夫去学转载 2013-11-05 17:28:15 · 1082 阅读 · 0 评论 -
王垠:谈 Linux,Windows 和 Mac
这段时间受到很多人的来信。他们看了我很早以前写的推崇 Linux 的文章,想知道如何“抛弃 Windows,学习 Linux”。天知道他们在哪里找到那么老的文章,真是好事不出门…… 我觉得我有责任消除我以前的文章对人的误导,洗清我这个“Linux 狂热分子”的恶名。我觉得我已经写过一些澄清的文章了,可是怎么还是有人来信问 Linux 的问题。也许因为感觉到“舆论压力”,我把文章都删了。转载 2013-11-05 12:35:26 · 962 阅读 · 0 评论 -
王垠:写给支持和反对<完全用Linux工作>的人们
在一阵阵唾骂和欢呼声中,《完全用Linux工作》被转载到了 天涯海角。很多人支持我,也有很多人唾骂我。我不知道它是怎样流传到那么多地方,其实我不知道它都被转到哪里去了...... 我知道现在这篇文章又会罗里罗索写很长(因为我计划写这样一个东西已经很久了,坐在Emacs前面总是有一种巫师在炼丹的感觉......),所以先提出 中心思想吧。中心思想就是:我只是一个傻瓜。看《完全转载 2013-11-05 12:40:05 · 1030 阅读 · 0 评论 -
王垠:完全用Linux工作
我已经半年没有使用 Windows 的方式工作了。Linux 高效的完成了我所有的工作。GNU/Linux 不是每个人都想用的。如果你只需要处理一般的事务,打游戏,那么你不需要了解下面这些了。 我不是一个狂热的自由软件份子,虽然我很喜欢自由软件。这篇文章也不是用来推行自由软件运动的,虽然我觉得自由软件运动是非常好的。这篇文章也不是用来比较 Linux 和 Windows转载 2013-11-05 12:38:38 · 1169 阅读 · 0 评论 -
王垠:我看PhD
by 王垠前段时间看了一下这些关于 PhD 的负面信息:一个专门反对读 PhD 的 BLOG 叫“100 Reasons NOT to Go to Graduate School”(下文简称“100个理由”)哈佛大学教授 William James 的“The PhD Octopus”(写于 1903 年)斯坦福大学的计算机系博士 Philip Gu转载 2013-11-05 17:21:46 · 3119 阅读 · 0 评论 -
王垠:谈语法
使用和研究过这么多程序语言之后,我觉得几乎不包含多余功能的语言,只有一个:Scheme。所以我觉得它是学习程序设计最好的入手点和进阶工具。当然 Scheme 也有少数的问题,而且缺少一些我想要的功能,但这些都瑕不掩瑜。在用了很多其它的语言之后,我觉得 Scheme 真的是非常优美的语言。要想指出 Scheme 所有的优点,并且跟其它语言比较,恐怕要写一本书才讲的清楚。所以在这篇文章里,我只转载 2013-11-18 21:57:10 · 1541 阅读 · 0 评论 -
王垠:爱因斯坦谈教育
继续看爱因斯坦的 Ideas and Opinions,发现挺多有趣的东西。现在把他关于教育的话题摘录在下面。自己关于教育的一些想法,等整理好了再写。我在我的老师手里遭受了同样的待遇。因为我的独立,他们不喜欢我。当他们需要助教的时候,他们没有选择我。世界上已经有太多的教育,特别是在美国的学校里面。教育的唯一理性的方式是自己做一个榜样——如果实在不行,你可以做一个反例。教一个转载 2013-11-13 14:15:47 · 1328 阅读 · 0 评论