第一次体验 Linux From Scratch (LFS)
Linux From Scratch (LFS) 是一个以手册的形式存在的 Linux 发行版，它提供了一组软件包（源码）供用户下载，按照手册中的指令一步步操作，就可以获得一个自己编译出来的 Linux 系统。 本文记录了作者在自己动手的过程中遇到的问题和解决方法。
2023 年踩过的那些坑
WSL
磁盘访问十分缓慢
把项目放在 WSL 自己的文件系统里。
进行大规模编译时无响应
结合 GitHub 上的讨论，初步判断是内存不足导致的问题。 根据官方文档上给出的方法调低了分配给 WSL 的处理器核数量，间接降低了并行编译时占用的内存，从而避免了因为内存占用过高导致的 WSL 无响应问题。
基于 Yosys 的形式化验证入门
Git Subtree 简单使用
不那么好用的 Git 子模块 (submodule)
在 Pro Git 这本书中，子模块的功能被概括为：
“子模块允许你将一个 Git 仓库作为另一个 Git 仓库的子目录。它能让你将另一个仓库克隆到自己的项目中，同时还保持提交的独立。”