The secondary rules are those that provide for the creation, alteration, and extinction of primary rules.

伟大的公司建立在优秀的人才之上。

学习Lisp是值得的，因为当你最终理解它时，你将获得深刻的启蒙体验；这种体验将使你在余下的日子里成为一个更好的程序员，即使你实际上并不经常使用Lisp本身。

Mathematics knows no races or geographic boundaries; for mathematics, the cultural world is one country.

I want to be remembered as someone who was kind and made people happy.

群星不会因为像萤火虫而怯於出现。