你和你的梦想之间唯一的障碍就是尝试的意愿和相信它确实可能的信念。
暴政终将崩溃,自由永存。
写作是一种生活方式,一种存在于世界的方式,一种理解世界的方式。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
There is no absolute security, only relative risk control.