7 posts in total
2024
在Java 8里面实现了简单的「模式匹配」
2023
假如设计一个mc的mod……（从计算机学生的角度考虑大致的流程）
2022
小结和之后打算做的一些事情
换了一个主题
2021
重新开坑coq兼复盘之前的三个未解之谜
重新部署Hexo的踩坑记
于是又开了个blog