中国历代行政区划的变迁

写代码写得心烦意乱,花了一天多重构的东西还没跑出正常结果,😤,我估计还得切回旧代码用更细的粒度再改一遍。。😭

所以先来换换心情。《中国历代行政区划的变迁》这本小册子其实一两周前就看完了,但是里头有些笔记一直没有时间整理,拖到了今天。

[Read More]

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]