归档

承接第二篇的实数定义，先纯构造定义复数，再介绍 egglog 内置的 i64、Rational、f64、Vec、Set、MultiSet 等类型，以及 function、extract、cost 等特性，并展示如何用它们实现高效复数运算。

研究 SymPy 与类符号计算系统的核心机制：表达式结构、求导与积分规则、化简策略及积分变换的实现方式

承接第一篇的 Peano 自然数，逐步扩展：先引入 Neg 构造器得到整数，再定义有理数为整数对，并展示 rule、:when、relation、birewrite 等 egglog 特性。

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

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

从设计方案与设计范式的宏观角度，系统梳理主流多 Agent 系统构建思路

以 OpenProse 为例，分析当领域专用语言的执行器由大模型充当时，为何会出现「形式确定、执行却不确定」的脱节，以及对多 Agent 与智能体式编程的设计启示。

讨论 object.__eq__ 返回 bool 与里氏替换原则的冲突、返回非 bool 的特定情形（如 NumPy、array-api 规范下的数组），以及 typeshed 与各社区的实践取舍

介绍 PyCapsule 的概念、原理和在 DLPack 中的作用

在开发深度学习框架 Boning 的过程中，我调研并引入了 pytest 及其插件生态。本文介绍 pytest 的核心特性以及我在项目中使用的插件

Welford算法是一种在线计算均值和方差的数值稳定算法，本文从改进点、公式推导、具体实现三个方面详细介绍这一经典算法

许多系统官方只给了 qcow2 镜像的格式，我们需要一些处理才能导入 incus

目前最流行的 AIO 方案是 EXSI 和 PVE，但是其实还有一个更加轻量级的方案，只需要一个普通 Linux 的主机即可

稀疏张量有 COO 和 CSR 两种常见的表示格式，这里用 Python 实现了稀疏张量的转置和求和算子

与 OpenWRT 相比，自建 Linux 网关更加灵活，而且可以使用自己熟悉的任何发行版（以 ArchLinux 为例）

在学习信号与系统等学科时，我们经常会遇到有理分式分解的问题，这里介绍一种有理分式分解的一种快捷方法

按在解答题中的使用风险分类，整理常用的公式定理，供备考时取舍参考