随笔分类 -  个人总结

【转】贡献和价值
摘要:贡献和价值 在我写了那篇关于天才的文章之后,有人发信来跟我说,你鼓吹自己聪明,其实毫无价值。一个人不是聪明就可以的,还要看他对社会的贡献。接着他举例说,比如马云,他虽然不是天才,但是他做了阿里巴巴,让小商小贩赚到了钱…… 首先,这种把一个人跟另一个人(而不是跟他自己)比较的作法,貌似是自卑或者嫉妒的 阅读全文

posted @ 2018-03-09 15:24 AlanTu 阅读(425) 评论(0) 推荐(0) 编辑

【转】电视编剧的问题
摘要:电视编剧的问题 听一朋友说“远离韩剧,保护智商”,誓死不看脑残剧《来自星星的你》。觉得好奇,于是乎想看看它为何脑残。开头还觉得挺有创意,风趣幽默,前后呼应,逻辑严密。对它看法大有改观,于是继续看下去。直到第11集的时候开始发现上当,及时悬崖勒马。 公式 是什么问题呢?问题在于,当坏人都已经打倒在地, 阅读全文

posted @ 2018-03-09 15:22 AlanTu 阅读(166) 评论(0) 推荐(0) 编辑

【转】我的第一次和最后一次 Hackathon 经历
摘要:我的第一次和最后一次 Hackathon 经历 在旧金山地区经常有一些叫做“Hackathon”的活动,吸引挺多人参加。我一直听说这个名字,可是一直不知道它到底是什么。我从来对竞赛式的活动不感兴趣,我觉得那是在降低我的身份:你给了一群笨蛋权力来给自己打分排名 :p 我从来没参加过 ACM,IOI,T 阅读全文

posted @ 2018-03-09 15:21 AlanTu 阅读(304) 评论(0) 推荐(0) 编辑

【转】我离开了 Coverity
摘要:我离开了 Coverity 在写这篇博文的时候,我已经不再是 Coverity 的员工了,我已经在今天下午向公司正式辞职。 走出公司的大门,我觉得一身的轻松。这是我几个月以来第一次感受到加州美丽的阳光,AT&T Park 到处是欢笑的人群,他们是来看巨人队的棒球赛的。我第一次发现他们的面庞是那么的美 阅读全文

posted @ 2018-03-09 15:20 AlanTu 阅读(5754) 评论(0) 推荐(0) 编辑

【转】编辑器与IDE
摘要:编辑器与IDE 无谓的编辑器战争 很多人都喜欢争论哪个编辑器是最好的。其中最大的争论莫过于 Emacs 与 vi 之争。vi 的支持者喜欢说:“看 vi 打起字来多快,手指完全不离键盘,连方向键都可以不用。”Emacs 的支持者往往对此不屑一顾,说:“打字再快又有什么用。我在 Emacs 里面按一个 阅读全文

posted @ 2018-03-09 15:18 AlanTu 阅读(251) 评论(0) 推荐(0) 编辑

【转】一种新的操作系统设计
摘要:一种新的操作系统设计 我一直在试图利用程序语言的设计原理,设计一种超越“Unix 哲学”的操作系统。这里是我的设想: 这种系统里面的程序间通信不使用无结构的字符串,而是使用带有类型和结构的数据。在这样的系统里面,Unix 和其它类似操作系统(比如 Windows)里的所谓“应用程序”的概念基本上完全 阅读全文

posted @ 2018-03-09 15:17 AlanTu 阅读(158) 评论(0) 推荐(0) 编辑

