每一个挑战都是学习和成长的机会。
A story is only as good as the questions it raises.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
在计算机周围,很难找到正确的时间单位来衡量进度。一些大教堂花了一个世纪完成。您能想象一个程序需要花费这么长时间吗?
最好的领导方式是真实。
世界支离破碎,我们需要将其重新整合。