计算的未来在于开发能够自我验证正确性的系统。

The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.

我不认为你应该花很多时间为坏运气而不开心。你会遇到很多，但你也会遇到很多好的。要做的事情就是尽量增加利用好运的几率，尽量减少坏运的影响。