其实只是平凡的一天。
读完了《红花集》《重返暗夜》《马可瓦尔多》，这三本书中以中间那本最好，其他两本有点小童话的意思。
近来学得最多的恐怕是计算机，偶然发现了南京大学王慧妍老师于哔哩哔哩发布的教学视频，讲得真有意思，比学校好多了（而且她也很美🤤）！同时还发现了另外一些资源：
目前学到指针的基本概念，当然，我不像科班学生，我没做过题。目前想了解的仍然是
make 之类的命令怎么用，不过 C 语言本身也还算有意思。
对 GNU/Linux 的了解也进一步加深，至少知道怎么在
fish
里定义函数了（如果不出以外的话，这篇文章应该是由我定义的
post 函数生成的）。
数学方面，还算有进步！最主要的成果是开始记笔记了！高中从来不记笔记（除了古文识字笔记以外），这个恶习很不幸我还没改过来，上大学很久了，自己学的东西也越来越多：拓扑、代数等等，看完以为自己懂了，其实还没有……前几日偶然想起陈谊廷的巨型文档 An Infinitely Large Napkin，其中有这样一段话
You are not God. You cannot keep everything in your head. If you’ve printed out a hard copy, then write in the margins. If you’re trying to save paper, grab a notebook or something along with the ride. Somehow, some way, make sure you can write. Thanks.
很对，很有道理，实在是太对了，于是我逐渐开始记笔记，目前先从拓扑欠下的债开始还，其实读着读着慢慢就厘清了从前没搞懂的东西，譬如说 Baire 纲定理、完备化等等（我希望你再读的时候没有忘记😢），不过这可能也与我“成熟度”上来了有关。
今早在高等代数习题课上读完了 Warning Signs of a Possible Collapse of Contemporary Mathematics，老爷子文章实在是精彩，开头那一段震撼人心，我对英语的理解可能又加深了，但是他的数学观点还挺令我感到费解的，他的主要论点看起来似乎是归纳法有毛病，为此他故意模糊地规定了可数的数、可加的数、可乘的数，最后发现如是定义的“可幂的数”不保持后继性，然后发出警告。但是他这样模糊定义的性质，数学真的能接受吗？
还硬要写些什么的话，最近复旦逻辑在公众号上发表了“Lean
学习小组”的告示，加群后果然又是群贤毕至，寒假认识（如果认识可以是单向的话）的许多人也进群了，目前群内除了
Lean 之外什么都聊 X]，这次活动也让我对 Lean
的发展又有了一些了解：现在有人在做真正的 AI
辅助自动化证明、有人在做美观输出等等。群内众贤讨论的内容相比去年能看懂一些了，不过依然还有很远很远的距离，时常看看群里聊天也算是鞭策着我学习类型论吧。
近来借书如下：
Right now I can’t input Chinese, why? The last item above,
i.e. 《游戏的终结》is copied and pasted. Oh, I almost forget waydroid! –
I finally successfully initialize waydroid, and I can install
.apks just like on my real phone, except that I still can’t
play pvz2 since the architechture of my computer is amd64, instead of
arm 😠.
（写到这里，突然又能打中文了😂）