2016 年度报告

明天就能玩「2016年恍如昨日」的梗了!但是仔细想想,我并不是很敢仔细回忆这一年.. 😒

[Read More]

你一定爱读的极简欧洲史

这本书名好俗的.. 所以它在 kindle app 里的推荐栏展示了好久好久好久,但我都完全没有意愿点开 🙄。还是因为几周前在一位我认同的大V的书单里看到了它,趁这几天又有点拖延的时候翻了翻,果然还不错,对整个脉络的了解增进了很多呀!

[Read More]

Abstract Interpretation, Invariant Generation

This is my note for presentation in CS590 Computer-Aided Program Reasoning seminar on 09/27/2016. We are reading ξ12 of book The Calculus of Computation: Decision Procedures with Applications to Verification to elaborate the intuition and formalization of abstract interpretation, and how that can be used for invariant generation. This seems a relatively easy reading, the chapter is well written.

Please do not hesitate to correct me if I am wrong anywhere. 😁

[Read More]

牛津通识读本:佛学概论

今(zuó)日晚饭后突然好困好困,靠在椅子上眯了一会儿,醒来之后脑袋昏沉,像是记忆断片了,睡着前的几分钟几乎完全没有印象了..

于是看了本课外书。🙄

[Read More]