我的兴趣是可复合性 (抽象和组合) 所适用的领域, 例如编程语言和逻辑学. 我也对于古典人工智能和Lisp编程语言抱有特别的兴趣, 特别是其作为表达思想的媒介的方面.
重要提示: 你应该使用Firefox浏览器阅读此网站, 因为Chrome等其他浏览器对于我所使用的MathML支持很差. 若你是Android用户, 那么请使用移动版Firefox浏览器, 并打开"桌面版网站".
此博客使用SMathML生成, 一个嵌入Racket的用于表达MathML和HTML的DSL. 博客的源代码在此, 可供感兴趣的读者借鉴.
修改日期: Fri, 12 Apr 2024 18:24:12 +0800
My interests lie in those areas to which composability (that is, combination and abstraction) applies, such as programming languages and logic. I am also interested in classical artificial intelligence and the Lisp family of programming languages, especially their potential as a general interface for communication of ideas.
Tips. You should read the blog with Firefox instead of Chrome since Chrome and many other browsers have poor support for MathML which I use heavily for this website. If you are an Android user, please use the mobile version of Firefox, and open the "Desktop site".
This blog is generated by SMathML, a DSL embedded in Racket for expressing MathML and also HTML. Here is the source code of this blog for the interested readers.
Last Modified Date: Fri, 12 Apr 2024 18:24:12 +0800