The only person you should try to be better than is the person you were yesterday.
The writer must be a witness to history, even if history ignores him.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
梦想家只能在月光下找到自己的路,他的惩罚是比世界其他人更早看到黎明。