千盛科技，这次自动驾驶黑客松的发起者，他们的一个副总丁洋在负责看比赛简报。
千盛科技创造了一个虚拟的环境，可以让虚拟出的汽车在里面跑，这是跟谷歌学习。他们向参赛者提供了一些接口，让他们在4小时之内开发出自动驾驶的汽车，看哪个团队能在各种路况中获得最佳的表现。
路况分为7个部分：高速公路、城市公路、上下班高峰城市公路、山路、狭窄公路、赛道、越野。
丁洋看第一名的成绩，在所有7个项目中有6个项目获得了冠军，开发者居然还是一个人的团队，还以为自己看错了，特意发消息给主办活动的小姐姐问个清楚，确实，那天是有一个团队一个人，还被迫跟人拼桌呢。
丁洋是公司的to，喜欢看代码，打开第一名的代码一看，先看注释，差点惊掉下巴：“啊？形式化开发？有没有搞错？”
形式化开发是在稳定性要求极高的硬件、航天等领域的一种基于数学的特种技术，丁洋给公司开发的平台都没有用形式化开发，只是有形式化验证，因为开发阶段就用数学规划好，实在太耗时间了，丁洋绝对想不到一个人团队能在短短4小时之内用形式化开发的方式来编程，这简直是……不是天才，必有蹊跷。
丁洋毫不犹豫地约了常一笑来谈一谈。
常一笑开着他的五菱宏光来赴约，在地下停车场被保安难为了好一阵才找到停车位，他毫不介怀，带着优雅的稳健的步伐从负一层来到千盛公司的那一层。
前台正是组织比赛的小姐姐鄢然，看到常一笑，她蹭地站了起来，非常热情：“哎呀，你可算来了，我们丁总问了好几次了，在to办公室，最里面的那个办公室，算了，我带你去。”
公司里有一个咖啡机，不过，胶囊要自己花钱，鄢然居然用自己的胶囊给常一笑煮了一杯“大师匠心之埃塞俄比亚咖啡”，她自己最喜欢的口味。
丁洋奇怪地看了一眼过分热情的鄢然，常一笑则以为这是客人的日常待遇，毫无感恩之心地点了点头笑纳。
“我是不是得了头奖？”常一笑有点惴惴不安，因为本来是想拿下四个项目的冠军，没想到另外两个敷衍了事的也得了冠军，幸好不是全部项目都第一，否则……
丁洋：“对啊，群组里面已经置顶了，但是……群里有人说你作弊啊，因为一个人无法完成这么多代码量。我本来对这种闲言碎语不放在心上，但是，我看了你的代码，你用了形式化开发，这……这就过分了啊。”
常一笑：“嗯？怎么了？难道自动驾驶不用形式化开发？这是安全性要求很高的项目啊，我可不想我的代码出漏子，没撞到人，撞到猫猫狗狗也不好啊。”
丁洋：“不是不是，不是你违规了，而是感觉不可思议，我没见过一个人能写这么多代码的，四个人的团队都够呛。”
常一笑：“开发这点玩意儿，还没必要作弊……千万别找借口扣我奖金啊，我急需用钱的。”
丁洋：“你有没有兴趣来我们公司实习啊……”
常一笑：“可以考虑，但是我的奖金……”他很怀疑这孙子要赖账了。
丁洋老神在在道：“别着急嘛，我们要核实一下你的代码，应该是没问题，来我们公司实习一个月吧，我去给你申请……5000块钱的补贴？”
常一笑：“一等奖是10万块钱奖金啊，没拿到奖金，我寝食难安……”
丁洋拍胸脯保证：“你放心，我丁洋以人格担保，就算公司赖账，我个人给你10万块钱，我把话撂在这儿了。”
常一笑叹了口气：“好吧好吧，实习就实习，我可以周末来一天。”
丁洋：“课程很紧？哎呀，你是什么专业的？”
常一笑：“环境工程。”
丁洋：“并不是科班出身啊，江城大学果然出人才。”
我是boss！～fine～[家教khr]
蚂蚁王国制定了‘断电行动’，要在龙族的大脑中直接用类似塑胶炸弹的东西，切断龙族的脑神经，让整个龙族瞬间失去意识。蚂蚁王国里面唯一反对这个计划的人……蚂蚁，就是他们的首席科学家。蚂蚁族比较善忘，几年前，太空中曾经忽然出现了一个小太阳，曾经让整个地球上的生命都非常恐惧，蚂蚁族曾经询问过龙族，发生了什么事。
龙族那边并没有给出明确答复。过了几年，大部分的蚂蚁都把这件事忘记了，但是作为好奇心比别的蚂蚁都强烈的首席科学家，他没忘记，而且，最近隐隐约约听到了似乎跟军事有关的两个名词：海神与明月。如果不搞清楚这个，首席科学家认为，恐怕贸然行事会有意想不到的风险。
蚂蚁王同意首席科学家继续跟进海神与明月的情报，但是断电计划继续执行，时间在一点点流逝，到了最后的关头，首席忍不住亲身前往一个龙族首领的官邸，亲口询问海神和明月的事情。这位龙族首领看蚂蚁科学家神色严肃，就跟他说了实话。
原来，前几年出现又消失的那个小太阳，是一团偶然靠近地球的反物质陨石，在太阳系遇到物质，湮灭成了纯能量，能量巨大，所以看起来就像多了一颗太阳。没多久，龙族发现了还有别的反物质存在，而且是反物质铁，这一支龙族利用反物质铁的磁性，把它们约束在一个狭小空间，50吨的反物质铁，如果撤掉磁约束，立刻就会跟地球上的物质发生整体湮灭，产生的能量