主页

自己的法语读音小节，正规详见法语助手。

重庆的老城区真是野呀。

致谢究竟要谢什么呢？

在四年大学生活中，如果除开学习和游戏，最多的可能就是读书了，也可能不需要除开也是最多的。 毕竟也没有什么读书计时器这种方便的东西。所以有没有什么类似于 steam 的读书平台呢？ 可惜是没有的。我只能凭借记忆和豆瓣上的记录来梳理一下大学期间读的书籍。

直到现在，我才算是离开休谟，然后是去寻找康德。

一位高中生看到一只死鸟，这是他大脑的变化。

大一学离散数学时，zyj讲逻辑讲得又臭又长。 于是开始自学一部分，找了一本《面向计算机科学的数理逻辑》。 里面的内容由于我不是数学专业，不知道如何评价，但就是以CS的学生来说，它确实讲清楚了形式逻辑的由来和区别，这一点倒是很关键。