企业不是靠一个人做起来的，是靠一群人做起来的。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

我们都只是更大叙事中的片段，试图理解我们在世界中的位置。

"The stories we tell ourselves shape the world we live in."

With a library you are free, not confined by temporary political climates. It is the most democratic of institutions because no one - but no one at all - can tell you what to read and when and how.

电影是展示不可见之物的艺术。