我要读《数理逻辑--证明及其限度》。写下这篇文章的时候我还在看龙骨，想不到我自己可以同时开两本书的阅读。契机就是看到了lean语言，读到了一些科普读物。尝试要在图书馆借一本书，不过，最终借到的教材不太好，最终选择了买二手书。 ……

非常有幸的利用假期时间阅读《Category Theory for Programers》，并且非常幸运的找到了一个非常棒的中文翻译，虽然只有第一部分,但是依然让我有了非常好的切入视角。看完了（第一部分）第一遍之后，我找到了原作者的视频，并尝试看翻译的第二遍，为了加深学习并做好记录，也许在不久的将来，我可以更加深入的理解Monad，并且可以写出更好的程序。也借用这里好好地记录整理一下相关链接。 ……

说是“最近”看了三本书，其实最早的一本也许就是两年前买的，最近看完了而已。其中《Rust程序设计》确实是内容有点点多，应了那句话“rust一点也不难，我学了好多次了”。 ……

其实可以写的东西还是挺多的，不过一直没有动力，好多有待更新的内容，比如每篇文章的日期格式，以及自定义一下博客的图片。 ……

《空之境界》是一部由奈须蘑菇创作，ufotable制作的动画系列。本文将分享我对这部作品的观后感和一些个人见解。 ……