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