重要的不是发生在你身上的事情,而是你如何处理发生在你身上的事情。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
唯一真正的自由是做自己的自由。