To rapidly reveal the true character of a person you just met, move them onto an abysmally slow internet connection. Observe.
The world is a book, and those who do not travel read only one page.
Music helped me find the direction of my life.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
我不知道需要多长时间才能取得辉煌,我只是想尽我所能去成为最出色的篮球运动员。