内核恐慌

读者声讨开发板的回馈；新闻包括 Gamescom （以及两位主持人为什么不玩 LoL）、微软的 Objective C API 开源、Cherry 的新红轴静音机械键盘；主题是程序员的自我修养。

两位主持人对 web 开发的态度；新闻是 Jeep 车被黑事件（更新：克莱斯勒已经宣布召回一百五十万辆汽车修复漏洞）；主题是微处理器开发板。

就着听众反馈，两位主持人介绍了自己管理密码的习惯；新闻包括 Hacking Team 的大泄密、Atom 1.0、以及卡马克在 VR 世界里跑 Racket 的野心。主题是 debugging——程序除错与调试。

「串台」故障的原因终于揭晓；吴涛的莫尔斯码 app 主意看来目前不可行；三封很长的读者反馈；主题是设计模式。两位主持人不约而同地病了，所以没有讲新闻。

节目中提及的读者 Haozhong Zhang 来信节选：

相对的，在 Formal Verification 中，举个例子，我们可以把每条指令的执行形式化表示成 {P}C{Q}，其中 C 是这条指令，P 称为前条件 (Pre-condition) 描述了 C 执行之前机器的状态 (例如某个寄存器的值是什么，某个内存单元的值是什么，通常不需要覆盖所有的寄存器和内存单元，仅需要根据验证的 Specification 选取我们关心的部分), Q 称为后条件 (Post-condition) 描述了 C 执行后的机器状态。注意，这里 Q 同时描述 C 被中断和不被中断的执行后的机器状态。非形式化的，{P}C{Q} 表示在满足前条件 P 的机器上执行指令 C 得到的机器状态满足后条件 Q。这样，对于上述的一个代码片段 C1; C2; …; CN 我们有 {P1}C1{Q1}，{P2}C2{Q2}, …, {PN}CN{QN}。然后，我们证明 Q1 ⇒ P2, …, QN-1 ⇒ PN，

Rio 使用 HHKB 的感想；读者来信；WWDC 短评；主题是软件测试。

吴涛独自主持的一期节目，一小时的内容包括读者反馈和对于计算机编码的简短介绍。

读了几封听众来信，评论了几条新闻之后，虽然嘴上说不要再讲微软，节目还是很诚实地讨论了这次微软开发者大会。

勘误：格里高利历与儒略历实际上是不同的。

Rio 缺席，如一代班。嘉宾四位，六方合谈。软核主题，中文排版。评议标准，臧否规范。谈笑即罢，尽欢而散。

多次提及的消极姐和我们一起聊了聊数据可视化与交互设计，当然一如既往地夹杂着许多其他离题万里的讨论，包括建筑师、建筑史、北京城墙、僵尸片、星战观片的最佳次序、设计师怎样编程，以及消极的若干屠龙之技。

正音班的废除；关于捐款的一些评论；Ducati Scrambler；听众来信选读；I Like Rabbits 网站 的意义；苹果为什么要收购 Foundation DB。

主题是「编程语言中类型系统的概念及作用」。