再一次被打點滴的機器吵醒捌锭。摁下紅鍵等待護士到來乳怎。睜大眼睛看著昏黃燈光下的純白色天花板淘这。耳邊遠遠地傳來痛苦的呻吟袁梗。 醫(yī)院是一個適合思考的地方鲁猩。名正言順地不用干活兒。異國他鄉(xiāng)也沒...
發(fā)簡信
IP屬地：北京
-
與自己較勁鸵钝，與自己和解
-
Decision Procedures
學(xué)習(xí)一些logic里面reasoning的方法岖沛。 基礎(chǔ)概念 給定一個theory暑始，一個decision procedure是一個sound且complete的判定算法，檢查該...
-
生活管理
還是決定要把自己的生活好好的管理起來婴削。 凌晨1點睡覺廊镜，早上7點30起床，中午午休30分鐘馆蠕。 堅持英語學(xué)習(xí)期升。暫時以單詞惊奇、閱讀互躬、寫作為主，GRE考試后重點提升口語颂郎。 堅持體育鍛煉...
-
-
非主流編程入門
磚頭一般厚的入門教材乓序，不知所云的include或import寺酪，望而生畏的Hello World……大部分編程者都經(jīng)歷過一段折翼的入門歷程。編程真的是一件如此復(fù)雜替劈、如此晦澀的事...
-
談編程
兩年前寄雀，我在高中母校舉辦的夏令營上做了關(guān)于信息學(xué)競賽的報告。兩年前陨献，我告訴同學(xué)們盒犹，編程是一種技能，每個人都可以且應(yīng)該掌握眨业，就如同駕駛一樣急膀。兩年前，我瀏覽同學(xué)們的反饋龄捡，有一個女...
