I’m not going to die for you, but I’m going to live every day like it’s my last.
你不能通过人们如何度过他们的人生来评判他们。你只能通过他们如何对待你来评判。
Plans are worthless, but planning is everything.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."