一个普通的个人博客https://blog.sixbones.dev/https://blog.sixbones.dev/posts/egglog-quickstart-03/https://blog.sixbones.dev/posts/egglog-quickstart-03/承接第二篇的实数定义，先纯构造定义复数，再介绍 egglog 内置的 i64、Rational、f64、Vec、Set、MultiSet 等类型，以及 function、extract、cost 等特性，并展示如何用它们实现高效复数运算。Tue, 17 Feb 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/sympy-survey/https://blog.sixbones.dev/posts/sympy-survey/研究 SymPy 与类符号计算系统的核心机制：表达式结构、求导与积分规则、化简策略及积分变换的实现方式Tue, 17 Feb 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/egglog-quickstart-02/https://blog.sixbones.dev/posts/egglog-quickstart-02/承接第一篇的 Peano 自然数，逐步扩展：先引入 Neg 构造器得到整数，再定义有理数为整数对，并展示 rule、:when、relation、birewrite 等 egglog 特性。Sun, 15 Feb 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/egglog-quickstart-01/https://blog.sixbones.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.sixbones.dev/posts/numpy-random-survey/https://blog.sixbones.dev/posts/numpy-random-survey/梳理 NumPy 1.17 以来的随机数架构：BitGenerator + Generator、各 BitGenerator 算法简介、SeedSequence 与并行流、Legacy RandomState，以及性能与选型建议。Mon, 02 Feb 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/multi-agent-design-paradigms/https://blog.sixbones.dev/posts/multi-agent-design-paradigms/从设计方案与设计范式的宏观角度，系统梳理主流多 Agent 系统构建思路Sun, 25 Jan 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/openprose-case-study/https://blog.sixbones.dev/posts/openprose-case-study/以 OpenProse 为例，分析当领域专用语言的执行器由大模型充当时，为何会出现「形式确定、执行却不确定」的脱节，以及对多 Agent 与智能体式编程的设计启示。Sun, 25 Jan 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/pycapsule-dlpack/https://blog.sixbones.dev/posts/pycapsule-dlpack/介绍 PyCapsule 的概念、原理和在 DLPack 中的作用Sun, 25 Jan 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/eq-type-lsp/https://blog.sixbones.dev/posts/eq-type-lsp/讨论 object.__eq__ 返回 bool 与里氏替换原则的冲突、返回非 bool 的特定情形（如 NumPy、array-api 规范下的数组），以及 typeshed 与各社区的实践取舍Sat, 24 Jan 2026 00:00:00 GMThttps://blog.sixbones.dev/posts/pytest-introduction/https://blog.sixbones.dev/posts/pytest-introduction/在开发深度学习框架 Boning 的过程中，我调研并引入了 pytest 及其插件生态。本文介绍 pytest 的核心特性以及我在项目中使用的插件Sat, 27 Dec 2025 00:00:00 GMThttps://blog.sixbones.dev/posts/rational-decomposition/https://blog.sixbones.dev/posts/rational-decomposition/在学习信号与系统等学科时，我们经常会遇到有理分式分解的问题，这里介绍一种有理分式分解的一种快捷方法Fri, 24 Oct 2025 00:00:00 GMThttps://blog.sixbones.dev/posts/welford-algorithm/https://blog.sixbones.dev/posts/welford-algorithm/Welford算法是一种在线计算均值和方差的数值稳定算法，本文从改进点、公式推导、具体实现三个方面详细介绍这一经典算法Fri, 24 Oct 2025 00:00:00 GMThttps://blog.sixbones.dev/posts/incus-qcow2/https://blog.sixbones.dev/posts/incus-qcow2/许多系统官方只给了 qcow2 镜像的格式，我们需要一些处理才能导入 incusThu, 07 Nov 2024 00:00:00 GMThttps://blog.sixbones.dev/posts/all-in-one/https://blog.sixbones.dev/posts/all-in-one/目前最流行的 AIO 方案是 EXSI 和 PVE，但是其实还有一个更加轻量级的方案，只需要一个普通 Linux 的主机即可Tue, 05 Nov 2024 00:00:00 GMThttps://blog.sixbones.dev/posts/linux-gateway/https://blog.sixbones.dev/posts/linux-gateway/与 OpenWRT 相比，自建 Linux 网关更加灵活，而且可以使用自己熟悉的任何发行版（以 ArchLinux 为例）Fri, 04 Oct 2024 00:00:00 GMThttps://blog.sixbones.dev/posts/sparse-tensor/https://blog.sixbones.dev/posts/sparse-tensor/稀疏张量有 COO 和 CSR 两种常见的表示格式，这里用 Python 实现了稀疏张量的转置和求和算子Sat, 31 Aug 2024 00:00:00 GMThttps://blog.sixbones.dev/posts/gaokao-math-formulas/https://blog.sixbones.dev/posts/gaokao-math-formulas/按在解答题中的使用风险分类，整理常用的公式定理，供备考时取舍参考Sun, 08 Apr 2018 00:00:00 GMT