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."

引用尤瓦尔·赫拉利

有些鸟儿是关不住的，因为它们的羽翼太耀眼。

不能通过正式手段从非正式到正式。

教师必须具有健康的体魄，农人的身手，科学的头脑，艺术的兴味，改革社会的精神。