（轉）讓科學和理性回到計算機科學

讓科學和理性回到計算機科學

by 王垠

想寫點有用的文章，但是又不知道從哪裏開始寫。看過我曾經的文章的人，到如今還在給我來信，表達他們的欣喜。我以爲他們很可愛，我理解他們對真知的渴望，可是也深深的認識到我從前的文章對人的誤導做用。我很想告訴他們我對這些事物如今的認識，卻沒法開口，怕給人潑涼水，怕被認爲是對我之前「信仰」的倒戈。

但是我也深深的感受到計算機科學的研究中存在的宗教和非理性的思想。就算在世界頂尖的計算機科學家頭腦中，這種偏激的思想同樣存在，使得他們不能接受不同的理念。各類研究團隊提出本身的概念，造成不少知識的壁壘。多種紛繁複雜的設計，其實不過是用來解決同一個簡單的問題。互相攻擊，執拗己見，卻抓不住問題的關鍵。其實真理每每不在任何一方手中，它只存在於靜心觀察的人眼中。

我隱藏了好幾年的真實想法，一直沒有足夠的信心說出來。由於我怕本身是錯的，我不想給人錯誤的思想。直到如今，我終於有了足夠的證據，證實個人一些想法的正確。我蓄積了足夠的勇氣，能夠直抒己見，再也不怕誤導人。是科學和理性給了我這種勇氣，因此我決定寫一些文章。它們雖然可能會對你如今的思惟方式帶來衝擊，可是我寫做的初衷是給人以幫助，客觀的分析問題。不過必須隨時記住，我說的話都有多是錯的，你須要用本身的實踐去檢驗。

話說對Linux的見解，從實用角度上講，它是一個挺不錯的東西。然而從理論角度上講，它並非最早進的。從應用的角度上講，它對用戶確實很是不友好。我其實早就不是Linux，TeX，Emacs，或者別的稀奇古怪工具的忠實「信徒」或者用戶。雖然我隨時能夠用Linux作一些事情，可是用Linux仍是Windows已經沒有太大關係。操做系統其實不是高深莫測的神物，只要你明白它們的本質是什麼。會像「高手」同樣的使用Linux或者Windows其實並不能說明什麼問題。

因爲我受到的教育，我能設計各類各樣的程序語言和編譯器，我也在構想一個跟Unix很是不一樣的操做系統。我不知足於成爲一個合格的「用戶」，而老是試圖成爲一個創造者和改良者。我清楚的看到幾乎全部操做系統，數據庫和各類編程工具存在的缺點，我老是發現它們有能夠改進的地方。它們老是能夠變得更精悍，更高效，更方便。在不久的未來我會介紹一些個人設計和構想，你會發現它們與Unix工具的設計原則很不同。我也會介紹一些新的程序語言，編程工具等等。但願這能幫助你們提升對操做系統（包括Unix），程序語言，數據庫和各類工具的理解。我雖然可能會批評某些東西，但是這些批評都是通過理性的分析得出的結論，而並不針對它們的設計者我的。

我先把之前悄悄寫過的一篇對「Unix哲學」的見解貼在這裏，但願能幫助你們看清楚Unix的本質，從而能夠靈活的應用它的潛力，避免它的缺點。我放假了比較閒，因此會陸續寫一些文章。

我也常常寫一個英文博客，裏面包含一些比較深入的道理:
http://yinwang0.wordpress.com

也歡迎看看個人主頁，twitter或者微博:
http://www.cs.indiana.edu/~yw21
http://twitter.com/#!/yinwang0
http://www.weibo.com/yinwang0

固然我但願不是從計算機技術上給人以幫助，我但願個人經歷能給在各學科摸索中的的同窗們必定的啓發。

---

This article was posted at yinwang’s sina blog,
on 2012-05-17.
Though it’s not available on the blog now.

The article yin mentioned (對「Unix哲學」的見解), is also mirrored here, with the title Unix的缺陷.(FIXME: actually it’s not mirrored yet.)