如你所见，今天是2024年的第一天，我在夜晚写下这篇2023年的个人总结。

学习

出于对PL的兴趣，看完了Friedman的EOPL，这书的内容大致是教人实现一个不标准的Ocaml。我把习题做完了，写了非常多的解释器。这是我看的Friedman的第一本书，有时间把其他的作品也读读。

然后出于对编译器的兴趣，又读了一下Jeremy的 Essentials of Compilation 。因为不熟悉汇编，中间抽时间读完了王爽的《汇编语言》，不过读完后感觉这书过时了。和EOPL一样，EOC也是用Scheme作为教学语言，动态类型的语言重构起来很难受。我花了很多时间写GC和寄存器分配，最后写出来的编译器很多bug。虽然Scheme是我的编程语言初恋，但是我不会再用它写大型项目了。或许我应该直接读虎书。

对自己诚实是一个宝贵的品质。我本科的C语言学得很糟糕，对此我感到很焦虑。中间抽空把K&R读完了，没做习题，刷了几道codewars 。我操作系统也没学好，所以我把OSTEP读了一遍。

其它编程语言方面，我看了一点Ocaml的内容，想实现一个编程语言，用来当作找一份相关工作的筹码，但是目前搁置了。等继续学数理逻辑和TAPL的时候再说吧。同时也学了一下Rust，看了一些材料，刷了一些codewars和codeforces。

除此之外，我看了一些金融，区块链方面的材料，也在继续学英语。

看似学了很多东西，但是我其实可以做得更好。因为自制力不够，我浪费了很多时间。比如玩手机玩得很晚，第二天脑袋昏沉，无法学习。希望自己能慢慢改变这些不好的习惯。

我有一股深深的知识和技能焦虑，比起其他厉害的同龄人，我差太远了。我不嫉妒他们，但是需要努力向他们学习，这样才不会落得太远。当然，求知的第一推动力应该是兴趣和好奇。

自由

我将分两个维度讨论这个问题：精神自由和财富自由。

首先讨论精神自由。庄子说：“岂唯形骸有聋盲哉？”我深感自己的心智受到了蒙蔽，被困在枷锁中。我浅浅分析了一下，导致我精神困境的因素主要有两个，第一个是错误的观念。

笛卡尔在《第一哲学沉思集》里的第一个沉思里这样写道：

由于很久以来我就感觉到我自从幼年时期起就把一大堆错误的见解当作真实的接受了过来，而从那时以后我根据一些非常靠不住的原则建立起来的东西都不能不是十分可以、十分不可靠的，因此我认为，如果我想要在科学上建立起某种坚定可靠、经久不变的东西的话，我就非在我有生之日认真地把我历来信以为真的一切见解统统清除出去，再从根本上重新开始不可。

在我成长的过程中，我也把一大堆错误的见解刻在自己的脑中，这给我的心灵造成了很大的痛苦。

第二个因素是我自制力很差，无法控制自己享乐的欲望：比如沉迷短视频这种垃圾快乐（我从来不刷抖音，但是我喜欢玩b站），比如想要在他人身上获得虚荣。哲学家警告我们，金钱和社会地位是不值得追求的，对精神自由有害，但是和大多数人一样，我发现对这些东西的追逐是个迷人的游戏。

我昨天读完了一本介绍斯多葛主义的书，它上面给出的一些建议或者有助于获得精神上的安宁。

• 想象自己可能会遭受悲惨境遇，这样当灾难来临时，痛苦会减轻一些，同时也会让我们更珍惜当下所拥有的。
• 将事情分为三个维度：我们不能控制的，比如天气；我们能够控制的，比如自己的价值观；我们能够在一定程度上控制的，比如赢得一场比赛。对于我们不能控制的事物，根本无需过多担心。对于我们能够控制的，我们应该细心把控。对于最后一种情况，我们要学会区分内在和外在的目标，将努力放在实现内在目标上。比如参加网球比赛，外在目标是赢得比赛，这是我们不能控制的。但是我们可以在平时努力训练，赛前好好休息，这是我们能够实现的内在目标。
• 为了获得未来的安宁，可以思考过去和现在，但是过去和现在是无法改变的，所以只能拥抱它们。
• 偶尔过一种清苦的生活，警惕享乐。这能锻炼我们的意志力和自控力，它们对践行一种人生哲学是至关重要的。
• 时常反省自己，审视自己的思想，审视自己的情感，审视自己的动因。

我还读了一点《庄子》，但是刚开始。

接下来讨论财富自由。

哲学家告诫我们，财富是不值得追求的。人生短暂，我也认为把生命的主要精力放在追求财富上是愚蠢的。但是我认为财富有其价值。首先一点，如果有钱了，我就可以不做厌恶的工作，我可以把精力放在学习，写代码，阅读，旅游上。中国是一个福利很差的国家，财富能让我的家人过上更好的生活。

但是获得财富是很困难的，而且世界变得越来越不平等。认真打工的人很难买一栋房子，很多人投机取巧甚至贪赃枉法却能获取巨量的钱财。

我也看了一下北大教授的《金融经济学二十五讲》，但是很困惑，精力又不够，后面就放弃了。

工作

很多的工作是没有意义的，甚至是对社会有害的。我对现在的工作并不是很满意，希望自己以后能够做一些酷的工作，认识酷的人，即使赚不到钱也没关系。

2024年要做什么

• 强健的体魄，健康的作息。
• 继续学习PLT，学习数理逻辑和类型论。
• 刷Project Euler。
• 践行斯多葛主义。
• 希望能够找一份编程语言相关的工作。
• 有时间学习一下乐理。