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

没有中立的艺术。
There is no such thing as neutral art.
粮食安全的未来就在波涛之下,我们必须负责任地利用它。
在算法的领域,优雅不仅仅是美学上的——它常常带来效率。
最大的风险是不冒任何风险。在一个快速变化的世界里,唯一注定失败的策略就是不冒险。
记忆是一个奇怪的东西,它的运作方式并不像我们想象的那样。我们习惯于把它想象成相机或录音机,但它完全不是那样的。它更像是一个画家,根据自己的规则添加或删除元素。
Stay true to your passion.
The challenge in model checking is not just to find errors, but to understand why they occur.
The most valuable resource in any organization is its people.