To love is to risk not being loved in return. To hope is to risk pain. To try is to risk failure, but risk must be taken because the greatest hazard in life is to risk nothing.
The future of computing lies in the development of systems that can verify their own correctness.
内心慎防杂念,会更加机敏;眼光审慎万物,则愈加明亮。
Architecture is not just about the design of space, but also about the design of life.