The sooner you start to code, the longer the program will take.
你越早开始编码,程序完成的时间就越长。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"Sometimes the hardest part isn’t letting go but rather learning to start over."
我不会让任何人告诉我该做什么。
如果你的商业模式依赖于浪费资源,那么你已经过时了。
你的嘴说不出话是因为我。