The universe is not only stranger than we imagine, it is stranger than we can imagine.
宇宙不仅比我们想象的更奇怪，它比我们能想象的还要奇怪。
Sustainable fishing isn't an option—it's the only path forward if we want our industry to survive.
我不是说唱歌手，我是一个创造历史的人。
A writer is, after all, only half his book. The other half is the reader and from the reader the writer learns.
自由是告诉人们他们不想听的事情的权利。
The companies that will succeed are those that view environmental challenges as business opportunities.
Planning to write is not writing. Outlining, researching, talking to people about what you're doing, none of that is writing. Writing is writing.
我们都有一种被人接受的需要，但是你必须坚持自己的信仰是独特的，是你自己的，哪怕别人认为它们很怪，或者很讨厌，哪怕一群人都说“那太差了”。
模型检查是验证硬件和软件系统正确性的强大工具。