王垠
beswkwangbo
这个作者很懒,什么都没留下…
展开
-
王垠:从工具的奴隶到工具的主人
我们每个人都是工具的奴隶。随着我们的学习,我们不断的加深自己对工具的认识,从而从它们里面解脱出来。现在我就来说一下我作为各种工具的奴隶,以及逐渐摆脱它们的“思想控制”的历史吧。当我高中毕业进入大学计算机系的时候,辅导员对我们说:“你们不要只学书本知识,也要多见识一下业界的动态,比如去电脑城看看人家怎么装机。”当然他说我们要多动手,多长见识,这是对的。不过如果成天就研究怎么“装机”,研究哪种转载 2013-11-05 08:50:55 · 1017 阅读 · 0 评论 -
王垠:清华梦的粉碎—写给清华大学的退学申请(来自shredderyin 的博客)
清华梦的诞生 小时候,妈妈给我一个梦。她指着一个大哥哥的照片对我说,这是爸爸的学生,他考上了清华大学,他是我们中学的骄傲。长大后,你也要进入清华大学读书,为我们家争光。我不知道清华是什么样子,但是我知道爱迪生和牛顿的故事。清华,大概就是可以把我造就成他们这种人的地方吧。我幼小的脑海里就想象出我能在清华做的事情……我的脸上浮现出笑容。我说我要实现这个“清华梦”。这就是清华梦的诞生。转载 2013-11-07 18:24:01 · 2330 阅读 · 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 · 2374 阅读 · 0 评论 -
王垠:编辑器与IDE
无谓的编辑器战争很多人都喜欢争论哪个编辑器是最好的。其中最大的争论莫过于 Emacs 与 vi 之争。vi 的支持者喜欢说:“看 vi 打起字来多快,手指完全不离键盘,连方向键都可以不用。”Emacs 的支持者往往对此不屑一顾,说:“打字再快又有什么用。我在 Emacs 里面按一个键,等于你在 vi 里面按几十个键。”其实还有另外一帮人,这些人喜欢说:“对于 Emacs 与 vi转载 2013-11-13 14:12:51 · 1237 阅读 · 0 评论 -
王垠:原因与证明
证明我在 Cornell 的时候经常遇到这样的问题,那就是教授们一上课就在黑板上写长篇的“定理证明”,全体同学认认真真在下面抄笔记,就连只有十来个人的小课也是那样。有些写字速度慢的人就不得不带上小型录音机,把教授的课全都录下来,要不就是之后去借别人的笔记来抄。有一次某知名教授照着讲义,背对着学生,在黑板上写了大半节课,写下好几板的证明,证明的是 simply typed lambd转载 2013-11-13 14:13:29 · 1419 阅读 · 0 评论 -
王垠:一种新的操作系统设计
我一直在试图利用程序语言的设计原理,设计一种超越“Unix 哲学”的操作系统。这里是我的设想:这种系统里面的程序间通信不使用无结构的字符串,而是使用带有类型和结构的数据。在这样的系统里面,“程序”的概念基本上完全消失。系统由一个个的“函数”组成,每个函数都可以调用另外一个函数,通过参数传递数据。每个函数都可以并发执行。由于参数是一个数据结构,而不是字符串,这避免了程序间通信繁琐转载 2013-11-13 14:15:05 · 1614 阅读 · 0 评论 -
王垠:丘奇和图灵
丘奇(Alonzo Church)和图灵(Alan Turing)是两位对计算机科学具有最大影响力的人物,然而他们却具有非常对立的观点和相差很多的名气。在我长达16年的计算机科学生涯中,总是感觉到自己的思想反反复复的徘徊于这两个“阵营”之间。丘奇代表了“逻辑”和“语言”,而图灵代表着“物理”和“机器”。在前面的8年中,我对丘奇一无所知,而在后面的8年中,我却很少再听到图灵的名字。他们的观点谁对谁错转载 2013-11-13 14:10:37 · 3756 阅读 · 0 评论 -
王垠:爱因斯坦谈教育
继续看爱因斯坦的 Ideas and Opinions,发现挺多有趣的东西。现在把他关于教育的话题摘录在下面。自己关于教育的一些想法,等整理好了再写。我在我的老师手里遭受了同样的待遇。因为我的独立,他们不喜欢我。当他们需要助教的时候,他们没有选择我。世界上已经有太多的教育,特别是在美国的学校里面。教育的唯一理性的方式是自己做一个榜样——如果实在不行,你可以做一个反例。教一个转载 2013-11-13 14:15:47 · 1294 阅读 · 0 评论 -
王垠:几个超炫的专业词汇
从同事的博客上学会了几个超炫的专业词汇,激动不已。觉得这些词汇可以言简意赅的概括我的好几篇博文,自己的文章水准真是自愧不如。现在来见识一下真正大师级的英语词汇:Yoda Notation(Yoda 表示法)在 C/C++ 里面使用这样的表达式顺序:if ("blue" == theSky) ...这是为了避免意外的写成:if (theSky = "blue") .转载 2013-11-13 14:14:32 · 1175 阅读 · 0 评论 -
王垠:对TAOCP的真正看法
本来早就想想写一个对于Knuth的The Art of Computer Programming的看法。没想到一去Amazon就找到一个同类 :) 关于Knuth的 TAOCP,我想,大部分人声称看了他的书,或者买了他的书,不过是作为一种炫耀的资本或者摆设。我对门的同学几年前就买了一套三本,全新的精装本,花了 200多块钱。可是呢,他从来就没看。我把它借过来,看了几页就放在那里没有看了转载 2013-11-22 15:02:30 · 3442 阅读 · 0 评论 -
王垠:关于编程语言的思考
之前写了那么多 Haskell 的不好的地方,却没有提到它好的地方。其实我必须承认,我从 Haskell 身上学到了非常重要的东西,那就是对于“类型”的思考。虽然 Haskell 的类型系统有过于强烈的约束性,从一种“哲学”的角度看感觉“不自然”,但如果一个程序员从来没学过 Haskell,那么他的脑子里就会缺少一种重要的东西。这种东西很难从除 Haskell,ML,Coq,Agda 以外的其它语转载 2013-11-05 18:52:52 · 1547 阅读 · 0 评论 -
王垠:论对东西的崇拜
在之前的几篇博文里面,我多次提到了 Lisp,它相对于其它语言的优势,以及 Lisp Machine 相对于 Unix 的优点。于是有人来信请教我如何学习 Lisp,也有人问我为什么 Lisp Machine 没有“流行”起来。我感觉到了他们言语中对 Lisp 的敬畏和好奇心,但也感觉到了一些隐含的怀疑。这是一种复杂的感觉,仿佛我在原始人的部落兜售一些原子能小玩具,却被人当成了来自天外的传转载 2013-11-18 21:59:36 · 1167 阅读 · 0 评论 -
王垠:谈语法
使用和研究过这么多程序语言之后,我觉得几乎不包含多余功能的语言,只有一个:Scheme。所以我觉得它是学习程序设计最好的入手点和进阶工具。当然 Scheme 也有少数的问题,而且缺少一些我想要的功能,但这些都瑕不掩瑜。在用了很多其它的语言之后,我觉得 Scheme 真的是非常优美的语言。要想指出 Scheme 所有的优点,并且跟其它语言比较,恐怕要写一本书才讲的清楚。所以在这篇文章里,我只转载 2013-11-18 21:57:10 · 1480 阅读 · 0 评论 -
王垠:谈 Linux,Windows 和 Mac
这段时间受到很多人的来信。他们看了我很早以前写的推崇 Linux 的文章,想知道如何“抛弃 Windows,学习 Linux”。天知道他们在哪里找到那么老的文章,真是好事不出门…… 我觉得我有责任消除我以前的文章对人的误导,洗清我这个“Linux 狂热分子”的恶名。我觉得我已经写过一些澄清的文章了,可是怎么还是有人来信问 Linux 的问题。也许因为感觉到“舆论压力”,我把文章都删了。转载 2013-11-05 12:35:26 · 929 阅读 · 0 评论 -
王垠:如何掌握程序语言
学习程序语言是每个程序员的必经之路。可是这个世界上有太多的程序语言,每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言,而且必须紧跟“潮流”,否则就怕被时代所淘汰。作为一个程序语言的研究者,我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单,永恒不变的原理。看到了它们,就可以在很短的时间之内就能学会并且开始使用任何新的语言,而不是花费很多功夫去学转载 2013-11-05 17:28:15 · 1060 阅读 · 0 评论 -
王垠:完全用Linux工作
我已经半年没有使用 Windows 的方式工作了。Linux 高效的完成了我所有的工作。GNU/Linux 不是每个人都想用的。如果你只需要处理一般的事务,打游戏,那么你不需要了解下面这些了。 我不是一个狂热的自由软件份子,虽然我很喜欢自由软件。这篇文章也不是用来推行自由软件运动的,虽然我觉得自由软件运动是非常好的。这篇文章也不是用来比较 Linux 和 Windows转载 2013-11-05 12:38:38 · 1136 阅读 · 0 评论 -
王垠:写给支持和反对<完全用Linux工作>的人们
在一阵阵唾骂和欢呼声中,《完全用Linux工作》被转载到了 天涯海角。很多人支持我,也有很多人唾骂我。我不知道它是怎样流传到那么多地方,其实我不知道它都被转到哪里去了...... 我知道现在这篇文章又会罗里罗索写很长(因为我计划写这样一个东西已经很久了,坐在Emacs前面总是有一种巫师在炼丹的感觉......),所以先提出 中心思想吧。中心思想就是:我只是一个傻瓜。看《完全转载 2013-11-05 12:40:05 · 1002 阅读 · 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 · 3039 阅读 · 0 评论 -
王垠:对博士学位说永别
经过深思熟虑之后,我决定再次“抛弃”我的博士学位。这是我第三次决定离开博士学位,也应该是最后一次了。这应该不是什么惊人的消息,因为我虽然读博士 10 年了,可是我的目标从来就不是博士学位。我在寻找更重要的东西,而且那个东西已经被我找到了。所以我的“博士生涯”其实完成了它的使命,基本上可以圆满结束了。如果你从我之前的博文判定我现在生活在我所向往的环境中,那么你就误会了。我学到了我想要的东西,转载 2013-11-05 17:24:23 · 1813 阅读 · 1 评论 -
王垠:我和权威的故事
转自王垠博客,我是垠粉。每个人小时候心里都是没有权威的,就像每个人小时候也都不相信广告一样。可是权威就像广告,它埋伏在你的潜意识里。听一遍不信,听两遍不信,……,直到一千遍的时候,它忽然开始起作用了,而且这作用越来越强。消灭广告所造成的幻觉,最好的办法就是去尝试,去实地的考察它。有些虚幻的东西只要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它,它就会一直在你脑海里转载 2015-04-21 10:48:28 · 2255 阅读 · 2 评论