9.8

依然夜骑

支线剧情

路过东二号楼，被一个快递员叫住，指着写着 “东2” 的牌子问我这栋楼是不是 “东2号楼”。得到肯定后，继续说，有学生买了一箱矿泉水，要他搬到宿舍去。然后给我看了看快递信息，问宿舍在几楼。灵性的是，宿舍号是 610，恰巧就是我的原宿舍号（不是同一栋楼）

“6楼。”

“这儿没有电梯？”

“嗯。”

我解释说，一般把快递放在楼下的快递架就行。然而他并不想违背学生的要求，由于我也并不清楚在这种情况下，快递员是否有义务把快递搬上楼，所以也帮不到更多，就离开了。

主线任务

今天的主线是继续去昨天的神秘打野点探险。才知道昨天去的 BSL-2 是交大病原微生物生物实验室。昨天看到闪烁的红白灯光，深深的生化危机既视感，没想到这地方还真 tm 是能爆发生化危机的。

没有再做成阴间调色小视频，直接上传：异象调查2

跑步

骑了 43 分钟，到南区体育场下车跑了 3 圈。实际上是走路的速度，就从这里开始吧！

TAPL 读后感 1

第二章 Mathematical Preliminaries（数学准备）东西是真少，只有集合，关系，序，归纳法，简直是小学生水平，还以为会有抽代。于是阅读信心骤然上升。

第三章 Untyped Arithmetic Expressions 里的概念也都很直观，非常小清新，如沐春风。这本书与《具体数学》（真是对它又爱又恨）对读者水平的预设差了十万八千里。阅读后者，你会感到自己的智商被作者审视、考验，学习曲线非常陡峭（当然不怪作者，因为这确实不是一本教材），而前者是真正以教学为目的，设置好了平滑的学习曲线，没有莫名其妙的炫技。