魔鬼不需要长角才危险。
The devil doesn’t need horns to be dangerous.
史记
如果我们能在80岁的时候出生,然后慢慢走向18岁,那生活将会幸福无比。
模型检查是验证硬件和软件系统正确性的强大工具。
过去从未死去,甚至还未过去。
The real difficulty lies not in devising new ideas, but in escaping from the old ones.