写一点对自己有用的笔记。https://blog.zrr.dev/https://blog.zrr.dev/posts/rust-parsers-landscape/https://blog.zrr.dev/posts/rust-parsers-landscape/对比 Chumsky 与 Pest 的设计理念与使用体验，并盘点 Rust 生态中常见的解析方案，帮助你为自己的语言、DSL 或工具链做出选型。Mon, 23 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/egglog-quickstart-03/https://blog.zrr.dev/posts/egglog-quickstart-03/承接第二篇的实数定义，先纯构造定义复数，再介绍 egglog 内置的 i64、Rational、f64、Vec、Set、MultiSet 等类型，以及 function、extract、cost 等特性，并展示如何用它们实现高效复数运算。Tue, 17 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/sympy-survey/https://blog.zrr.dev/posts/sympy-survey/研究 SymPy 与类符号计算系统的核心机制：表达式结构、求导与积分规则、化简策略及积分变换的实现方式Tue, 17 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/egglog-quickstart-02/https://blog.zrr.dev/posts/egglog-quickstart-02/承接第一篇的 Peano 自然数，逐步扩展：先引入 Neg 构造器得到整数，再定义有理数为整数对，并展示 rule、:when、relation、birewrite 等 egglog 特性。Sun, 15 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/egglog-quickstart-01/https://blog.zrr.dev/posts/egglog-quickstart-01/以 Peano 自然数的加法与乘法为例，介绍 egglog 语言：datatype、constructor、rewrite、check、run-schedule 与 saturate，以及 egg 与 egglog 的关系。Fri, 13 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/e-graphs/https://blog.zrr.dev/posts/e-graphs/传统 Term Rewriting 的局限如何引出 E-graph；volvox 实战困境；egg 的 explain_equivalence、FlatExplanation 与 TreeExplanation，以及如何读懂除法化简的证明序列。Thu, 12 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/volvox-cell-fusion/https://blog.zrr.dev/posts/volvox-cell-fusion/在已有 Node 与 NodeVisitor 的基础上，把「融合」抽象为 Cell：Cell 的逻辑形态、串行同类节点如何融合，以及融合终止条件。Sun, 08 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/pyo3-pyclass-enums/https://blog.zrr.dev/posts/pyo3-pyclass-enums/梳理 PyO3 中 `#[pyclass]` enum 的两种形态（简单枚举与复杂枚举）、在 Python 侧的行为，以及官方文档中特别提醒的 `Py::new` / `.into_pyobject()` 行为差异坑。Thu, 05 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/numpy-random-survey/https://blog.zrr.dev/posts/numpy-random-survey/梳理 NumPy 1.17 以来的随机数架构：BitGenerator + Generator、各 BitGenerator 算法简介、SeedSequence 与并行流、Legacy RandomState，以及性能与选型建议。Mon, 02 Feb 2026 00:00:00 GMThttps://blog.zrr.dev/posts/zensical-introduction/https://blog.zrr.dev/posts/zensical-introduction/Zensical 由 Material for MkDocs 的原班团队打造，用 Rust 与 Python 重构文档工具链。本文介绍其安装、配置、双主题与从 MkDocs 的平滑迁移。Tue, 27 Jan 2026 00:00:00 GMThttps://blog.zrr.dev/posts/multi-agent-design-paradigms/https://blog.zrr.dev/posts/multi-agent-design-paradigms/从设计方案与设计范式的宏观角度，系统梳理主流多 Agent 系统构建思路Sun, 25 Jan 2026 00:00:00 GMThttps://blog.zrr.dev/posts/openprose-case-study/https://blog.zrr.dev/posts/openprose-case-study/以 OpenProse 为例，分析当领域专用语言的执行器由大模型充当时，为何会出现「形式确定、执行却不确定」的脱节，以及对多 Agent 与智能体式编程的设计启示。Sun, 25 Jan 2026 00:00:00 GMThttps://blog.zrr.dev/posts/precision-alignment-agent/https://blog.zrr.dev/posts/precision-alignment-agent/基于 precision-alignment.prose 的 Paddle 与 PyTorch 精度对齐智能分析系统流程图Sun, 25 Jan 2026 00:00:00 GMThttps://blog.zrr.dev/posts/pycapsule-dlpack/https://blog.zrr.dev/posts/pycapsule-dlpack/介绍 PyCapsule 的概念、原理和在 DLPack 中的作用Sun, 25 Jan 2026 00:00:00 GMThttps://blog.zrr.dev/posts/eq-type-lsp/https://blog.zrr.dev/posts/eq-type-lsp/讨论 object.__eq__ 返回 bool 与里氏替换原则的冲突、返回非 bool 的特定情形（如 NumPy、array-api 规范下的数组），以及 typeshed 与各社区的实践取舍Sat, 24 Jan 2026 00:00:00 GMThttps://blog.zrr.dev/posts/pytest-introduction/https://blog.zrr.dev/posts/pytest-introduction/在开发深度学习框架 Boning 的过程中，我调研并引入了 pytest 及其插件生态。本文介绍 pytest 的核心特性以及我在项目中使用的插件Sat, 27 Dec 2025 00:00:00 GMThttps://blog.zrr.dev/posts/rational-decomposition/https://blog.zrr.dev/posts/rational-decomposition/在学习信号与系统等学科时，我们经常会遇到有理分式分解的问题，这里介绍一种有理分式分解的一种快捷方法Fri, 24 Oct 2025 00:00:00 GMThttps://blog.zrr.dev/posts/welford-algorithm/https://blog.zrr.dev/posts/welford-algorithm/Welford算法是一种在线计算均值和方差的数值稳定算法，本文从改进点、公式推导、具体实现三个方面详细介绍这一经典算法Fri, 24 Oct 2025 00:00:00 GMThttps://blog.zrr.dev/posts/rathole/https://blog.zrr.dev/posts/rathole/租用一个带有公网的高性能服务器成本过高，所以通常许多个人服务会部署在内网的个人电脑上，然后通过内网穿透暴露到公网Sat, 30 Aug 2025 00:00:00 GMThttps://blog.zrr.dev/posts/services/https://blog.zrr.dev/posts/services/Mon, 25 Aug 2025 00:00:00 GMThttps://blog.zrr.dev/posts/zrr-docker/https://blog.zrr.dev/posts/zrr-docker/有些情况下，公开的 Docker 镜像并不满足需求，所以需要自己搭建一些Mon, 25 Aug 2025 00:00:00 GMThttps://blog.zrr.dev/posts/backup/https://blog.zrr.dev/posts/backup/备份与恢复Fri, 15 Aug 2025 00:00:00 GMThttps://blog.zrr.dev/posts/rime/https://blog.zrr.dev/posts/rime/换了 iPhone 之后，终于受不了苹果的输入法了，所以准备彻底的研究一下开源的 Rime 输入法Fri, 15 Aug 2025 00:00:00 GMThttps://blog.zrr.dev/posts/incus-qcow2/https://blog.zrr.dev/posts/incus-qcow2/许多系统官方只给了 qcow2 镜像的格式，我们需要一些处理才能导入 incusThu, 07 Nov 2024 00:00:00 GMThttps://blog.zrr.dev/posts/all-in-one/https://blog.zrr.dev/posts/all-in-one/目前最流行的 AIO 方案是 EXSI 和 PVE，但是其实还有一个更加轻量级的方案，只需要一个普通 Linux 的主机即可Tue, 05 Nov 2024 00:00:00 GMThttps://blog.zrr.dev/posts/linux-gateway/https://blog.zrr.dev/posts/linux-gateway/与 OpenWRT 相比，自建 Linux 网关更加灵活，而且可以使用自己熟悉的任何发行版（以 ArchLinux 为例）Fri, 04 Oct 2024 00:00:00 GMThttps://blog.zrr.dev/posts/sparse-tensor/https://blog.zrr.dev/posts/sparse-tensor/稀疏张量有 COO 和 CSR 两种常见的表示格式，这里用 Python 实现了稀疏张量的转置和求和算子Sat, 31 Aug 2024 00:00:00 GMThttps://blog.zrr.dev/posts/gaokao-math-formulas/https://blog.zrr.dev/posts/gaokao-math-formulas/按在解答题中的使用风险分类，整理常用的公式定理，供备考时取舍参考Sun, 08 Apr 2018 00:00:00 GMT