关于王垠：http://www.kurttlin.com/post/2011-10-03/5502426
- SQL，NoSQL 以及数据库的实质
- 对 Go 语言的综合评价
- 黑客文化的精髓
- 天下第一萌程序
- 一个对 Dijkstra 的采访视频
- 程序语言与它们的工具
- RubySonar：一个 Ruby 静态分析器
- 程序语言与……
- PySonar2 开源了
- 丘奇和图灵
- Pydiff Python结构化程序比较工具
- 原因与证明
- Ydiff 结构化的程序比较
- 程序语言不是工具
- 编辑器与IDE
- 程序语言的常见设计错误(2) – 试图容纳世界
- 关于语言的思考
- Yoda 表示法错在哪里
- 几个超炫的专业词汇
- 标准化试卷标记语言
- 一种新的操作系统设计
- Markdown 的一些问题
- 谈程序的“通用性”
- 什么是启发
- Scheme 编程环境的设置
- 谈“测试驱动的开发”
- 爱因斯坦谈教育
- 谈谈 Currying
- 谈惰性求值
- 对函数式语言的误解
- 什么是“脚本语言”
- Lisp 已死，Lisp 万岁！
- “解决问题”与“消灭问题”
- 程序语言的常见设计错误(1) – 片面追求短小
- 谈语法
- Oberon 操作系统：被忽略的珍宝
- 谈 Linux，Windows 和 Mac
- 解密“设计模式”
- Braid – 一个发人深思的游戏
- TeXmacs：一个真正“所见即所得”的排版系统
- 怎样写一个解释器
- 什么是语义学
- 什么是“对用户友好”
