文章

已经发布的所有文章。

• Egglog 快速入门（一）：用等价饱和定义自然数运算

  发布于2026年2月13日

  以 Peano 自然数的加法与乘法为例，介绍 egglog 语言：datatype、constructor、rewrite、check、run-schedule 与 saturate，以及 egg 与 egglog 的关系。

• E-graphs 学习笔记：动机与 Explanations

  更新于2026年2月12日

  传统 Term Rewriting 的局限如何引出 E-graph；volvox 实战困境；egg 的 explain_equivalence、FlatExplanation 与 TreeExplanation，以及如何读懂除法化简的证明序列。

• Volvox 深度学习框架中的元胞（Cell）概念与节点融合设计

  发布于2026年2月8日

  在已有 Node 与 NodeVisitor 的基础上，把「融合」抽象为 Cell：Cell 的逻辑形态、串行同类节点如何融合，以及融合终止条件。

• 在 PyO3 里优雅地使用 `#[pyclass]` enum

  发布于2026年2月5日

  梳理 PyO3 中 `#[pyclass]` enum 的两种形态（简单枚举与复杂枚举）、在 Python 侧的行为，以及官方文档中特别提醒的 `Py::new` / `.into_pyobject()` 行为差异坑。

• NumPy 随机数生成机制调研

  发布于2026年2月2日

  梳理 NumPy 1.17 以来的随机数架构：BitGenerator + Generator、各 BitGenerator 算法简介、SeedSequence 与并行流、Legacy RandomState，以及性能与选型建议。