lang-zh 19
- 软件工程形式化入门（历史篇）：从“什么是计算”到“如何相信程序”
- 软件工程形式化入门（六）：AI 写完代码，谁来验收？大模型与形式化方法的边界
- 软件工程形式化入门（五）：准确、快速，还是可靠？静态分析的工程取舍
- 软件工程形式化入门（四）：分析器为什么会停下来？从 Transfer Function 到不动点
- 软件工程形式化入门（三）：不用记住每个值——从具体状态走向抽象解释
- 软件工程形式化入门（二）：程序会走到哪里？从代码、CFG 到程序语义
- 软件工程形式化入门（一）：别怕公式——从集合、映射读懂程序状态
- 软件工程形式化入门系列
- 类型化 Lambda 演算的指称语义：五篇文章的进阶路线
- 程序语言基础：从语法、语义到命令式程序的阅读地图
- 随机算法：从概率直觉到经典方法的阅读地图
- 科研写作：从研究问题到论文修改的三步路线
- 从源码理解 Selenium
- VScode 常用快捷键
- Deepin 开发环境配置
- Linux 设置双屏幕
- Linux 无线网络断开的解决方案
- Linux 搜狗词库教程
- Deepin 初上手攻略