Death is present every day, but we don't see it until it touches us directly.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
有些鸟儿是关不住的,因为它们的羽翼太耀眼。
教师必须具有健康的体魄,农人的身手,科学的头脑,艺术的兴味,改革社会的精神。