现在是9.24的16:17，我在计算机学院的N112教室，上6260Lab。这已经是一个没赶上的DDL。
为了赶DDL我感到剧烈的痛苦，以及没有一个场景比赶DDL更适合垂死挣扎这个词，所以我想记录每次挣扎的过程。
每次都发誓再也不赶due，结果每次都在赶。
我今晚6点下课回去要把7710的两节新课看了，然后lab和exercise关于继承的地方打明白。然后早上起来摸两个模拟题或者codingBat的题。
后悔假期二十天没有提前学每天练了。现在开始要每天练习准备10.6的Mid2。
以及11月会来的很快，6260准备期末也要每天保持手感了。CS的突击是没有用的，期中考试证明了这一点。
以上这些内容写了五分钟，我感觉打字速度也要练上去啊。不然预感到会鼠。
17:50 在整Dafny Lab04最后一Q，看自然语言如何描述逻辑