【转】几个超炫的专业词汇
摘要:几个超炫的专业词汇 从同事的博客上学会了几个超炫的专业词汇,激动不已。觉得这些词汇可以言简意赅的概括我的好几篇博文,自己的文章水准真是自愧不如。现在来见识一下真正大师级的英语词汇: Yoda Notation(Yoda 表示法) 在 C/C++ 里面使用这样的表达式顺序: if ("blue" == 阅读全文

posted @ 2018-03-09 15:17 AlanTu 阅读(479) 评论(0) 推荐(0) 编辑

【转】Markdown 的一些问题
摘要:Markdown 的一些问题 把我之前的博文基本上转换成了 markdown 格式。我发现 markdown 虽然在编辑器里看起来比 HTML 清晰一些,但也有一些不足。 这些 markup 语言的格式都有点像我本科的时候给我爸做的一种“标准化试卷标记语言”(因为他是中学英语老师)。当时我写了一个1 阅读全文

posted @ 2018-03-09 15:16 AlanTu 阅读(236) 评论(0) 推荐(0) 编辑

【转】论“我”和“我们”
摘要:论“我”和“我们” 在之前一篇《爱因斯坦对美国的第一印象》里面,他提到: “相对于欧洲人,美国的个人主义更少…… 许多的重心,放在‘我们’,而不是‘我’…… 所以更加重视习俗和传统。” 这貌似一个褒义的评价,可是我觉得美国的这个喜欢用“我们”的习惯,其实并不像爱因斯坦说的那么好。一个人应该尽量用“我 阅读全文

posted @ 2018-03-09 15:15 AlanTu 阅读(281) 评论(0) 推荐(0) 编辑

【转】什么是启发
摘要:什么是启发 我喜欢用“启发”这个词。比如我经常会对人说:“你启发了我。”然而听到这话的人有时候不明白我的意思,自以为高我一筹,于是顿显傲气。其实我用“启发”这个词,是有深刻含义的。“启发”的意思并不等于“我没有你懂得多”或者“你比我聪明”,而是一个很含糊的词。 如果 A 受到了 B 启发,有几种可能 阅读全文

posted @ 2018-03-09 15:14 AlanTu 阅读(365) 评论(0) 推荐(0) 编辑

【转】Scheme 编程环境的设置
摘要:Scheme 编程环境的设置 介绍了这么久的 Scheme,却没有讲过如何配置一个高效的 Scheme 的编程环境。有些人开始学习 Scheme 的时候感觉无从下手,所以今天讲一下它的配置。 Scheme 的配置有很多种方式,我不想介绍太多东西,免得有人看花了眼,所以这里只介绍一下我自己的配置。我不 阅读全文

posted @ 2018-03-09 15:13 AlanTu 阅读(340) 评论(0) 推荐(0) 编辑

【转】我为什么离开 Cornell
摘要:我为什么离开 Cornell 很多人都知道,我曾经在 Cornell 博士就读,两年之后转学到了 Indiana 大学。几乎所有人,包括 Indiana 大学的人都感觉奇怪,为什么会有人从 Cornell 这样的“牛校”转学到 Indiana。我曾经在之前的博文里提到 Cornell 的情况,比如学 阅读全文

posted @ 2018-03-09 15:11 AlanTu 阅读(302) 评论(0) 推荐(0) 编辑

【转】Currying 的局限性
摘要:Currying 的局限性 很多基于 lambda calculus 的程序语言,比如 ML 和 Haskell,都习惯用一种叫做 currying 的手法来表示函数。比如,如果你在 Haskell 里面这样写一个函数: f x y = x + y 然后你就可以这样把链表里的每个元素加上 2: ma 阅读全文

posted @ 2018-03-09 15:09 AlanTu 阅读(216) 评论(0) 推荐(0) 编辑

【转】惰性求值
摘要:从之前的几篇博文里面你也许已经看到了,Haskell 其实是问题相当严重的语言,然而这些问题却没有引起足够的重视。我能看到的 Haskell 的问题在于: 复杂的基于缩进的语法,使得任何编辑器都不能高效的编辑 Haskell 程序,并且使得语法分析难度加倍。对这个观点,请参考我的博文《谈语法》以及我 阅读全文

posted @ 2018-03-09 15:08 AlanTu 阅读(962) 评论(0) 推荐(0) 编辑

【转】函数式语言的宗教
摘要:函数式语言的宗教 很早的时候,“函数式语言”对于我来说就是 Lisp,因为 Lisp 可以在程序的几乎任意位置定义函数,并且把它们作为值来传递(这叫做 first-class function)。可是到后来有人告诉我,Lisp 其实不算“函数式语言”,因为 Lisp 的函数不“纯”(pure)。 所 阅读全文

posted @ 2018-03-09 15:07 AlanTu 阅读(206) 评论(0) 推荐(0) 编辑

【转】爱因斯坦对美国的第一印象
摘要:爱因斯坦对美国的第一印象 今天从 Amazon 买了一本书,叫做《Ideas and Opinions》,它收集了爱因斯坦的一些非常精辟的短文。一直觉得自己的很多观点没人可以理解,谁知一看这本书就发现,其实自己有一位知音,他跨越了时空的界限在向我点头。真想不到,爱因斯坦对于科学,宗教,教育,社会,国 阅读全文

posted @ 2018-03-09 15:06 AlanTu 阅读(444) 评论(0) 推荐(0) 编辑

【转】论对东西的崇拜
摘要:论对东西的崇拜 在之前的几篇博文里面,我多次提到了 Lisp,它相对于其它语言的优势,以及 Lisp Machine 相对于 Unix 的优点。于是有人来信请教我如何学习 Lisp,也有人问我为什么 Lisp Machine 没有“流行”起来。我感觉到了他们言语中对 Lisp 的敬畏和好奇心,但也感 阅读全文

posted @ 2018-03-09 15:05 AlanTu 阅读(126) 评论(0) 推荐(0) 编辑

【转】Lisp 已死,Lisp 万岁!
摘要:Lisp 已死,Lisp 万岁! 有一句古话,叫做“国王已死,国王万岁!”它的意思是,老国王已经死去,国王的儿子现在继位。这句话的幽默,就在于这两个“国王”其实指的不是同一个人,而你咋一看还以为它自相矛盾。今天我的话题仿效了这句话,叫做“Lisp 已死,Lisp 万岁!”希望到最后你会明白这是什么意 阅读全文

posted @ 2018-03-09 15:05 AlanTu 阅读(637) 评论(0) 推荐(0) 编辑

【转】怎样写一个解释器
摘要:怎样写一个解释器 写一个解释器,通常是设计和实现程序语言的第一步。解释器是简单却又深奥的东西,以至于好多人都不会写,所以我决定写一篇这方面的入门读物。 虽然我试图从最基本的原理讲起,尽量不依赖于其它知识,但这并不是一本编程入门教材。我假设你已经理解 Scheme 语言,以及基本的编程技巧(比如递归) 阅读全文

posted @ 2018-03-09 15:01 AlanTu 阅读(260) 评论(0) 推荐(0) 编辑

王垠的过去和现状
摘要:原文:http://www.kurttlin.com/post/2011-10-03/5502426 网站已经关闭,特意全文转载过来。本文是旧闻了,最近有关于王垠的近况可以查看他的博客,未来计划 王垠的过去和现状 我曾在2006年冬季接触到王垠的三篇文章:《完全用linux工作》、《写给支持和反对< 阅读全文

posted @ 2018-03-09 14:54 AlanTu 阅读(1528) 评论(0) 推荐(0) 编辑

导航