介绍分离逻辑解决了 Hoare Logic 的什么问题，并介绍分离逻辑相关的概念与证明规则

本文讲解了 Büchi 自动机、 ω-正规语言 和 ω-正则表达式 的概念和 Büchi 自动机 与 ω-正则表达式 之间的互相转换算法。

本文讲解了下推自动机的概念。

整理一个 HoTT 的 Outline，注重易于理解而非严密性。

本文介绍了贝叶斯模型的 overfitting 和 underfitting，以及如何评估、防止 overfitting。

本文介绍了最基本的贝叶斯模型是如何学习的。

本文介绍了贝叶斯因果推理中常用的工具——因果关系图。

操作语义是形式语言学中最重要的分支，本文对其进行简单介绍，并给出 用 Agda 描述一个简单“数学表达式”语言的形式语义 的例子。

以前我受到 AI 那堆东西的蒙蔽，以为概率论那一套搞不了因果关系。现在意外地发现了贝叶斯因果推理这么一个东西。本文介绍了贝叶斯因果推理中涉及到的基本概念。

图像转 RGB565 的纯前端工具