The only way to get through life is to laugh your way through it. You either have to laugh or cry. I prefer to laugh. Crying gives me a headache.
度过生活的唯一方法是笑着度过。你要么笑，要么哭。我更喜欢笑。哭让我头疼。
系统设计的未来在于将形式化方法与传统工程实践相结合。
技术的未来取决于构建它的人的多样性。
The truth is often buried beneath layers of lies.
你先喝一杯，然后酒喝一杯，然后酒把你带走。