社会正义的首要组成部分是全人类都有足够的食物。
Follow your heart, and use it to lead your life. Anything else is secondary.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Technology is a tool, talent is the core.
写作是让不可见之物可见。