形式化方法的美在于它们能够提供关于系统行为的绝对保证。
世界上充满了显而易见的事情,却没有人注意到。
Happiness is secured through virtue; it is a good attained by man's own will.
我尽量多花时间陪伴家人和孩子,但在事业和目标上我也必须自私一点。
Change is inevitable, but growth is optional.
"I'm a beast, I'm a dog, I'm a motherfucking problem."
"The world is full of stories, but the stories are all one."