Hello world!

这是我第三次再度搭建 blog 了, 经朋友推荐决定采用 Zola 搭建, 而页面主题则为 serene.

由于之前兴趣点的逐渐改变, 暂别了 PLT 以及编程, 转而投身到数学领域中, 所以就花费了大量的时间用于学习, blog 因此便停更了非常久. 再一个原因是之前写的文章确实是质量上较差, 导致自己都看不下去了, 于是乎现在痛下心来决定将以前的 blog 永远地封印起来了...

而今新的 Blog 将会主要撰写关于 数学 以及 PLT 相关的笔记或文章, 具体包含但不限于：

• 抽象代数
• 代数拓扑
• 范畴论
• 数分分析
• 点集拓扑
• PLT & 形式化验证
• 类型论相关

偶尔也会发发牢骚, 谈谈对这个世界的想法, 尝试让自己变得更有趣些.

就让一切重新开始吧！