自动机与程序分析
SMTSolver与程序合成
SMTSolver与程序合成。如何合成命令式语言？
FFmpeg+Santinizer编译时的奇怪问题
FFmpeg+Santinizer编译时的奇怪问题，不得不感叹软件世界的复杂性，总是会有奇奇怪怪的问题，还好有开源，不然都无法debug。
计算机专业入门应该做什么
仔细回顾我这些年，也有很多做得不够好的地方。希望有一些经验能帮到其他人。我觉得开始应该多接触一些操作系统，计算机组成原理，编译原理的知识，把整个计算机学科的基础打好。
Maven使用本地JAR文件
Maven，如果想要修改底层依赖的库，先clone下来修改构建，然后使用本地JAR文件。StackOverflow的高票回答里有一些坑。记录一下。
X11转发-从docker到WSL
X11转发-从docker到WSL
Docker与UFW防火墙共存
Docker与UFW防火墙共存
SSA-for-decompilation读后感
SSA-for-decompilation 读后感。反编译这一块不是很成体系。在这里整理一下。