第一百一十章 自冷却复合超导材料（2 / 2）

“明白了”，所有的人都答应。

王一男拍拍手，“坐在这屋子里面的人，我想平均智商怎么都超过150了吧，这件事情的重大意义，就不用我多费唇舌了”，

“扬名立万，妹子票子”，王一男说，“都在此一搏了，我看好你们”。

给实验室这边的手下灌完鸡汤，王一男都没顾得上喘一口气，就匆匆赶往学校边上的一栋写字楼。

陈子豪在帝都大学边上的关村科技园转了半天，最后选择了这个梦想科技大厦，据说是当年千度发家的地方，就等王一男看一眼就最终确定。

陈子豪等在楼下，他带着王一男一边上楼，一边说，“这个地方一直是千度在用，位于下地的千度科技大厦投入使用之后，才把这个地方空出来”，

“业主一开始本来要价挺高的，我一直在想办法压价格”，陈子豪说，

“没想到刚才给我打个电话，问咱们公司的老大是不是叫做王一男的，帝都大学的教授”，

“我说当然是了，结果他立刻给我们房租打了五折，五折啊”，陈子豪啧啧感叹，“没想到你的名字这么值钱了”，两人是一起在布拉格鸡鸣狗盗的交情，所以说起话来也比较随便。

办公场所在18层，楼层都那么吉利，业主专门在电梯口等着王一男，“哎呀，王总啊，久仰大名”，一个矮胖的中年男子迎了过来，“我代表春才物业，欢迎你们入住梦想大厦啊”，

王一男跟他握了握，“我先看看”，

“应该的，应该的，我带您参观一下，这是我们这栋楼最好的楼层了，层高三米，中央供暖，还有新风系统”，

“保证在帝都雾霾最严重的时候，也能呼吸到最新鲜的空气”。

王一男跟着他转了一圈，视野开阔，层高也不错，而且公用的办公基础设备和网络什么的，都是现成的，稍微置办点办公家具就能入驻。

“不错，就这儿吧”，王一男跟陈子豪说，

“不过能压点价还是压点价的好，你等下跟他谈吧，走，去楼下星巴克，我跟你聊聊我出国期间你的工作安排”。

俩人坐在楼下咖啡厅，王一男说，

“Rust语言研究的怎么样？”，

“非常有启发，我简直是大开眼界啊，没想到程序设计语言还可以这么设计”，陈子豪说，

“刚开始的时候很不适应，连最简单的HelloWolrd程序，写四五行就出现一堆编译错误”，

“但是适应了它的所有权概念之后，写起来就很顺手了”，

“而且，在类型定义中引入所有权，确实极大的降低了程序出问题的概率”。

王一男点点头，“那它就没问题了吗？”，

“当然有问题”，陈子豪说，“成也萧何败也萧何，显式所有权的编程方式确实降低了程序出错的概率，但是也极大地提升了程序员书写代码的难度”，

“这样造成同样的解决方案，以前一个普通程序员就能干，当然可能问题很多，但是使用Rust的话，必须要久经考验的程序员才能写出合乎要求的程序来，但是写出来之后问题就很少”。

王一男点点头，这确实也是他之前研究Rust语言得出来的结论。

“有什么办法可以解决这个问题吗？”，

“我初步的想法是，利用哥德尔系统的人工智能机制，将人工指定所有权的方式变成人工智能自动指定，只有在非常必要的时候，才要求程序员进行显式指定”，陈子豪显然已经做了深入的思考。

“非常好”，王一男点点头，“这跟我之前的想法是一致的”，

“接下来你就两个任务，最重要的是招人，团队越牛，越强大越好”，

“另外就是这个Rust了，尽可能的吃透他，看看跟哥德尔系统怎么结合”，

“明白了吗？”。