当然我在扯淡

　　 　　　　
• 知乎
　　 　　　　
• 丘奇和图灵
　　 　　　　
• 为什么一种程序语言是不够用的
　　 　　　　
• PySonar 的工作原理
　　 　　　　
• 原因与证明
　　 　　　　
• Ydiff 结构化的程序比较
　　 　　　　
• 编辑器与IDE
　　 　　　　
• 程序语言的常见设计错误(2) - 试图容纳世界
　　 　　　　
• 关于语言的思考
　　 　　　　
• Yoda 表示法错在哪里
　　 　　　　
• 几个超炫的专业词汇
　　 　　　　
• 一种新的操作系统设计
　　 　　　　
• 谈程序的“通用性”
　　 　　　　
• 什么是启发
　　 　　　　
• Scheme 编程环境的设置
　　 　　　　
• 谈“测试驱动的开发”
　　 　　　　
• 爱因斯坦谈教育
　　 　　　　
• 谈谈 Currying
　　 　　　　
• 谈惰性求值
　　 　　　　
• Hindley-Milner 类型系统的根本性错误
　　 　　　　
• 对函数式语言的误解
　　 　　　　
• 爱因斯坦对美国的第一印象
　　 　　　　
• 什么是“脚本语言”
　　 　　　　
• Chez Scheme 的传说
　　 　　　　
• Lisp 已死，Lisp 万岁！
　　 　　　　
• 论对东西的崇拜
　　 　　　　
• “解决问题”与“消灭问题”
　　 　　　　
• 程序语言的常见设计错误(1) - 片面追求短小
　　 　　　　
• 谈语法
　　 　　　　
• Oberon 操作系统：被忽略的珍宝
　　 　　　　
• 解密“设计模式”
　　 　　　　
• Braid - 一个发人深思的游戏
　　 　　　　
• TeXmacs：一个真正“所见即所得”的排版系统
　　 　　　　
• 怎样写一个解释器
　　 　　　　
• 什么是语义学
　　 　　　　
• GTF - Great Teacher Friedman
　　 　　　　
• 什么是“对用户友好”