Xuankang Lin

Predicate Abstraction? 那是什么？能吃吗？我曾经被它的标题欺骗过，以为它是那种把几个predicate抽象成一个，然后一个过了，大家就都过了 的这种意思.. 我还是太年轻啊

KLEE其实已经久仰大名了，在读The PhD Grind的时候就看的胆战心惊.. 这学期的CS510 Software Engineering课上终于可以一展真容了！

读书笔记 - 中国近代史

看完这本我就去学习！

读书笔记 - Asking the Right Questions: A Guide to Critical Thinking

开始po读书笔记了，给这个荒芜的小博客一点生机 :D

读书笔记 - Stray Birds - 飞鸟集

补上之前看的的一些

呃.. somehow, 我得办个新护照，比较顺利！新的网上预约系统确实很不错！点32个赞！！

顾名思义.. 就酱

回答知乎上的这个问题：「清理房间有哪些物美价廉的神器推荐？」

This is a very interesting problem, constraints are within problem descriptions XD. I thought there should be no solution that satisfies all constraints. But there indeed is..

I got a chance of initing a completely new mac today. Here is the todo list for all(?) I need to do.