哥德尔系统提示您：看后求收藏（爱米文学网aimiwx.com），接着再看更方便。
当然，王一男毕竟是半闭关而不是全闭关状态，每周他还是要去学校上两次课的，而且大卫团队的第二个测试版本，还等着他每周的例行鸡汤呢。
在陈子豪的带领下，大卫团队使用了改进后的Rust语言作为后台服务器的开发语言，确实，虽然这种语言对于开发人员提出了非常高的要求，这么说吧，没有两年以上开发经验的，你根本理解不了所有权的转移是怎么回事。
不过处错误的概率真的是低了太多，基本上所有的内存bug都在编译的时候被编译器发现并消除了。
陈子豪使用哥德尔系统，为Rust代码增加了一个编译器前处理环节之后，他们使用的Rust语言也改进了许多，程序猿完全不用担心复杂的所有权管理和生存周期的问题了，哥德尔系统可以自动的判断所有的疑难情况，并做出正确的标注提供给编译器。
这也极大的提升了开发的效率，降低了开发的难度，很快，IM系统的第二个原型也开发完成了，用陈子豪的话来说，“基本功能已经达到威信三年前的水平了！”。
你别瞧不起这玩意，在王一男看来，这已经是非常值得骄傲的成绩了。
时光荏苒，在新年到来前的一周，圣诞节前夜，王一男总算完成了自己的第二阶段目标，生成了利用手机显卡处理能力的超级视频编解码器版本。
他顺便还把直接对摄像头输入的连续图像序列进行压缩的代码，以及输出连续图像到屏幕的代码都集成进来了。
嗯，这话太拗口，其实就是，他用程序可以直接对摄像头的输出进行视频压缩了，“就是不知道能不能达到实时的效果”，王一男有些忐忑。
他打开程序，把镜头对准了周慧，
“来妹子，给哥笑一个”（未完待续）
