The house is a machine for living in.
房子是居住的机器。
Gather ye rosebuds while ye may. Old Time is still a-flying. And this same flower that smiles today, tomorrow will be dying.
我不在乎你是否被冒犯，我不是来让你开心的。
The artist must be a shadow of the absolute.
Sometimes the smallest things take up the most room in your heart.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.