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

You can't just sit there and wait for people to give you that golden dream. You've got to get out there and make it happen for yourself.
The challenge in model checking is not just to find errors, but to understand why they occur.
You have to be willing to fail to succeed.
水产养殖技术的创新将是满足世界对海鲜日益增长需求的关键。
想象世界末日比想象资本主义的终结更容易。
A nation's memory is its most contested territory.
我总是相信最重要的不是赢,而是从每一场比赛中学习。