我是乙個it業的小人物，業沒有什麼才氣，更不用說名氣，但對於我來說，這些都不重要，我喜歡寫程式，或者說是用程式來實現自己，當然能夠換到錢是更好的。
但，我還是我，離開john nash那個時代80年的我，離開john carmack那個時代20年的我，離開bill gate的microsoft 37500公里的我，還能有這樣的奢望麼。
我在廣州電器科學研究院任職，理論上是個很好的單位，很多人打破頭都進不去，但我現在已經只是掛名了，因為我已經不上班了，看到裡面那些所謂的開發者，研究者，領導者，都是一些為了高額利潤而不惜偷工作假的倒買倒賣者。而在裡面做得最久的都是連c＋＋或者a**都寫不出一句的無用一輩。很失望，真的很失望。
小學，知道離婚這擋事情，讓我對婚姻失望了，中學，知道科舉這樣的制度，讓我對讀書失望了，大學，知道導師這種職業，讓我對教育失望了，工作，知道太多太多，讓我對我們這個社會，是否還存在乙個小小的空間，能夠給讓我們撇開錢這個東西，好好做自己想做的研究，而產生了懷疑，因此，我對社會失望了。
所以，我現在在家，做一些不能賺錢的共享軟體，做一些無法討好領導的東西，做一些，讓我感到我存在，但是生活不存在的事情。我，對自己失望了。
謝謝你讓我知道原來這個世界上也有乙個人，那麼喜歡亞丁，那麼喜歡納木措，那麼喜歡青海湖，那麼喜歡自己，喜歡自己的理想。
謝謝，真的謝謝
ps。如果是我，我也會退學的，但幸運的是，我不是在清華。
王垠推薦的一些Linux工具
shell bash。它結合了 csh 和 ksh 的優點，並且有 readline 功能，你可以隨意繫結自己的鍵盤。程式開發 gcc,make,ld,scheme48,j2sdk,perl,python,tcl tk 幻燈工具 latex,context 影象處理 imagemagick。其中的 ...
看了王垠的文章《對Rust語言的分析》
一開始我也看了一點點rust，可能是我這個人對這種語言就是看不懂，我好像就只對c系的語言比較有親和力，然後在知乎看到這麼一段話 這個問題類似於重複繫結變數和型別推導的問題，屬於一種 使用者體驗設計 問題。無論如何，編譯器都很容易實現，然而不同樣式的 對於人類閱讀的工作量，是很不一樣的。很多時候最省人...
王垠系列 談程式的正確性
不管在學術圈還是在工業界，總有很多人過度的關心所謂 程式的正確性 有些甚至到了戰戰兢兢，捨本逐末的地步。下面舉幾個例子 100 可靠的 這是多麼完美的理想！可是到最後你發現，天天念叨著要 正確性 可靠性 的人，幾乎總是眼高手低，說的比做的多。自己沒寫出什麼解決實際問題的 倒是很喜歡對別人的 質量 評...