The fact remains that getting people right is not what living is all about anyway. It's getting them wrong that is living, getting them wrong and wrong and wrong and then, on careful reconsideration, getting them wrong again.
技术可以成为我们创建可持续渔业的最大盟友。
世界是一个舞台,我们都是演员。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
"The best way to innovate is to start with empathy."