网站介绍

我的兴趣在于可复合性所适用的领域, 例如逻辑学和编程语言. 我也对于Lisp语族和古典AI抱有特别的兴趣, 特别是其作为表达想法的媒介的方面. 此博客使用SMathML生成, 一个嵌入Racket的用于表达MathML和HTML的DSL, 博客的源代码可供感兴趣的读者借鉴. 另外值得一说的是, 目前对于MathML支持最好的是Gecko内核, 因而最好使用Firefox浏览器阅读此博客.

这个网站上的绝大部分内容都不是我的原创, 即便可以算是原创的内容几乎也完全不是新的, 你总是可以在其他书籍或者材料中找到. 我写下的这些东西主要是为了备忘, 以免我迷失在先验之海当中. 这个网站之中显然包含一些错误, 不论是出于理解问题还是不小心的失误, 也包含一些并不能算得上错但是并无任何价值的一般论, 有的时候我会打磨一些内容, 但是更多时候我就选择撂在那里. 即便如此, 我也已经感到我花了严重过多的时间在无关紧要的事情上. 正如Boltzmann所言, 优雅应该留给裁缝.

这个网站目前被称为愚者, 在某种意义上这个名字来源于塔罗牌, 即大阿尔卡纳的开端或者结束, 象征着混沌未开和奇思异想, 或者浮躁不安. 我想, 这是对于我目前状态的最佳描述. 当然, 这并非唯一贴切的描述, 我认为(失去国度的)国王或者(疲惫的)流浪汉或者(没有魔术的)魔术师或者(潜伏着的)猎人或者(欠缺旅行的)旅者也都不错. 然而, 我的确只能挑选一个, 所以我选择了最喜欢的.