集合论基础
2025-03-08->
2025-03-14
陶哲轩《实分析》中第三章和第八章笔记的整理，如何用精巧的语言编造出‘收纳天地的乾坤袋’
生成式 AI 模型的排位算法
2025-02-15->
2025-03-05
如何基于两两对战的局部结果给每位选手估算出一个全局分
努力和运气哪个更重要？
2024-11-30->
2024-11-30
如何用 python 代码对古语‘尽人事,听天命’建模
罗素《关于因果的概念》中英对照
2024-09-23->
2024-10-05
罗素否定了因果关系概念在哲学和科学中存在的必要性，认为它只是走向更精确的以微分方程来描述科学理论过程中的一个过渡概念，
文中他用非常典型的逻辑实证主义的思维和方法剖析了因果关系，认为即便因果关系存在，它也并不是一种必然性关系，而是通过经验归纳的或然性的概率关系，以此重新定义了因果关系 ...
以函数为中心：lambda 演算和组合子逻辑
2024-07-28->
2024-09-11
为什么能用函数编码一切？为什么 lambda 演算理论上等价于图灵机以及等价于现代计算机，组合子逻辑和世界运行的普遍规律有什么关系?
如何实现一个以字符串替换为核心的具有通用功能（图灵完备）解释器？
web 前端和 javascript 札记
2024-06-29->
2024-08-01
图灵机上的编程语言、解释器和应用
2024-05-30->
2024-07-16
如何捕捉实数
2024-04-30->
2025-03-16
概率论基础中的极限定理
2024-03-28->
2024-09-06
矩阵分解视角下的线性代数
2024-02-29->
2024-04-14
个人 emacs 核心配置
2024-01-22->
2025-03-26
如果想完全定制化自己的本地知识管理工具(second brain)，可以考虑本文介绍的 EOP: 面向 ego(evil,gtd,org) 的 elisp 编程，但也要警惕过于 ego 了
Trie 树
2024-01-20->
2024-01-20
递归⤵动态规划⤴和语言 parsing🌲
2024-01-07->
2024-07-23
i3wm: 无关生产力，且远不止窗口管理
2023-12-30->
2025-03-31
提高生产力是一个吸引人的关键词，但如果定制 i3wm 这种个人交互桌面系统和生产力无关呢？
数理逻辑及其 python 实现
2023-10-30->
2025-02-02
深度学习与中文输入法
2023-10-26->
2024-08-10
AI 实验中的 python 工程实践
2023-09-11->
2024-10-15
既然对 org 热衷到要把一系列 org 文件导出成一个网页的地步，不妨再前进一步，把那些要导出的文件以及对它们导出的设置选项都用一个 org 文件来管理。就像用一个 org 文件管理所有 emacs 的 init.el 配置一样，orgchange 提供了类似的选择
人工智能中的大观念
2023-07-07->
2024-08-16
整理汇总一些有趣的、带启发性的、飘渺的以及可能错误的关于人工智能、 AGI 的观点，概念滥用的重灾区
AI 对话集：因果推理和大语言模型
2023-07-04->
2023-10-28
概率论中的基础概念
2023-06-27->
2024-04-21
《The little schemer》 涂鸦🎨
2023-06-03->
2024-08-05
AI 对话集：逻辑推理并非因果推理
2023-05-19->
2023-07-11
ubuntu 使用备忘
2022-12-24->
2025-02-06
如果时常把 ubuntu 作为日常桌面端操作系统来使用，也许本文对你有点价值
中文语言服务的畅想和基础实现
2022-09-06->
2023-03-29
用 FZF 作为窗口切换工具
2022-07-20->
2023-12-07
org roam 风格的系统 config 管理
2021-11-02->
2024-02-03
用 python matplotlib 画递归图
2021-11-02->
2025-03-24