Archives
All the articles I've archived.
2026 8
June 1
April 3
-
交叉编译
如何在交叉编译不同内核的 Linux 内核模块代码。
-
开启 openKylin 的维护模式
介绍了开启 openKylin 系统的维护模式的两种方法。
-
如何在Vmware中使用openKylin操作系统
介绍了在试用openKylin操作系统时的各种问题的解决方法，引导大家安装并使用openKylin。
March 4
-
The Cassowary linear arithmetic constraint solving algorithm
简要介绍了 Cassowary 算法的重要概念。
-
Lean 4 Introduction-1
简要介绍一下 Lean 4。
-
Coq/Rocq Introduction - 2 - Prerequisite knowledge
The prerequisite knowledge before learning Coq/Rocq.
-
Coq/Rocq Introduction - 1 - Installing
Brief introduction to the world of Coq/Rocq Prover.