入学仿佛就在昨天，没想到这么快就成为大四老狗了。许多想在大学里完成的事情有不少都没有完成。那就做一个TODO List督促自己吧！

“Don’t try to understand it. Feel it.” – Tenet

song author Cadence and Cascade King Crimson I Can’t Tell You Why - 2013 Remaster Eagles Holy Wars…The Punishment Due - Remastered 2004 Megadeth Painkiller Judas Priest Watermelon In Eas

外接显示器错误识别成Generic Billboard Device这个问题遇到过两次，每次心情都搞得很糟。第一次是期末前发生，当时没有找到好的解决方法，难受了一个月，感觉也很大程度影响了期末的效率。单单重装驱动和重装系统都没有用，最后是重装系统加联想管家重装驱动以后才好的。 那天的情况是，联想（非微软官方）通过系统更新的渠道推送了一个firmware更新，然后就出现了外接显示器错误识别的问题。所

以下以may analysis为例，must analysis基本同理，区别主要在于是$\sqsupseteq$还是$\sqsubseteq$。 注意以下谈到的所有$F$，首先要满足是safe的，包括transfer function设计合理并且每一轮中每个node都需要（至少）被visit过一次。 注意这一点的意义在于你可以说我有一个$F$，transfer function或者每轮遍历内容为空

当一个文本（特别是技术类文本）发布后可能因有了更多的体会而面临增量式更新。 传统的更新内容位置设置有两种方式： 新内容在文本顶部，对已经读过一次的读者友好，优势是最新的内容替代已过时的内容，且更新更容易被已经读过之前版本的老读者注意到； 新内容在文本底部，对新读者更友好，优势是顺序暗含时间线，读者能跟随作者的思考过程与脉络。 我网上冲浪时观察到的普遍情况支持我以上对于优势的理解： 情感类文章通

此处并没有考虑继承，因为继承还包含属性字段是否兼容的问题， 不过如果把属性字段看成一个只有getter和setter的方法似乎也没有什么问题 疑问源于下面两个问题： Implementing two interfaces in a class with same method. Which interface method is overridden? Implementin

注意，如果已经本地设置了git config name和email而又不想设置–global的name和email，去blog/.deploy_git/.git/config加上 123[user] name = yourName email = yourEmail@yourEmail.com hexo latex supportPlease refer to th