我打球不是为了被记住,而是为了激励他人。
The most important tool an artist has is curiosity.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."