要么发财，要么完蛋。
Get rich or die tryin'.
一切迄今为止社会的历史都是阶级斗争的历史。
To be a philosopher is not merely to have subtle thoughts, nor even to found a school, but so to love wisdom as to live according to its dictates.
如果程序处理大量数据，则它会以几种方式进行处理。
Every failure in the lab brings us one step closer to success.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."