λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

"Writing is a way to make the invisible visible."

我不是那种会让对训练的热爱减少的人。

"Science fiction is the literature of change."

要成为一名作家，必须有一定的傲慢，相信自己要说的话对别人来说足够重要。

文章贵在简洁，简洁则明了；贵在真实，真实则贴切；贵在变化，变化则生动。

Collaboration across borders is essential to combat illegal fishing and preserve marine ecosystems.