We are all broken, that's how the light gets in.
To imagine is everything, to know is nothing at all.
我专注于我需要做的事来变得更好。
爱是唯一能将敌人转化为朋友的力量。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The most elegant theories are useless if they don't correspond to reality.