再一次被打点滴的机器吵醒。摁下红键等待护士到来。睁大眼睛看着昏黄灯光下的纯白色天花板。耳边远远地传来痛苦的呻吟。 医院是一个适合思考的地方。名正...

学习一些logic里面reasoning的方法。 基础概念 给定一个theory，一个decision procedure是一个sound且co...

还是决定要把自己的生活好好的管理起来。 凌晨1点睡觉，早上7点30起床，中午午休30分钟。 坚持英语学习。暂时以单词、阅读、写作为主，GRE考试...

砖头一般厚的入门教材，不知所云的include或import，望而生畏的Hello World……大部分编程者都经历过一段折翼的入门历程。编程真...

两年前，我在高中母校举办的夏令营上做了关于信息学竞赛的报告。两年前，我告诉同学们，编程是一种技能，每个人都可以且应该掌握，就如同驾驶一样。两年前...