The city is a book written by its inhabitants.
Don’t wait for the perfect moment—take the moment and make it perfect.
数十亿年来,大自然一直是最出色的生物工程师。
浪费是一种设计缺陷。
"The universe is not only stranger than we imagine, it is stranger than we can imagine."
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."