The biggest lesson I've learned is to trust yourself.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

——1963年6月25日在西德市政厅柏林墙前的演说

The human mind is capable of comprehending the universe because the universe has generated minds capable of comprehending it.

你隐藏得越多，展现得越多。