The law, in its majestic equality, forbids the rich as well as the poor to sleep under bridges, to beg in the streets, and to steal bread.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
写作是一种抵抗遗忘的方式。
Nature is wont to hide itself.
评部分国人指责台球冠军丁俊晖的教育方式有问题