六个骨头的博客

精选文章

• PyCapsule：Python 与其他语言之间的指针传递桥梁

  更新于 2026年1月25日

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

最近发布

• Egglog 快速入门（三）：复数定义与内置类型

  发布于 2026年2月17日

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

• SymPy 符号计算能力调研

  更新于 2026年2月17日

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

• Egglog 快速入门（二）：从自然数到整数、有理数与实数

  发布于 2026年2月15日

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

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

  发布于 2026年2月13日

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