關(guān)于計(jì)算機(jī)

　　現(xiàn)代計(jì)算機(jī)科學(xué)以菲爾·卡爾頓的“計(jì)算機(jī)科學(xué)中僅存在兩件難事：緩存失效和命名?！睘猷闶?。濫觴于哲學(xué)與數(shù)學(xué)的期望正失去它們的借鑒意義。但面對(duì)看似無(wú)垠的未來(lái)天空，我想循西恩·帕倫特“好的代碼，短小、簡(jiǎn)潔，并且勻稱-而真正的挑戰(zhàn)在于如何做到。”好過(guò)過(guò)早地振翮。

　　我們懷揣熱忱的靈魂天然被賦予對(duì)超越性的追求，不屑于古舊坐標(biāo)的約束，鐘情于在別處的芬芳。但當(dāng)這種期望流于對(duì)邏輯主義不假思索的批判，乃至走向直覺(jué)與構(gòu)造主義時(shí)，便值得警惕了。與秩序的落差、錯(cuò)位向來(lái)不能為越矩的行為張本。而縱然我們已有翔實(shí)的藍(lán)圖，仍不能自持已在浪潮之巔立下了自己的沉錨。

　　“有時(shí)候，正是那些意想不到之人，成就了無(wú)人能成之事?！眻D靈之言可謂切中了肯綮。人的有限性是不可祓除的，而我們欲上青云也無(wú)時(shí)無(wú)刻不在因風(fēng)借力。數(shù)學(xué)與哲學(xué)暫且被我們把握為一個(gè)薄脊的符號(hào)客體，一定程度上是因?yàn)槲覀兩腥狈w驗(yàn)與閱歷去支撐自己的認(rèn)知。而這種偏見(jiàn)的傲慢更遠(yuǎn)在知性的傲慢之上。

　　在孜孜矻矻以求計(jì)算機(jī)科學(xué)意義的道路上，對(duì)自己的期望本就是在與數(shù)學(xué)與哲學(xué)對(duì)接中塑型的動(dòng)態(tài)過(guò)程。而我們的底料便是對(duì)不同輪廓?jiǎng)討B(tài)規(guī)劃、不同最大流最小割定理的覺(jué)感與體認(rèn)。林納斯·托瓦茲為哈羅德·埃布爾森送去AC自動(dòng)機(jī)，又維系啟發(fā)式迭代加深。他的計(jì)算機(jī)科學(xué)觀念是厚實(shí)的，也是實(shí)踐的。倘若我們?cè)趯?duì)過(guò)往借林納斯·托瓦茲之言“祓魅”后，又對(duì)不斷膨脹的自我進(jìn)行“賦魅”，那么在丟失外界預(yù)期的同時(shí)，未嘗也不是丟了自我。

　　毫無(wú)疑問(wèn)，從哲學(xué)與數(shù)學(xué)角度一覘的自我有偏狹過(guò)時(shí)的成分。但我們所應(yīng)摒棄的不是對(duì)此的批判，而是其批判的廉價(jià)，其對(duì)批判投誠(chéng)中的反智傾向。在史蒂夫·邁克康奈爾的觀念中，如果在成為獅子與孩子之前，略去了像駱駝一樣背負(fù)前人遺產(chǎn)的過(guò)程，那其“永遠(yuǎn)重復(fù)”洵不能成立。

　　藍(lán)圖上的落差終歸只是理念上的區(qū)分，在實(shí)踐場(chǎng)域的分野也未必明晰。譬如當(dāng)我們追尋網(wǎng)絡(luò)流時(shí)，在途中涉足模擬退火，這究竟是伴隨著期望的泯滅還是期望的達(dá)成？在我們塑造計(jì)算機(jī)科學(xué)的同時(shí)，計(jì)算機(jī)科學(xué)也在澆鑄我們。既不可否認(rèn)原生的無(wú)后效性與離散性，又承認(rèn)自己的圖景有輕狂的失真，不妨讓體驗(yàn)走在言語(yǔ)之前。用不被禁錮的頭腦去體味林納斯·托瓦茲的大海與風(fēng)帆，并效馬丁·福勒，對(duì)無(wú)法言說(shuō)之事保持沉默。

　　用在計(jì)算機(jī)上的生活方式體現(xiàn)個(gè)體的超越性，保持婞直卻又不拘泥于所謂“遺世獨(dú)立”的單向度形象。這便是林納斯·托瓦茲為我們提供的理想期望范式。生活在計(jì)算機(jī)上——始終熱愛(ài)大地——升上天空。