The world is full of people whose notion of a satisfactory future is, in fact, a return to the idealised past.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The meaning of life is not in how much you have, but in how you face loss.
Paper can be permanent if you respect its characteristics and design accordingly.
文字的力量在于它们可以创造世界。
未来甚至对创造它的人也隐藏着。