语言是存在的家。在其家中,人居住。那些用语言思考和创造的人是这个家的守护者。
The idea comes first, then the form.
生活是花朵,爱情是花蜜。
"Writing is a way to make sense of our hopes."
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.