I'm a person who likes to be unusual.
一支最甜美的歌,往往是用于歌颂最悲伤思维的歌。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
"The challenge is to make the audience forget they're watching a movie."
The mathematics of the universe is written in the language of geometry.