Xuankang Lin

一切都从「即刻」正式发布3.0版本、推出的「自建提醒」的新功能开始..

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

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

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

出去玩的期间刷了几本书 🙄

This is the Lab preparation for explaining relaxed memory models using herd7 simulator.

Here is my note for presenting this new paper Automatically Comparing Memory Consistency Models in our weekly paper reading group on 10/21/2016. See our reading group webpage in 16fall.

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

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. 😁

Here is my note for presenting this new paper Learning Syntactic Program Transformations from Examples (08/31/2016 version) in our weekly paper reading group on 09/09/2016. See our reading group webpage in 16fall.

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

于是看了本课外书。🙄