角色必须让他们的创造者感到惊讶。
The mind is a dynamic interplay of processes.
基础设施决定论原则认为,生产和再生产的客观行为模式概率性地决定了家庭和政治经济的客观行为,进而概率性地决定了行为和思想的上层建筑。
The only thing that’s keeping you from getting what you want is the story you keep telling yourself.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The only way to do great work is to love what you do.