Columns

植物系列第八篇：鸢尾。名字来自希腊神话的彩虹女神；一朵花里藏着好几组“3”；机器学习课上最出名的鸢尾花数据集，最初要回答的是一个植物学问题：一个物种是不是由另外两个物种杂交而来。顺带还有法国王室的纹章、尾形光琳的屏风和梵高的画。

Architecture and core mechanisms of Operating Systems.

Deep Learning is to approximate the data distribution by learning the best-fit probability distribution from training data using a neural network. Supervised …

Matrix Elementary Matrix The standard basis of $\mathbb F^n$ is $\{e_i\}_{1\leq i\leq n}$, where $e_i$ is the vector with $1$ in the $i$-th entry and $0$ …

Books I have read or am reading. Math Algebra Xie, Q., et al. (2022). Advanced Algebra (4th Edition). Fudan University Press.

Matrix Elementary Matrix The standard basis of $\mathbb F^n$ is $\{e_i\}_{1\leq i\leq n}$, where $e_i$ is the vector with $1$ in the $i$-th entry and $0$ …

1

从 modeling_siglip2.py 源码出发，完整推导 Siglip2 的 Sigmoid Contrastive Loss。 与 CLIP 的 Softmax CE Loss 逐行对比，解释可学习温度与偏置的设计动机。

回顾 LLM 的结构，转入 VLM 的设计。

对 HuggingFace Transformers 中 Siglip2 测试套件 4 个 .py 文件的逐文件分析。 每文件按 代码片段 -> 功能职责 -> 抽象层级 -> 被引用实例 -> 设计目的 的框架解构。

对 HuggingFace Siglip2 模型实现 modeling_siglip2.py 的完整逐类分析。 覆盖 14 个核心类、200+ 变量/参数，每行关键代码均有功能解释和设计目的说明。 auto-generated from modular_siglip2.py — 这是最终生成的代码，非手动编辑。

Residue theorem, Jordan lemma, Variation of parameters, distribution theory

Mollifier in L^1

回顾 LLM 的结构，转入 VLM 的设计。

以 ASCII 控制流图展示 F:\Pi\packages\coding-agent\src\core\agent-session.ts 中 prompting 系统的完整执行路径，涵盖 prompt()、input 事件链、后处理链、排队系统、认证检查、自定义消息等。

Notes on Chess from a Game Theory perspective.

Euler-Lagrange 方程 $$\dfrac {\mathrm d}{\mathrm dt} \dfrac {\partial L}{\partial \dot q_i} - \dfrac {\partial L}{\partial q_i} = 0.$$ 正则动量 $$p_i = …

Reference: Introduction to Smooth Manifolds by John M. Lee. A topological space $M$ is a topological manifold of dimension $n$ if $M$ is locally Euclidean of …

$W^{m,p}$ 回忆广义函数空间 $\mathcal D(\Omega)$ 上的对偶元素构造。给定任意 $f\in L_{\mathrm{loc}}^1(\Omega)$，存在线性映射 $$T:\mathcal D(\Omega)\to \mathcal D^*(\Omega),\quad …

Pi Agent 包源码逐行解读 本文对 packages/agent/src/ 下的 agent-loop.ts（~700 行）和 agent.ts（~540 行）做逐行级的代码解读，涵盖每个函数的设计意图、类型系统、控制流和错误处理策略。 目录 文件概览 agent-loop.ts 逐行解读 类型与导入 …

1 2 设 $\varepsilon\in (0,1)$，则 $$\begin{darray}{ll}\lim_{n\to\infty}\int^\infty_0\cos x^n\mathrm dx&=\lim_{n\to\infty}\int^\infty_{1}\cos x^n\mathrm …

Problems in Mathematical Analysis 作为注记 71- Abel & Dirichlet Tests Abel 求和 Dirichlet 判别法（级数版本） Abel 判别法（级数版本） （函数列版本） （含参积分版本） 76- pp.76.ex (1) 考虑 $(-1)^n$ 求和有界 …