"Writing is not just about expressing ideas, but about creating a space where those ideas can live and breathe."

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

被遗忘比死亡更糟糕。

我们都是破碎的，这就是光进入的方式。

君子勇于改正错误，小人则文过饰非。

不论这个世界如何打击我，在我内心，总有更强大、更好的东西在反击。