Xuankang Lin

为了回答知乎上的这个问题：「Nexus 6P 的实际使用体验如何？」

已经过去了4个月.. 这学期好忙呀.. 仍旧是极力推荐这一系列的丛书

In today (well.. already yesterday..)’s tiny group meeting, this question is raised. And I remember I’ve asked the exactly same question to Gustavo before! :)

昨晚遇到了一个奇怪的bug, 用back()得到的reference用的好好的，突然就啥数据都没有了.. 经诊断，应该是re-allocation之后原本返回的reference都被invalidate了。我就这样找到了一个C/C++中访问invalid address而不被报错的方法。_

最近不务正业沉迷古罗马，主要是这套书确实写的好，娓娓道来，引人入胜！

With BandOfAmerica card, I can visit museums for free at 1st weekend every month. I’ve made a google map pinpointing these museums.

在CS510 Software Engineering的课上说到了Weak Fairness和Strong Fairness. 以前meeting的时候提到过这个概念，但是当时没听懂.. 复习的时候自己想出一个自洽的解释了，赶快记下来！

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

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

读书笔记 - 中国近代史

看完这本我就去学习！