"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
开始构建你想要的生活的最佳时机就是现在。
"We do not write because we want to; we write because we have to."
The biggest risk is not taking any risk. In a world that’s changing quickly, the only strategy that is guaranteed to fail is not taking risks.
The future of technology depends on the diversity of those who build it.