形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
I’m not gonna dim my light for anybody.
我在历史中学到的唯一东西就是：大众从未从历史中汲取教训。（11月17日名言）
Every challenge in farming is an opportunity to learn and grow.
Get rich or die tryin'.
除了我的天才，我没什么好申报的。
In programming, everything we do is a special case of something more general -- and often we know it too quickly.