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! :)
C++ Vector Reference after Re-Allocation
昨晚遇到了一个奇怪的bug, 用back()得到的reference用的好好的,突然就啥数据都没有了.. 经诊断,应该是re-allocation之后原本返回的reference都被invalidate了。我就这样找到了一个C/C++中访问invalid address而不被报错的方法。_
罗马人的故事1-5
最近不务正业沉迷古罗马,主要是这套书确实写的好,娓娓道来,引人入胜!
BoA Free Museums Google Map
With BandOfAmerica card, I can visit museums for free at 1st weekend every month. I’ve made a google map pinpointing these museums.
Weak & Strong Fairness
在CS510 Software Engineering的课上说到了Weak Fairness和Strong Fairness. 以前meeting的时候提到过这个概念,但是当时没听懂.. 复习的时候自己想出一个自洽的解释了,赶快记下来!
Predicate Abstraction
Predicate Abstraction? 那是什么?能吃吗?我曾经被它的标题欺骗过,以为它是那种把几个predicate抽象成一个,然后一个过了,大家就都过了 的这种意思.. 我还是太年轻啊
KLEE & Gcov
KLEE其实已经久仰大名了,在读The PhD Grind的时候就看的胆战心惊.. 这学期的CS510 Software Engineering课上终于可以一展真容了!
中国近代史
读书笔记 - 中国近代史
看完这本我就去学习!
Asking The Right Questions
读书笔记 - Asking the Right Questions: A Guide to Critical Thinking
开始po读书笔记了,给这个荒芜的小博客一点生机 :D
Stray Birds - 飞鸟集
读书笔记 - Stray Birds - 飞鸟集
补上之前看的的一些