I don't care if you're black, white, straight, bisexual, gay, lesbian, short, tall, fat, skinny, rich or poor. If you're nice to me, I'll be nice to you. Simple as that.
我不在乎你是黑人、白人、异性恋、双性恋、男同、女同、高、矮、胖、瘦、富有或贫穷。如果你对我好，我也会对你好。就这么简单。
"The unexamined life is not worth living."
模型检查是验证有限状态并发系统正确性的强大技术。
心灵是一个使生活成为可能的系统。
如果你感觉自己在走过地狱。走着别停。
追求知识是一生的旅程，而发现的喜悦是其最大的回报。