主页 Valse会议（2024-重庆） 重庆的老城区真是野呀。 阅读更多 Study Valse 2024年 05月13日 致谢 致谢究竟要谢什么呢？ 阅读更多 Misc Life Campus Thanks 2024年 05月01日 大学的书籍 在四年大学生活中，如果除开学习和游戏，最多的可能就是读书了，也可能不需要除开也是最多的。 毕竟也没有什么读书计时器这种方便的东西。所以有没有什么类似于 steam 的读书平台呢？ 可惜是没有的。我只能凭借记忆和豆瓣上的记录来梳理一下大学期间读的书籍。 阅读更多 Comments Book Campus 2024年 04月21日 进化心理学--读后感 直到现在，我才算是离开休谟，然后是去寻找康德。 阅读更多 Comments Book Evolution Psychology 2024年 03月24日 高中文学 一位高中生看到一只死鸟，这是他大脑的变化。 阅读更多 Comments Video Negative 2024年 02月03日 数理逻辑 大一学离散数学时，zyj讲逻辑讲得又臭又长。 于是开始自学一部分，找了一本《面向计算机科学的数理逻辑》。 里面的内容由于我不是数学专业，不知道如何评价，但就是以CS的学生来说，它确实讲清楚了形式逻辑的由来和区别，这一点倒是很关键。 阅读更多 Intro Math Logic 2024年 01月14日 Soul-Booster I can’t beat it. So I must beat it! 阅读更多 Comments Video Negative 2024年 01月09日 延安精神 阅读更多 Misc Life Party 2023年 12月14日 共计 54 篇文章，7 页。 1 2 3 4 7
大学的书籍 在四年大学生活中，如果除开学习和游戏，最多的可能就是读书了，也可能不需要除开也是最多的。 毕竟也没有什么读书计时器这种方便的东西。所以有没有什么类似于 steam 的读书平台呢？ 可惜是没有的。我只能凭借记忆和豆瓣上的记录来梳理一下大学期间读的书籍。 阅读更多 Comments Book Campus 2024年 04月21日
数理逻辑 大一学离散数学时，zyj讲逻辑讲得又臭又长。 于是开始自学一部分，找了一本《面向计算机科学的数理逻辑》。 里面的内容由于我不是数学专业，不知道如何评价，但就是以CS的学生来说，它确实讲清楚了形式逻辑的由来和区别，这一点倒是很关键。 阅读更多 Intro Math Logic 2024年 01月14日