—— 请按键盘 空白键 开始游戏 ——

传记作者的任务是阐明,而不是评判。
"The biographer's task is to illuminate, not to judge."
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
"The best stories are the ones that challenge us to think differently."
"Every person has a story worth telling, and every story has a lesson worth learning."
I don’t like to be afraid. I like to be fearless.
Mathematics is the art of giving the same name to different things.