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

科学不是关于控制。它是关于在面对永远比我们最新理论更丰富、更深邃的事物时,培养一种永恒的惊奇状态。
那些让和平革命成为不可能的人将使得暴力革命不可避免。
The challenge in model checking is not just to find errors, but to understand why they occur.
The heart is a lonely hunter, and it will always be so.
你将学到的最伟大的事情就是去爱,并被爱作为回报。
技术最终要服务于人,而不是让人去适应技术。