千盛科技，次驾驶黑客松者，副丁洋负责比赛简报。
千盛科技创造虚拟环境，让虚拟汽车跑，跟谷歌习。向参赛者提供接口，让48内驾驶汽车，哪团队各路况获佳表。
路况分7部分：高速公路、城市公路、班高峰城市公路、山路、狭窄公路、赛、越野。
丁洋名绩，7项目6项目获冠军，者居团队，错，特消息给主办活姐姐问清楚，确实，团队，被迫跟拼桌呢。
丁洋公司cto，喜欢代码，打名代码，先注释，差点惊掉巴：“啊？形式化？搞错？”
形式化稳定性求极高硬件、航等领域基数特技术，丁洋给公司平台形式化，形式化验证，因阶段数规划，实太耗间，丁洋绝团队短短48内形式化方式编程，简直……才，必蹊跷。
丁洋毫犹豫约常笑谈谈。
常笑五菱宏光赴约，停车场被保安难阵才找停车位，毫介怀，带优雅稳健步伐负层千盛公司层。
台正组织比赛姐姐鄢，常笑，蹭站，非常热：“哎呀，算，丁问几次，cto办公室，办公室，算，带。”
公司咖啡机，，胶囊花钱，鄢居胶囊给常笑煮杯“师匠埃塞俄比亚咖啡”，喜欢口味。
丁洋奇怪眼分热鄢，常笑则客常待遇，毫感恩点点头笑纳。
“头奖？”常笑点惴惴安，因本拿四项目冠军，另外两敷衍冠军，幸全部项目，否则……
丁洋：“啊，群组已经置顶，……群弊啊，因法完代码量。本闲言碎语放，，代码，形式化，……分啊。”
常笑：“嗯？怎？难驾驶形式化？安全性求很高项目啊，代码漏，撞，撞猫猫狗狗啊。”
丁洋：“，违规，感觉思议，见写代码，四团队够呛。”
常笑：“点玩儿，必弊……千万别找借口扣奖金啊，急需钱。”
丁洋：“兴趣公司实习啊……”
常笑：“考虑，奖金……”很怀疑孙赖账。
丁洋老神：“别急嘛，核实代码，应该问题，公司实习月吧，给申请……5000块钱补贴？”
常笑：“等奖10万块钱奖金啊，拿奖金，寝食难安……”
丁洋拍胸脯保证：“放，丁洋格担保，算公司赖账，给10万块钱，话撂儿。”
常笑叹口气：“吧吧，实习实习，周末。”
丁洋：“课程很紧？哎呀，什专业？”
常笑：“环境工程。”
丁洋：“并科班身啊，江城果才。”
常笑沮丧离cto办公室，台，鄢问：“怎？像。”
常笑：“公司月拖欠工资？像给钱痛快啊，早知浪费48，回连续睡16才缓劲，辛苦啊。”
控制绪力才让连续48保持旺盛精力，回，确实睡16囫囵觉。
鄢：“怎？公司很痛快，拖，提工资呢。怎？很缺钱？”
常笑：“急，机给老，拜托。”
鄢答应，知群组举报弊，代码量毫概念。
间，快班，鄢：“快班诶，讨厌班高峰，，经常吃饭才回，厦饭堂挺错，尝尝？”
哎呀，快班吗？车技再，怕堵车，常笑答应吃饭。
男吃饭，般男打饭，，食堂需卡，鄢担打饭任务，漂亮殷勤，羡煞旁。
吃饭候，鄢随口问：“什花名叫‘海神明月刀’？”
常笑：“海神明月，刘慈欣《白纪往》，刀，古印度智慧书《韦陀真经》，句话：寻找真知、解救程艰难，像走锋利刀锋，智者困难。”
鄢：“呃……海神明月知，句，像哪听？”
常笑：“，毛姆《刀锋》，名字《韦陀真经》。”
鄢：“吓死，高深，原毛姆，。”
常笑：“经吓，解释海神与明月。很吓故。”
鄢：“刘慈欣经常写吓故，什书？刚才记住。”
常笑：“白纪往。”
鄢：“难写恐龙？”
常笑：“猜。”
鄢：“，喜欢恐怖片。怕爱。”
常笑：“吧，给什海神与明月。话，2、3亿，体型巨霸王龙，追猎物，饱餐顿。躺休息，，它点儿觉舒服，因它巨牙缝塞满猎物残渣。
候，它群闻肉腥味蚂蚁冲它走，嗷嗷吃肉。霸王龙，果群蚂蚁帮清理牙缝，岂解脱？，它很高兴给群蚂蚁搭座桥，爪做桥梁。
蚂蚁边领神，立刻顺爪爬。，启伟龙蚁共代。经数亿计共进化，龙蚁共展高度文明步，比类文明更加高级。龙族拥高智商，丰富象力，尺度力，比太空。
，龙族脚灵活，很精细活儿承包给蚂蚁干，比外科术、清洁工、修理工类。方江湖，龙方江湖，江湖点。
蚂蚁方江湖，江湖点。龙江湖蚂蚁江湖各争霸战。蚂蚁江湖率先完统江湖，拥高领袖：蚂蚁王。龙江湖竞争更加惨烈，终剩两派厮杀。代，因高科技展，龙蚁共已经什必。
龙族拥精密仪器，蚂蚁通机械它纤细四肢力量传递星辰海。蚂蚁王觉蚂蚁王并需龙族，且，它打打分胜负，谐社遥遥期，万将诞龙王，定付蚂蚁王。，蚂蚁王决定先强。
蚂蚁王制定‘断电’，龙族脑直接类似塑胶炸弹东西，切断龙族脑神经，让整龙族瞬间失识。蚂蚁王唯反计划……蚂蚁，首席科。蚂蚁族比较善忘，几，太空曾经忽太阳，曾经让整球命非常恐惧，蚂蚁族曾经询问龙族，什。
龙族边并给明确答复。几，部分蚂蚁件忘记，奇比别蚂蚁强烈首席科，忘记，且，近隐隐约约听似乎跟军关两名词：海神与明月。果搞清楚，首席科认，恐怕贸风险。
蚂蚁王首席科继续跟进海神与明月报，断电计划继续执，间点点流逝，关头，首席忍住亲身往龙族首领官邸，亲口询问海神明月。位龙族首领蚂蚁科神色严肃，跟实话。
原，几消失太阳，团偶靠近球反物质陨石，太阳系遇物质，湮灭纯量，量巨，像颗太阳。久，龙族别反物质存，且反物质铁，支龙族利反物质铁磁性，它约束狭空间，50吨反物质铁，果撤掉磁约束，立刻跟球物质整体湮灭，产量足摧毁整球物圈99.99%物。，支龙族反物质铁制史例高武器，装载集装箱，停靠某港口。武器代号叫：海神。
【鉴环境此，本站随关闭，请尽快移步至永久运营换源App， 】
武器并拿消灭，保护。海神倒计60分钟爆炸，差60分钟候，必须重置钟，，果敌消灭海神龙族，敌60分钟毁灭。丧病狂吧？，敌吃素，明类似反物质武器，代号叫：明月。，两支龙族保持恐怖平衡。”
果恐怖故，鄢点受：“太……危险。”
常笑：“，危险很，实类似核威慑，且差点儿儿。苏争霸市场，阿拉斯加架设型雷达站，够检测几千公目标。刚刚搞久，雷达立刻报警，苏联洲际导弹飞，且止枚，且量洲际导弹。象负责肯定飞魂外，脑片空白，怕世界末？旁边声提醒：老，苏联虽坏，丧病狂吧？？联系，什？结果……果乌龙，破雷达，月亮回波，误量洲际导弹飞。技术讽刺。”
刚才恐怖故，段差点儿残酷实，鄢更加吓俏脸苍白，感觉比十场恐怖片恐怖。
常笑细嚼慢咽吃饭，让鄢恢复绪。
鄢故主线：“白纪儿……”
常笑：“错，龙族蚂蚁族运气，首席科正告诉龙族首领断电计划，龙族首领，及恐龙被医疗服务承包商蚂蚁族切断神经，倒。
首席科回蚁穴，蚂蚁王洋洋，报员科龙族首领官邸，知叛变，提断电计划。
知真相，蚂蚁王非常尴尬，剩机。海神明月幸射塔隐藏比较隐蔽，龙族倒，根据报，找信号射塔，绝望求通信信号，惜，龙族恨透蚂蚁族，见杀，打光弹，龙族放水创造护城河，数亿计蚂蚁抱团，漂浮飘护城河。
龙族战士点燃火焰。间等待火焰熄灭，数亿计蚂蚁抱团，任凭火焰外层烤焦炭，保证核机突破火圈，终攻破龙族防线。
蚂蚁雄兵告诉龙族它，，切太晚，信号射需燃料电，刚才火焰燃料，已经耗尽，附近近燃料补给站回需20分钟，，距离海神怒，剩5分钟。
切太晚。智者，寻找真知、解救程艰难，像走锋利刀锋。刘慈欣版本6600万白纪尘往。”