形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
What I am is good enough, if I would only be it openly.
这个世界充满了渴望被爱的人。
建筑是为人类目的组织空间的艺术。
AI is a journey, not a destination.
I’m the worst thing since Elvis Presley to do black music so selfishly and use it to get myself wealthy.