总的来说,陈子豪,还有齐峰和万新他们几个人王一男挑出来领头的家伙,还算是挺给力的,大卫小组在短短半年的时间里面,开发了三个版本的原型系统,对即时通讯软件该有的基本功能和架构也有了初步的认识。
王一男跟陈子豪商量了一下之后,决定开始实际系统的开发,万丈高楼平地起,要想建立一个宏伟的大厦,打造可以媲美威信的app,一个先进、牢靠的基础平台是必不可少的。
所幸有了哥德尔系统,强大的逻辑系统检测的能力,让哥德尔系统可以迅速找到任何形式系统的最微小缺陷,配合上rt语言强大的表达能力,大卫小组在经过几个版本的练手之后,开发速度和质量有了根本性提升。
跟国内四十大盗或者鹅厂最牛x的团队比起来也丝毫不差,甚至从代码的质量来看,还远远超出,毕竟哥德尔系统检查过的嘛。
建立实际系统的第一件事情,就是开发一个数据传输的基本底层结构了,可以支持一对一、一对多和多对多的数据传送,数据的类型是没有限制的,可以是文字、图片、声音和视频。
长期来看,这样的数据传输基本结构可以建立在同温层徘徊者计划之上,提供延时最小、没有拥塞的理想网络,现在嘛,只好租用云服务商的基础线路了,好在对于负载不是特别大的情况下,性能的下降还是可以接受的。
王一男忙着跟大卫团队落实底层开发的技术方案,以及云服务商选型的时候,东北重镇传来意料之外的好消息,新年过去没多久,某霍伊的中型隐身战机总算通过了地面测试和风洞测试,飞行控制率也基本完成,也就是说可以开始试飞了。
这种出风头的事情,还是留给孙伟吧,王一男把露脸的机会让给了一直兢兢业业的孙伟,当然,他可不敢告诉某霍伊,使用神经网络编译技术,分分钟可以得到最佳的控制程序,甚至连116所都不能说,这玩意太惊世骇俗了,说实话,王一男自己也没想好该怎么弄,领先一步是大牛,领先得太多,会被人抓起来切片的。
神经网络编译技术,随便用在视频压缩和解压缩上,就能在普通手机的硬件上,实现超过现有h265压缩方案的五倍效果,也就是说差不多是h264的十倍效果,这未免太吓人。
“露脸还是需要露脸的”,王一男想,“不过现在还是太早,需要一个合适的时机”。
春暖花开的时候,王一男跟周慧来到鹏城,在上次定制头戴设备的厂家,王一男看到了他们的第二代头戴设备,白色的长条更轻巧,压缩芯片已经集成在主摄像头上,纽扣电池也换成可充电的锂电池。
王一男戴在头上试了试,“感觉很不错,非常轻巧,跟没戴东西差不多”,他满意的点了点头。
在大学的时候,王一男还是蛮喜欢打篮球的,当然由于身高的缘故,在专业领域肯定没有发展前途。王一男个子不算高,也就175出头,跟那个地表最强的托马斯一样高,水平肯定就差老远了。
王一男大学时候最大的梦想,其实不是成为一名科学家,或者成为诺贝尔奖获得者之类不靠谱的狂想,每次去食堂吃饭的时候,总会经过几块小小的篮球场,看着一帮高手霸场大杀四方,王一男总是在场边驻足半天,然后悻悻然的离开。
“要是我能扣篮,这辈子就值了”,每到这个时候,王一男总这么想。
为了这个梦想,王一男也付出了艰苦的努力,大学时候没少练负重深蹲,还有各种台阶蛙跳,据说当年乔丹就是用同样的秘诀,练出那惊人的飞人本事。
也许是天赋不够吧,直到毕业,王一男也没有练出扣篮的本事,后来在地龙大队特训了一段时间之后,王一男觉得自己的身体素质又有了提升,还专门去篮球场比划了两次,确实,弹跳力的进步还是很明显的,现在拼了命能够到篮圈了,至于扣篮嘛,估计这辈子是没指望了。
自己扣不了,那就看别人扣吧,所以每年nba的全明星扣篮大赛,王一男是必定会在电视机前从头看到尾的,不过从去年开始,鹅厂把所有nba比赛的转播权全部都买断了,连全明星大赛、全明星扣篮都不能幸免。
“吃了么多,也不怕噎着”,王一男对鹅厂还是满心的怨念。
王一男要想看,只有老老实实的打开鹅厂视频或者鹅厂体育啥的,再花钱买个就能看了。
“就不助长你们这种垄断的歪风邪气”,王一男恶狠狠的想着,他跟周慧从鹏城直接坐大巴来到港岛,提前跟大米国驻港岛领事预约好之后,王一男跟周慧来到领事馆办理了前往大米国的签证。
所谓的签证难,那也得看人是不是,王一男要是有移民倾向,不要说拒签了,估计大米国都能包架专机把他弄走,当然专机能不能起飞,或者起飞了能不能到大米国,得看钱中华他们部门有没有在打盹了。
“就不看你的鹅厂视频、鹅厂体育,你买了转播权,我去现场看总用不着经过你吧”,在飞往大米国的航班上,王一男得意的想。
今年的全明星大赛在big举行,紫金王朝统治nba的时候,也正好是王一男大学里面对篮球有着最狂热的热爱时候,所以对于黑曼巴和大鲨鱼,王一男还是熟悉的不行。
来到,怎么都要去拜访一下陶教授啊,王一男跟周慧来到uc陶教授家的时候,正是饭点。
“我怎么感觉你这个时候来,就是冲着我媳妇的安南料理呢”,陶教授跟王一男也很熟悉了,他打趣到,
“看破不说破嘛,你的修行显然还不够啊”,王一男很是无耻的说,
“还是要祝贺你啊,那个g-w不可描述定理,再过几十年之后,人们很可能会发现,这篇论文称得上新世纪最大的数学发现”,
“完全是格罗腾迪克教授的思想,我就是执笔而已,而且你们几位在讨论的时候其实也提供了很多思路”,王一男可不敢居功。
“哪有那么简单,从论文里面我还是看出不少熟悉的东西,你也贡献了不少”,对于陶教授来说,只要看一遍论文,整个过程就像清晰的放在眼前一样,
“不过说实在的,像格罗腾迪克教授那样的天才,真的是一百年都出不了一个”,陶教授难得对一个人有这样的感叹,
“这话都是别人用来形容你的吧”,王一男在心里暗自吐槽。
俩人天南地北的聊了一会,陶教授也给王一男介绍了他最新的研究成果,跟形式化系统还是有很大关系,看起来,王一男无意中也带歪了蓝星的科技树,利用各种数学分析工具对形式化系统和公理逻辑进行解构,变成最新的数学潮流。
“这样下去,也许会更快的促进人工智能的发展”,王一男在心里想,至于是好还是坏,就不是他能够控制的了。
美美的吃了顿安南料理,再喝点小酒,王一男才想起此行的正事,“对了,你认识nba的人吗?”,王一男问,
“哈哈哈、还真巧了”,陶教授笑了起来,“都说无事不登三宝殿,我就说今天怎么有空来看我”,
“你别说,我还真认识一个超级明星”,陶教授说,
“真的假的,你一个数学教授,怎么会认识nba明星的”,王一男有点不太相信。
“黑曼巴你知道吧”,陶教授说,“算不算超级明星”,
“我靠”,王一男忍不住爆了粗口,“虽然他已经退役了,不过绝对还是超级中的超级明星啊”,
“话说,你怎么会认识这样的明星”,王一男问,
“说来也巧,前几年房产市场比较低迷的时候,有人介绍我投资一点房地产,当时正好有点闲钱,就在市场上看了看,正好,好莱坞边上的长滩,有一片别墅区,当时有一栋别墅急着转让,还不到一百万美刀,我就买了下来”,
原来眼前这位,也是土豪一枚,话说大米国的教授,薪水都这么高的吗?
“有时候周末我们会去那边住一住,结果有两次碰到黑曼巴在边上的小球场练球,一来二去,就认识了”,陶教授说,
“你说巧不巧,黑曼巴正好是咱们的邻居”。
“正好明天是周末,晚上你们也别找酒店了,咱们一起住过去吧,房子够大,我们两口子没人做伴,冷清的很”,陶教授说,
“那还等什么,gogogo”,王一男乐了,这样看起来,“到了上帝的地盘,我的运气反而比国内要好得多”,
“难道所谓的上帝之子,说的就是我嘛”,王一男美滋滋的想。
于是稍加收拾之后,陶教授驱车带着自己的助理兼老婆,还有王一男和周慧来到位于长潭边上的别墅区。
从uc前往lb的路程不算太远,但是有一段挺长的滨海公路,夜深时分,凉风习习,打开车窗闻着略带着点腥味的海风,再听着海浪拍打沙滩的声音,让人心旷神怡。
“咱们也弄套海滨别墅住吧”,王一男小声对周慧说,
“你去哪我就去哪”,周慧“啪”的一把狗粮撒了过来,好在是在大米国撒的,应该影响不到咱们华国的读者。
陶教授的别墅是一栋三层楼的白色房子,门口有一个很大的院子,当然,屋子后面有一个更大的院子,院子后面是一片草坪,还有小小的树林,树林边上是低矮的栅栏。
“那边就是黑曼巴的球场了”,陶教授指着树林边上的栅栏说,王一男瞪大眼睛看过去,夜色太黑,隐隐约约的什么都看不到。
“明天一定要早点起来”,
王一男将闹钟定在七点,很快进入了梦乡。