(call/cc

Never say never

两则故事

一則科幻,在《三體》裡,羅輯冬眠到了數百年後的世界,在各種炫目的技術成就面前他只有目瞪口呆的份。可不久之後,他就發現三體人設置的基礎理論封鎖並沒有被突破,他看到的一切還只是在原有的理論儲備上折騰,不斷往極限靠攏。

那個時代的人卻也對此安之若素,甚至覺得能打敗三體人。丁儀的遺言發人深省:兩百年後,他還在教物理。

另一個則是史實。蘇聯開始裝備Mig-25,性能參數讓人咂舌,實用升限超過20000m,速度更接近3馬赫,極限時甚至飛過雙三,當時西方國家完全沒有可與之抗衡的戰鬥機,他們甚至擔心蘇聯科技已經全面領先。Mig-25的神秘面紗因別連科駕機叛逃日本而被揭開,結果卻發現其設計和製造其實相當落後,只不過是用典型的蘇式蠻幹硬上方法達到變態的性能參數。

故事講完,照例要來個俗套的這個故事告訴我們。

新理論新技術層出不窮,某公司及某公司及某某公司丟篇paper出來,大家就趨之若鶩,以為發現了新大陸。但是想想看,近年計算機領域有什麼基礎的理論和技術革新?答案是沒有,完全沒有。大家都只不過在幾十年前的理論儲備上折騰,把幾十年前的Lambda理論和十幾年前的Paxos挖出來都能唬人,外面看來神一般的系統,近看也只不過是一大堆平凡的C Code —— 這大概能算能搞出摩爾定律的飛速發展的業界的另一面吧。

大部份人的想象力是受其所知的制約的,超越現行理論限制的想象力,真的很難得。

基礎理論發展不夠快,那充分利用他們,穩紮穩打出點東西也是值得讚賞的。這些著名的Project,雖庖丁解牛下來一個CS學生都能懂,但這不妨礙它們成為工程奇蹟。但偏偏有人連paper都看不進去,用小聰明的微調方法在落後的基礎上做出點東西來,有的指標還能超過強大的對手,於是沾沾自喜,把小聰明發展成理論,寫成精品課程到處培訓,那就實在有點搞笑了。