你要为你做的每一件血腥的事和你没有做的每一件事付出代价。你不能选择不付出代价。你要选择你要服用哪种毒药。仅此而已。
You're going to pay a price for every bloody thing you do and everything you don't do. You don't get to choose to not pay a price. You get to choose which poison you're going to take. That's it.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
"Innovation in cancer treatment comes from challenging the status quo."
I might be in love with you. I'm waiting until I'm sure to tell you, though.
Never put off till tomorrow what you can do the day after tomorrow.
