小说是向我们揭示我们生活关系中不断变化的彩虹的完美媒介。
To build is to make the invisible visible.
The challenge in model checking is not just to find errors, but to understand why they occur.
你连自己都管不好,怎么能治理国家的正事呢?
预测未来的最好方法就是去发明它。
I don’t paint for the audience. I paint for me.