当最后一条鱼被捕捞,人类才会明白金钱不能当饭吃。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
投资于人是一家公司能做出的最有价值的投资。
我的梦想是用音乐连接世界。
Always give credit, take blame.
A book must be the axe for the frozen sea within us.