再一次被打點滴的機器吵醒谭溉。摁下紅鍵等待護士到來墙懂。睜大眼睛看著昏黃燈光下的純白色天花板。耳邊遠遠地傳來痛苦的呻吟扮念。 醫(yī)院是一個適合思考的地方损搬。名正...

學習一些logic里面reasoning的方法。 基礎概念 給定一個theory柜与，一個decision procedure是一個sound且co...

還是決定要把自己的生活好好的管理起來巧勤。 凌晨1點睡覺，早上7點30起床旅挤，中午午休30分鐘踢关。 堅持英語學習伞鲫。暫時以單詞粘茄、閱讀、寫作為主，GRE考試...

磚頭一般厚的入門教材柒瓣，不知所云的include或import儒搭，望而生畏的Hello World……大部分編程者都經歷過一段折翼的入門歷程。編程真...

兩年前芙贫，我在高中母校舉辦的夏令營上做了關于信息學競賽的報告搂鲫。兩年前，我告訴同學們磺平，編程是一種技能魂仍，每個人都可以且應該掌握，就如同駕駛一樣拣挪。兩年前...