"The future of system design lies in the integration of formal methods with traditional engineering practices."
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
我们多久讲述一次自己的人生故事?我们多久调整、修饰、狡猾地删减一次?而且生命越长久,周围能质疑我们叙述的人就越少,提醒我们我们的生活不是我们的生活,仅仅是我们讲述的关于生活的故事。
认为移民抢走本地人工作的观点在很大程度上是一个神话。