人比自己想象的要坚强。
读书的时候不要只想作者怎么看,想想你自己怎么看。
模型检查是验证有限状态并发系统正确性的强大技术。
我更喜欢冬天和秋天,那时你能感受到风景的骨架——它的孤独,冬天的死寂。有些东西在下面等待着,整个故事并未完全展现。
I try to learn from every match, whether I win or lose.