2019年6月读书总结

《矛盾论》、《基地三部曲》、《怎样学习文言文》、《儒家史话》、《帛书史话》

无类型λ演算的语法与语义

这篇文章描述了无类型的λ演算系统的语法和操作语义。

寄怀

闲赋闺怨诗一首

观刀说异数上阕有感

刀说异数第一季已于上星期圆满结束。这篇文章只是一些观后感，非是剧评。

杂诗一首

作于2019年5月20日，为520、贸易战、GPA改革而作

snapd无法加载apparmor配置解决方法

据称这是snap的一个老问题，因为无法自动加载apparmor配置而导致的重启后应用全部失效问题。

在五四运动一百年的这一天的自我批判

没有批判，只有自我批判。写在这个特殊的日子里，或许只是想消解自己的内心罪恶感而已。

死不回头

郁结的诗行

战城南：诛星之行

尝试着写的第一篇同人武侠。不要误会，和通常的同人文不太一样，这篇主要是补充一些我臆想的江湖设定而已。