Posts

All the articles I've posted.

• 波纹收缩的年代

  18 Aug, 2026

  重读《乡土中国》有感。

• 家庭的最小构成单位的现象与观察

  25 Jul, 2026

  从乡村与城市做客体验的差异出发，探讨家庭最小构成单位、城市化对家庭关系的重塑，以及父权制的弹性适应。

• Nashell C Compiler Development Note - One

  22 Jul, 2026

  A development blog of NCC project.

• 大二学年总结

  1 Jul, 2026

• 交叉编译

  21 Apr, 2026

  如何在交叉编译不同内核的 Linux 内核模块代码。

• 开启 openKylin 的维护模式

  21 Apr, 2026

  介绍了开启 openKylin 系统的维护模式的两种方法。

• 如何在Vmware中使用openKylin操作系统

  15 Apr, 2026

  介绍了在试用openKylin操作系统时的各种问题的解决方法，引导大家安装并使用openKylin。

• The Cassowary linear arithmetic constraint solving algorithm

  11 Mar, 2026

  简要介绍了 Cassowary 算法的重要概念。

• Lean 4 Introduction-1

  6 Mar, 2026

  简要介绍一下 Lean 4。

• Coq/Rocq Introduction - 2 - Prerequisite knowledge

  5 Mar, 2026

  The prerequisite knowledge before learning Coq/Rocq.