不要被信条所惑，盲从信条是活在别人的生活里。不要让任何人的意见淹没了你内在的心声。

城市是我的主题。它对我来说是无穷无尽的魅力。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

Don't think about starting. Just start.

生命太短暂，不能浪费时间恨任何人。