关于王垠：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：一个真正“所见即所得”的排版系统
• 怎样写一个解释器
• 什么是语义学
• 什么是“对用户友好”