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

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

图像转 RGB565 的纯前端工具

欲练PLT神功，必先学好数学，而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录 基于 CTL 的 Model Checker 算法

欲练PLT神功，必先学好数学，而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录数理逻辑中 时序逻辑 相关概念的定义

最近由于有同学要用到，我也跟着学了一下 Lean，之前也看过一点 coq （不过讲真的语法丑拒，虽然 Lean 也丑），所以说到底这类定理证明辅助软件背后的数学原理是怎么样的呢？

midi 文件转蜂鸣器乐谱工具

在我的教育经历里面就没有交流电这回事，但是这个东西其实非常重要，真不知道我受的是什么教育……

电阻阻值为什么这么奇怪，以及配出你要的阻值的工具

MySQL 8.0.3 引入了 LDSF 事务调度算法，这是一种竞争感知调度算法，本文结合原论文介绍了这个算法。