仇恨和爱在本质上是否相同，这是一个值得观察和探究的奇怪主题。
It is a curious subject of observation and inquiry, whether hatred and love be not the same thing at bottom.
"In the end, all we have are the stories we tell ourselves."
有时候旅程中最难的部分是相信自己值得这次旅行。
不被嘲笑的梦想，是不值得去实现的。
模型检查是验证硬件和软件系统正确性的强大工具。
A wise man said: before you speak， let your words pass through three gates. At the first gate， ask yourself， "Is it true？" At the second gate， ask "Is it necessary？" At the third gate， ask， "Is it kind？"
I don’t care if you love me or hate me, I’m still gonna be here.
家就是我和你在一起的任何地方。