罗素《关于因果的概念》中英对照
2024-09-23-> 2024-10-05

罗素否定了因果关系概念在哲学和科学中存在的必要性,认为它只是走向更精确的以微分方程来描述科学理论过程中的一个过渡概念, 文中他用非常典型的逻辑实证主义的思维和方法剖析了因果关系,认为即便因果关系存在,它也并不是一种必然性关系,而是通过经验归纳的或然性的概率关系,以此重新定义了因果关系 ...

以函数为中心:lambda 演算和组合子逻辑
2024-07-28-> 2024-09-11

为什么能用函数编码一切?为什么 lambda 演算理论上等价于图灵机以及等价于现代计算机,组合子逻辑和世界运行的普遍规律有什么关系? 如何实现一个以字符串替换为核心的具有通用功能(图灵完备)解释器?

个人 emacs 核心配置
2024-01-22-> 2024-10-18

如果想完全定制化自己的本地知识管理工具(second brain),可以考虑本文介绍的 EOP: 面向 ego(evil,gtd,org) 的 elisp 编程,但也要警惕过于 ego 了

orgchange: 文学编程式 org 文件静态网页生成器
2023-08-19-> 2024-10-22

既然对 org 热衷到要把一系列 org 文件导出成一个网页的地步,不妨再前进一步,把那些要导出的文件以及对它们导出的设置选项都用一个 org 文件来管理。就像用一个 org 文件管理所有 emacs 的 init.el 配置一样,orgchange 提供了类似的选择

人工智能中的大观念
2023-07-07-> 2024-08-16

整理汇总一些有趣的、带启发性的、飘渺的以及可能错误的关于人工智能、 AGI 的观点,概念滥用的重灾区

ubuntu 使用备忘
2022-12-24-> 2025-01-13

如果时常把 ubuntu 作为日常桌面端操作系统来使用,也许本文对你有点价值