千盛科技,，這次自動駕駛黑客松的發(fā)起者,，他們的一個副總丁洋在負(fù)責(zé)看比賽簡報(bào)。
千盛科技創(chuàng)造了一個虛擬的環(huán)境,，可以讓虛擬出的汽車在里面跑,，這是跟谷歌學(xué)習(xí)。他們向參賽者提供了一些接口,，讓他們在48小時之內(nèi)開發(fā)出自動駕駛的汽車,，看哪個團(tuán)隊(duì)能在各種路況中獲得最佳的表現(xiàn)。
路況分為7個部分：高速公路,、城市公路,、上下班高峰城市公路、山路,、狹窄公路,、賽道、越野,。
丁洋看第一名的成績,，在所有7個項(xiàng)目中有6個項(xiàng)目獲得了冠軍，開發(fā)者居然還是一個人的團(tuán)隊(duì),，還以為自己看錯了,，特意發(fā)消息給主辦活動的小姐姐問個清楚，確實(shí),，那天是有一個團(tuán)隊(duì)一個人,，還被迫跟人拼桌呢,。
丁洋是公司的CTO，喜歡看代碼,，打開第一名的代碼一看,，先看注釋，差點(diǎn)驚掉下巴：“??？形式化開發(fā)？有沒有搞錯,？”
形式化開發(fā)是在穩(wěn)定性要求極高的硬件,、航天等領(lǐng)域的一種基于數(shù)學(xué)的特種技術(shù)，丁洋給公司開發(fā)的平臺都沒有用形式化開發(fā),，只是有形式化驗(yàn)證，因?yàn)殚_發(fā)階段就用數(shù)學(xué)規(guī)劃好,，實(shí)在太耗時間了,，丁洋絕對想不到一個人團(tuán)隊(duì)能在短短48小時之內(nèi)用形式化開發(fā)的方式來編程，這簡直是……不是天才,，必有蹊蹺,。
丁洋毫不猶豫地約了常一笑來談一談。
常一笑開著他的五菱宏光來赴約,，在地下停車場被保安難為了好一陣才找到停車位,，他毫不介懷，帶著優(yōu)雅的穩(wěn)健的步伐從負(fù)一層來到千盛公司的那一層,。
前臺正是組織比賽的小姐姐鄢然,，看到常一笑，她蹭地站了起來,，非常熱情：“哎呀,，你可算來了，我們丁總問了好幾次了,，在CTO辦公室,，最里面的那個辦公室，算了,，我?guī)闳?。?p> 公司里有一個咖啡機(jī),，不過,，膠囊要自己花錢，鄢然居然用自己的膠囊給常一笑煮了一杯“大師匠心之埃塞俄比亞咖啡”,，她自己最喜歡的口味,。
丁洋奇怪地看了一眼過分熱情的鄢然,，常一笑則以為這是客人的日常待遇，毫無感恩之心地點(diǎn)了點(diǎn)頭笑納,。
“我是不是得了頭獎,？”常一笑有點(diǎn)惴惴不安，因?yàn)楸緛硎窍肽孟滤膫€項(xiàng)目的冠軍,，沒想到另外兩個敷衍了事的也得了冠軍,，幸好不是全部項(xiàng)目都第一，否則……
丁洋：“對啊,，群組里面已經(jīng)置頂了,，但是……群里有人說你作弊啊，因?yàn)橐粋€人無法完成這么多代碼量,。我本來對這種閑言碎語不放在心上,，但是，我看了你的代碼,，你用了形式化開發(fā),，這……這就過分了啊?！?p> 常一笑：“嗯,？怎么了？難道自動駕駛不用形式化開發(fā),？這是安全性要求很高的項(xiàng)目啊,，我可不想我的代碼出漏子，沒撞到人,，撞到貓貓狗狗也不好啊,。”
丁洋：“不是不是,，不是你違規(guī)了,，而是感覺不可思議，我沒見過一個人能寫這么多代碼的,，四個人的團(tuán)隊(duì)都夠嗆,。”
常一笑：“開發(fā)這點(diǎn)玩意兒,，還沒必要作弊……千萬別找借口扣我獎金啊,，我急需用錢的?！?p> 丁洋：“你有沒有興趣來我們公司實(shí)習(xí)啊……”
常一笑：“可以考慮,，但是我的獎金……”他很懷疑這孫子要賴賬了。
丁洋老神在在道：“別著急嘛,，我們要核實(shí)一下你的代碼,，應(yīng)該是沒問題,，來我們公司實(shí)習(xí)一個月吧，我去給你申請……5000塊錢的補(bǔ)貼,？”
常一笑：“一等獎是10萬塊錢獎金啊,，沒拿到獎金，我寢食難安……”
丁洋拍胸脯保證：“你放心,，我丁洋以人格擔(dān)保,，就算公司賴賬，我個人給你10萬塊錢,，我把話撂在這兒了,。”
常一笑嘆了口氣：“好吧好吧,，實(shí)習(xí)就實(shí)習(xí),，我可以周末來一天?！?p> 丁洋：“課程很緊,？哎呀，你是什么專業(yè)的,？”
常一笑：“環(huán)境工程?！?p> 丁洋：“并不是科班出身啊,，江城大學(xué)果然出人才?！?p> 常一笑沮喪地離開了CTO辦公室,，前臺那里，鄢然問：“怎么了,？好像不開心,。”
常一笑：“你們公司上個月有沒有拖欠工資,？好像給錢不痛快啊,，早知道不浪費(fèi)我48小時了，回家我連續(xù)睡了16小時才緩過勁來,，辛苦啊,。”
他用控制情緒的能力才讓自己連續(xù)48小時保持旺盛的精力,，回到家,，確實(shí)是睡了個16小時的囫圇覺。
鄢然：“怎么可能,？我們公司很痛快的,，一天都不拖,，去年過年之前還提前發(fā)工資呢。怎么,？很缺錢,？”
常一笑：“急用，有機(jī)會你給你們老總說說情,，拜托了,。”
鄢然只好答應(yīng),，她還不知道群組里有人舉報(bào)他作弊,，她對開發(fā)的代碼量也毫無概念。
看看時間,，快下班了,，鄢然說：“快下班了誒，我最討厭下班高峰了,，所以,，經(jīng)常吃了飯才回家，大廈的飯?zhí)猛Σ诲e的,，你要不要嘗嘗,？”
哎呀，快下班了嗎,？車技再好,，也怕堵車，常一笑答應(yīng)了一起吃飯,。
男生女生一起吃飯,，一般都是男生去打飯，不過,，這里的食堂需要開卡,，鄢然擔(dān)當(dāng)起打飯的任務(wù)，漂亮女生這么殷勤,，羨煞旁人,。
吃飯的時候，鄢然隨口問：“為什么你的花名叫‘海神明月刀’,？”
常一笑：“海神明月,，出自劉慈欣的小說《白堊紀(jì)往事》，刀,，出自古印度的智慧之書《韋陀真經(jīng)》,，有一句話：尋找真知、解救自我的過程是艱難的,，就像行走在鋒利的刀鋒上,，所以智者說得道是困難的,。”
鄢然：“呃……海神明月不知道,，但是后面的那句,，好像在哪里聽過？”
常一笑：“對,，毛姆的小說《刀鋒》,，名字就出自這個《韋陀真經(jīng)》?！?p> 鄢然：“嚇?biāo)牢伊?，好高深，原來是毛姆的小說,，這個我還看過,。”
常一笑：“看來你是經(jīng)不起嚇的,，我就不解釋海神與明月了,。很嚇人的故事?！?p> 鄢然：“劉慈欣經(jīng)常寫嚇人的故事,，這個是什么書？我剛才沒記住,?！?p> 常一笑：“白堊紀(jì)往事?！?p> 鄢然：“難道是寫恐龍的？”
常一笑：“猜對了,?！?p> 鄢然：“說說看，我喜歡看恐怖片,。又怕又愛,。”
常一笑：“好吧,，那我給你說說什么是海神與明月,。話說，在2,、3億年前,，有一只體型巨大的霸王龍，在追到獵物之后,，美美的飽餐了一頓,。然后就躺在地上休息,，但是，它一點(diǎn)兒也不覺得舒服,，因?yàn)樗薮蟮难揽p里塞滿了獵物的殘?jiān)?p> 就在這個時候,，它看到地上有一大群聞到了肉腥味的螞蟻沖它走了過來，嗷嗷的想要吃肉,。霸王龍一想,，如果這群螞蟻幫自己清理牙縫，自己豈不是得到了解脫,？于是,，它就很高興地給這群螞蟻搭了一座橋，用自己的爪子做橋梁,。
螞蟻這邊也心領(lǐng)神會,，立刻就順著爪子爬了上去。這一天,，開啟了偉大的龍蟻共生的時代,。經(jīng)過數(shù)以億年計(jì)的共生進(jìn)化，龍蟻共生發(fā)展到了高度文明的地步,，比現(xiàn)在我們?nèi)祟惖奈拿鞲痈呒?。龍族擁有高智商，豐富的想象力,，大尺度的行動能力,，比如去太空。
但是,，龍族自己的手腳不靈活,，很多精細(xì)的活兒都是承包給螞蟻干的，比如外科手術(shù),、清潔工,、修理工之類的。有人的地方就有江湖,，有龍的地方也有江湖,，只不過這個江湖大一點(diǎn)。
有螞蟻的地方也有江湖,，只不過這個江湖小一點(diǎn),。龍的江湖和螞蟻的江湖都發(fā)生了各自的爭霸戰(zhàn)。螞蟻江湖率先完成了一統(tǒng)江湖,，擁有一個最高領(lǐng)袖：螞蟻王,。龍的江湖競爭更加慘烈，最終還剩下兩派還在廝殺。在這個時代,，因?yàn)楦呖萍嫉陌l(fā)展,，龍蟻共生看上去已經(jīng)沒有什么必要了。
龍族擁有自己的精密儀器,，螞蟻也能通過機(jī)械把它們纖細(xì)的四肢的力量傳遞到星辰大海,。螞蟻王覺得螞蟻王國可能并不需要龍族了，而且,，它們還在打來打去分不出勝負(fù),，和諧社會遙遙無期，萬一將來誕生了龍王,，說不定還會對付螞蟻王國,。所以，螞蟻王決定先下手為強(qiáng),。
螞蟻王國制定了‘?dāng)嚯娦袆印?，要在龍族的大腦中直接用類似塑膠炸彈的東西，切斷龍族的腦神經(jīng),，讓整個龍族瞬間失去意識,。螞蟻王國里面唯一反對這個計(jì)劃的人……螞蟻，就是他們的首席科學(xué)家,。螞蟻?zhàn)灞容^善忘,，幾年前，太空中曾經(jīng)忽然出現(xiàn)了一個小太陽,，曾經(jīng)讓整個地球上的生命都非?？謶郑浵?zhàn)逶?jīng)詢問過龍族,，發(fā)生了什么事,。
龍族那邊并沒有給出明確答復(fù)。過了幾年,，大部分的螞蟻都把這件事忘記了,，但是作為好奇心比別的螞蟻都強(qiáng)烈的首席科學(xué)家，他沒忘記,，而且，最近隱隱約約聽到了似乎跟軍事有關(guān)的兩個名詞：海神與明月,。如果不搞清楚這個,，首席科學(xué)家認(rèn)為，恐怕貿(mào)然行事會有意想不到的風(fēng)險(xiǎn),。
螞蟻王同意首席科學(xué)家繼續(xù)跟進(jìn)海神與明月的情報(bào),，但是斷電計(jì)劃繼續(xù)執(zhí)行，時間在一點(diǎn)點(diǎn)流逝，到了最后的關(guān)頭,，首席忍不住親身前往一個龍族首領(lǐng)的官邸,，親口詢問海神和明月的事情。這位龍族首領(lǐng)看螞蟻科學(xué)家神色嚴(yán)肅,，就跟他說了實(shí)話,。
原來，前幾年出現(xiàn)又消失的那個小太陽,，是一團(tuán)偶然靠近地球的反物質(zhì)隕石,，在太陽系遇到物質(zhì)，湮滅成了純能量,，能量巨大,，所以看起來就像多了一顆太陽。沒多久,，龍族發(fā)現(xiàn)了還有別的反物質(zhì)存在,，而且是反物質(zhì)鐵，這一支龍族利用反物質(zhì)鐵的磁性,，把它們約束在一個狹小空間,，50噸的反物質(zhì)鐵，如果撤掉磁約束,，立刻就會跟地球上的物質(zhì)發(fā)生整體湮滅,，產(chǎn)生的能量足以摧毀整個地球的生物圈99.99%的生物。也就是說,，這一支龍族把反物質(zhì)鐵制作成了史無前例的高能武器,，裝載集裝箱里，?？吭谀硞€港口,。武器的代號叫：海神。
這個武器并不是拿來消滅對手的,，而是保護(hù)自己,。海神倒計(jì)時60分鐘會爆炸，差不多60分鐘的時候,，必須重置時鐘,，這樣，如果敵人消滅了海神龍族,，敵人也會在60分鐘之后毀滅,。喪心病狂吧？當(dāng)然,，敵人也不是吃素的,，他們也發(fā)明了類似的反物質(zhì)武器，代號叫：明月。這樣,，兩支龍族就保持了恐怖平衡,。”
果然好恐怖的故事,，鄢然有點(diǎn)受不了：“這也太……危險(xiǎn)了,。”
常一笑：“那是,，危險(xiǎn)的很,，現(xiàn)實(shí)中也有這種類似的核威懾，而且差點(diǎn)兒出事兒,。美蘇爭霸的市場在,，美國在阿拉斯加架設(shè)了大型的雷達(dá)站，能夠檢測幾千公里的目標(biāo),。沒想到剛剛搞好沒多久,，雷達(dá)就立刻報(bào)警，蘇聯(lián)有洲際導(dǎo)彈飛過來了,，而且不止一枚,，而且大量的洲際導(dǎo)彈。我可以想象當(dāng)時的負(fù)責(zé)人肯定是飛魂天外,，腦子一片空白,，怕不是世界末日到了？旁邊有人小聲提醒：老大,，蘇聯(lián)人雖然壞,，但是也沒這么喪心病狂吧？要不,？我們聯(lián)系他們一下,，看看發(fā)生了什么事？結(jié)果是……果然是烏龍,，這個破雷達(dá),，從月亮那里得到了回波，誤以為是大量的洲際導(dǎo)彈飛過來,。技術(shù)就是這么諷刺,。”
剛才那是恐怖故事,，這一段是差點(diǎn)兒發(fā)生的殘酷現(xiàn)實(shí),，鄢然更加嚇得俏臉蒼白，感覺比看了十場恐怖片還恐怖,。
常一笑細(xì)嚼慢咽吃著飯,，讓鄢然恢復(fù)情緒。
鄢然想起故事的主線來了：“白堊紀(jì)的事兒……”
常一笑：“沒錯,，龍族和螞蟻?zhàn)寰蜎]這么好的運(yùn)氣,，首席科學(xué)家正要告訴龍族首領(lǐng)斷電計(jì)劃，龍族首領(lǐng),，以及所有的恐龍都被醫(yī)療服務(wù)承包商——螞蟻?zhàn)迩袛嗔松窠?jīng),，倒了下去。
首席科學(xué)家回到蟻穴,，螞蟻王得意洋洋地說,，情報(bào)人員發(fā)現(xiàn)了科學(xué)家去龍族首領(lǐng)的官邸，知道他叛變,，所以提前發(fā)動了斷電計(jì)劃,。
得知真相之后，螞蟻王當(dāng)然是非常尷尬,，他們還剩下最后的機(jī)會,。海神和明月的幸好發(fā)射塔隱藏得比較隱蔽，那里的龍族沒有倒下,，根據(jù)情報(bào),，他們找到了信號發(fā)射塔，發(fā)出了絕望地要求通信的信號,，可惜,，龍族的人恨透了螞蟻?zhàn)澹娨粋€殺一個,，打光了子彈,，龍族放水創(chuàng)造護(hù)城河，數(shù)以億計(jì)的螞蟻抱成團(tuán),，漂浮著飄過護(hù)城河,。
龍族戰(zhàn)士又點(diǎn)燃了火焰。沒有時間等待火焰熄滅了,，數(shù)以億計(jì)的螞蟻抱成團(tuán),，任憑火焰把外層烤成焦炭，保證了核心有機(jī)會突破火圈,，終于攻破了龍族的最后防線,。
螞蟻雄兵告訴龍族它們的來意，然而,，一切都太晚了,，信號發(fā)射需要燃料發(fā)電，剛才的火焰就是燃料,，已經(jīng)耗盡了,，附近最近的燃料補(bǔ)給站來回需要20分鐘,，可是，距離海神之怒,，只剩下5分鐘,。
一切都太晚了。智者說,，尋找真知,、解救自我的過程是艱難的，就像行走在鋒利的刀鋒上,。這就是劉慈欣版本的6600萬年前白堊紀(jì)的前塵往事,。”