hnhbdss的专栏

asdf组建：检查组件是否安装好： (asdf-version) , 如果报错也可能是没有加载 (asdf:load-system :asdf)， 然后就可以调用 (require "asdf") 来使用组件了。定义自己的组件加载：创建目录 ~/.conf/common-lisp/source-registery.conf.d/, 然后目录下放置任意的文件，比如 mylist-ex

转载▼标签： 杂谈分类： 杂谈我很喜欢 Richard Feynman 写的 《What Do You Care What Other People Think》。在最开头 Feynman 讲到他小时后的故事。他的父亲经常带他到外面散步，给他讲很多有趣的故事。他受到启发，后来成为了一名科学家。有一次，他们走到一个地方看见一

转载▼ 分类： 计算机科学我们每个人都是工具的奴隶。随着我们的学习，我们不断的加深自己对工具的认识，从而从它们里面解脱出来。现在我就来说一下我作为各种工具的奴隶，以及逐渐摆脱它们的“思想控制”的历史吧。当我高中毕业进入大学计算机系的时候，辅导员对我们说：“你们不要只学书本知识，也要多见识一下业界的动态，比如去电脑城看看人家怎么

转载▼ 分类： 杂谈经历了这么多的事情，见过了这么多不同种类的人，我一直在想，知识分子心里存在的傲慢与偏见是从哪里来，到哪里去的。现在我也许找到了一些线索。傲慢先说说傲慢产生和消亡的规律吧。1. 当我们懂得很少的时候，我们是不会傲慢的，因为自己根本没有值得傲慢的东西。2. 当我们懂得了一些东西之

转载▼ 分类： 操作系统我想通过这篇文章解释一下我对 Unix 哲学本质的理解。我虽然指出 Unix 的一个设计问题，但目的并不是打击人们对 Unix 的兴趣。虽然 Unix 在基础概念上有一个挺严重的问题，但是经过多年的发展之后，这个问题恐怕已经被各种别的因素所弥补（比如大量的人力）。但是如果开始正视这个问题，我们也许就可以缓慢

转载▼ 分类： 操作系统当我提到一个工具“对用户不友好”(user-unfriendly)的时候，我总是被人“鄙视”。难道这就叫“以其人之道还治其人之身”？想当年有人对我抱怨 Linux 或者 TeX 对用户不友好的时候，我貌似也差不多的态度吧。现在当我指出 TeX 的各种缺点，提出新的解决方案的时候，往往会有美国同学眼角一抬

转载▼ 分类： IDEA结构化的程序比较" title="ydiff: 结构化的程序比较" style="margin:0pt auto; padding:0px; border:0px; list-style:none; color:rgb(0,0,238); display:block">（不耐烦的人：点击【这里】可进入

转载▼ 分类： 程序语言学习程序语言是每个程序员的必经之路。可是这个世界上有太多的程序语言，每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言，而且必须紧跟“潮流”，否则就怕被时代所淘汰。作为一个程序语言的研究者，我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单，永恒不变的原理。看到了

转载▼ 分类： 程序语言很多人问我如何在掌握基本的程序语言技能之后进入“语义学”的学习。现在我就简单介绍一下什么是“语义”，然后推荐一本入门的书。这里我说的“语义”主要是针对程序语言，不过自然语言里的语义，其实本质上也是一样的。一个程序的“语义”通常是由另一个程序决定的，这另一个程序叫做“解释器”(interpre

转载▼ 分类： 研究很多人称自己在研究，却不明白什么是研究。实际上，恰恰是“研究”这个时髦的词汇，导致了今天学术界的堕落，以至于使得真正希望研究的人离它而去。每个领域都有它硕果累累的时期，在那个时期随手抓到一个果实，就可能成为某个重要分支的鼻祖。可惜的是，这种时期却不是常在的。当那些最重要的理论全都被发现之后，一个领域的研究实际上

转载▼ 分类： 杂谈也许有人看见过我批判 Google 的那篇英文文章。它好像有一部分片面性，所以被我从英文博客上拿下来了。我一直在反思自己在 Google 的经历，因为在这个公司工作总是感觉不对劲，但是却总也说不清楚为什么。也许现在用自己的母语，我可以得出一个准确一点的结论吧。受命于危难先说说我的项目是怎么开始的吧。

I have an idea I’ve been holding back for a while because I think it is wrong.  It’s just too general to be true, and the argument that I use for it is, well, a bit abstract, but I think there is so

转载▼标签： 教育分类： 教育1. 你知道些什么Dan Friedman 是 IU 的教授，程序语言界的元老之一，Lisp (Scheme) 语言的主要研究者之一，《The Little Schemer》（前身叫《The Little Lisper》)的作者。他对程序语言有非常深刻的理解。Haskell 所用的 l

转载▼ 分类： 科学每隔一段时间我都有一种当“民科”的冲动。也许是搞计算机太久了吧，觉得自己离“科学”越来越远了。于是几天前，我稀里糊涂找到了 Feynman 的视频讲座。现在推荐一下： http://research.microsoft.com/apps/tools/tuva/ 这 7 个视频是 Feyn

转载▼ 分类： 程序语言卖了好久关子了，说要写一个程序语言理论的入门读物，可是一直没有下笔。终于狠下心来兑现一部分承诺。今天就从解释器讲起吧。解释器是比较深入的内容。虽然我试图从最基本的原理讲起，尽量让这篇文章不依赖于其它的知识，但是这篇教程并不是针对函数式编程的入门，所以我假设你已经学会了最基本的 Scheme 和函数式编程。如

问题之：你是如何成为 Lisp 程序员的？答：我成为 Lisp 程序员的道路曲折而漫长。我曾于 2007 年 10 月 3 日在自己的日记中总结了自己的学习经历，现抄录于此。最早在 2000 年 5 月，斯托曼院士访华时告诉我，Lisp （或者它的现代变种 Scheme）是功能最强大的编程语言，他本人就是一位高级的 Lisp 程序员，他还精通 C，GNU Emacs 就是采用 C

转载▼标签： 程序语言分类： 程序语言介绍一下我的研究方向吧。我的领域叫“程序语言”(programming languages)。世界上只有很少数人真正在做这方面的研究，所以很少有人理解这个专业是干什么的，就连我身边的朋友同学也几乎不知道。但是其实这是一个非常重要的领域。在我看来，它就是计算机科学的精髓所在。程序语言