我不是那种试图变得酷或时髦的人，我绝对是一个个体。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

我不在乎钱。我只想做音乐。

每部电影都是其制作过程的纪录片。

个人的不是私人的；它是政治的。