当我生活在一条多项式曲线 $P(t)$ 构造的空间里，要让我感受到这个空间是弯曲的，需要给我一个测量工具，让我能够测量这个空间里任意两个 $t$ 值 $t_a$ 与 $t_b$ 对应的两个点 $P_a$、$P_b$ 之间的距离，即 $d(P_a, P_b)$。为了便于描述，我给 $t$ 取了个名字，叫时间。

事实上，zero 的生死，对这个世界没有任何影响。尽管从理论上说，我是它唯一的用户，但是它的死对我也没有任何影响。因为在它死去之后，orez 就诞生了。不过，orez 的生，对这个世界继续不会有什么影响。

以前虽然知道有这么个工具，但是一直没想到要用。今天在删除我的 Gentoo 系统的 /usr/src 目录下的旧版本的内核源码目录时用了一次，很好用。

B：不可以，除非不在意自己的 C 程序在性能上输给 C++ 模板程序。如果这种密集型的运算过程仅仅是对某些数据类型有所依赖，此时可以用宏进行抽象。

foo 所接受的两个参数 x 与 y 分别是指向两个点对象的指针。为了追求通用性，foo 这个函数努力成为一个不依赖具体数据类型的「泛型」函数。也就是说，现在我们并不知道 x 与 y 所指向的点对象究竟有着怎样的数据结构。也许它们的数据结构是：

本文介绍了有助于提高 C 代码复用程度的一些基本抽象手段。原本是写给组里初学 C 的的小伙伴们看的…… C 程序是什么 A：程序是什么？ B：程序 = 算法 + 数据结构。 A：算法是什么？ B：是一个函数，$Y = f(X, t)$。这个函数描述的是一组初始状态 $X$ 如何随着时间 $t$...

我不会画画。我的一个朋友遭遇短期囹圄之灾后，一直闭门在家画画……不过，没遭此灾时，他也是一直闭门在家画画。他最近在学 3D MAX。我说，可以学 povray 阿，他说这玩意能画 18X 吗……

搁小十年前，我很穷的时候，它对我来说是高端本，只有在网上看看的份。非常不幸，小十年后，我依然很穷，所以 550+ RMB 买了个杂凑的，翻新的……网店老板给它预装了雨林木风 Win XP。

文档是重要的，没有文档，单凭代码中那些经常很蹩脚的变量名与函数名，往往很难理解一段代码的功能及用途。$y=ax^2$ 是抛物线吧？那 $E=mc^2$ 是什么？编程虽然也像数学那样依赖于符号，但它更像是物理学。

zero 是一个文式编程工具。它有两种工作模式，一种模式叫 day，另一种模式叫 night。这两种模式读取相同的文本，输出不同的内容——前者输出面向排版的源文档，后者输出程序源码。

续延传递（Continuation Passing Style, CPS）是一种编程手法，不要相信我能够将它讲清楚——在敲这些字的时候，我刚刚开始看《The Little Schemer》的第八章的 multirember&co 这个函数的定义，而且是因为看不懂，所以才写此文。

Guile 是一种 Scheme 方言的编译器，我们将这种 Scheme 方言也称为 Guile。Guile 是为增强 GNU 项目的扩展性而开发的。GNU 项目开发者可以将 Guile 解释器嵌入自己的程序中，从而使得自己的程序能够支持脚本扩展。本文取材于 Guile 官方的一篇教程，讲述一个具有绘图...

不需要有太多的数学知识，高中数学就足够了。很多人说算法需要数学知识，可能他们把高中数学都忘的差不多了。 在你打算要用算法解决某些数学问题的时候，例如对函数求导，求积分，解线性方程之类，才需要更多的数学知识，像线性代数、插值和逼近理论……

你用着 Emacs 却不懂 Lisp 吧？欢迎阅读这篇 Emacs Lisp 入门教程！它应该能够助你搞定 Emacs Lisp，从而更加自如的驾驭 Emacs。

几年前，王垠写了一篇批判文式编程的文章『On literate programming』([链接] )。他在 2014 年写的一篇文章『我和权威的故事』([链接] ) 中还是坚持着原有的观点。

原文见 [链接] -> 上一篇：《函子性》 译注：由于距离上一章翻译的时间太久，所以有些内容可能有点不太相符。等我翻译完下一篇，再找时间校对一下。 到现在为止，我已多次语焉不详的提到函数类型。函数类型有别于其他类型。 以 Integer 为例，它是整数的集合。Boo...

所谓文式编程，是将程序文档与程序源码统一于某种元文档。由该元文档，可以提取所需的程序源码，也可以将其转换为某种排版语言。例如，目前流传度最广的文式编程工具 WEB（Donald Knuth 开发的，后来演变为 CWEB）。WEB 元文档中包含着了 TeX 排版命令与 Pascal 代码...

这种问题没有对错，有规范按规范，没规范按约定，自己的项目按自己爽的方式来就好。

Nikola 支持多种标记语言，我只用过 RST 与 Markdown。RST 用起来要比 Markdown 繁琐一些，但它的标记也更丰富一些，譬如 RST 提供了产生文章目录的标记（Table of Contents, TOC），而 Markdown 没有这一标记。不过，由于 Markdown 支持 HTML 的直接嵌入，它所缺乏...

我见过很多人抱怨 GNU Autotools 太复杂。事实上它比求解一元二次方程简单多了。学习 GNU Autotools，最好的办法就是动手搭建一个项目，然后根据自己的需求去查 GNU Autotools 的文档与教程，整个过程只是很简单的『加法』运算。