The Internet is the first thing that humanity has built that humanity doesn't understand, the largest experiment in anarchy that we have ever had.
The most important thing in a database is the schema.
你唯一的限制是你给自己设定的限制。
小说是对人类经验最完整和最复杂的表达。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."