If you only read the books that everyone else is reading, you can only think what everyone else is thinking.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
生活不是关于寻找自己。生活是关于创造自己。
"I don’t want to die right now, I don’t want to fight right now."
简单的东西往往能唤起最强烈的情感。
I have held many things in my hands, and I have lost them all; but whatever I have placed in God's hands, that I still possess.