今天很残酷,明天更残酷,后天很美好,但绝大部分人是死在明天晚上,看不到后天的太阳。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
一个在真正饥饿时被喂食、在疲倦时被允许睡觉的婴儿会是一个满足的婴儿。
我发现了!(据传是阿基米德发现浮力原理时的感叹)