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

web 前端和 javascript 札记 2024-06-29-> 2024-08-01

图灵机上的编程语言、解释器和应用 2024-05-30-> 2024-07-16

数的定义的三种视角 2024-04-30-> 2024-07-16

概率论基础中的极限定理 2024-03-28-> 2024-09-10

矩阵分解视角下的线性代数 2024-02-29-> 2024-04-14

个人 emacs 核心配置 2024-01-22-> 2024-08-29

Trie 树 2024-01-20-> 2024-01-20

递归⤵动态规划⤴和语言 parsing🌲 2024-01-07-> 2024-07-23

i3wm: 无关生产力，且远不止窗口管理 2023-12-30-> 2024-07-19

理解 transformers 库 GPT2 的 BBPE 分词算法 2023-11-30-> 2024-07-21

数理逻辑及其 python 实现 2023-10-30-> 2024-06-24

深度学习与中文输入法 2023-10-26-> 2024-08-10

AI 实验中的 python 工程实践 2023-09-11-> 2024-06-08

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

理解 huggingface transformers 中 GPT2 模型 2023-08-06-> 2023-12-16

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

AI 对话集：因果推理和大语言模型 2023-07-04-> 2023-10-28

概率论中的基础概念 2023-06-27-> 2024-04-21

《The little schemer》 涂鸦🎨 2023-06-03-> 2024-08-05

从 x(x) 到 Y：用 python 构建和理解 Y combinator 2023-05-29-> 2024-08-05

AI 对话集：逻辑推理并非因果推理 2023-05-19-> 2023-07-11

ubuntu 使用备忘 2022-12-24-> 2024-09-13

中文语言服务的畅想和基础实现 2022-09-06-> 2023-03-29

org-imagine: 在 org-mode 中想象 2022-08-24-> 2024-07-19

用 FZF 作为窗口切换工具 2022-07-20-> 2023-12-07

org roam 风格的系统 config 管理 2021-11-02-> 2024-02-03

用 python matplotlib 画分形图 2021-11-02-> 2023-09-25