Archives
All the articles I've archived.
2026 11
August 1
-
波纹收缩的年代
重读《乡土中国》有感。
July 2
-
家庭的最小构成单位的现象与观察
从乡村与城市做客体验的差异出发，探讨家庭最小构成单位、城市化对家庭关系的重塑，以及父权制的弹性适应。
-
Nashell C Compiler Development Note - One
A development blog of NCC project.
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.