特别嘉宾木遥与 Rio 和吴涛讨论了数学与编程之间的联系。话题包括但不限于：数学系的发展、统计学、数学与科学的关联、明尼苏达的天气、数学背景对于成为程序员的助益、Google 的工程师驱动特性、人们嘲讽新泽西的原因、养猫的经验、抽象几何学、Haskell、编程动手能力的来源、学习编程语言的意义、可视化编程、Lisp、FORTRAN、Go、C++、Swift、Optional、Google 的激励机制、欧洲的社会保障体制、技术变革带来的社会影响、中国政治坐标系测试、和食物替代饮料 Soylent。 相关链接 * 木遥在 Apple4us.com 的文章列表 * Quant (Quantitative analyst) * 贝叶斯定理 * 形式科学 * UCLA（加州大学洛杉矶分校） * Flyover States * 正交基 * Why your Cat Thinks You’re A Huge, Unpredictable Ape * Category Theory * Logo 语言 * Maker Movement * 木遥的 blog 文章：《学 C 编程记》 * John Backus * John McCarthy * Tweet: “guys i just invented the best programming language” * 木遥的 blog 文章：《形式证明：机器的光荣与人的梦想》 * Ken Thompson * Rob Pike * Option Type * Falling Into The Pit of Success * Clayton Christensen: Innovator’s Dillema * Eric Schmidt 的书 How Google Works * Xkcd 435 Purity * 中国政治坐标系测试 * 木遥的小说：《留学记》 * Soylent 人物简介 * Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。 * 木遥：应用数学博士，Google 员工，Apple4us 成员。

（Pocket Casts 用户如果最近无法下载 IPN 的节目请退订再重新订阅试试。谢谢。） Willow 给大家介绍了工作中编写基于 Backbone 的应用遇到的种种困难、小团队如何做技术选型、以及如何逐步将一个大型的 Backbone 应用以 React 重写。在节目后半段，Rio 和吴涛聊了聊 OS X 上的 .NET CoreCLR，还有窗口管理器 i3。 相关链接 * Backbone * Underscore * React * AngularJS * Building and Running .NET’s CoreCLR on OS X * 可在 Visual Studio 中编译 Swift 的 Silver * i3 窗口管理器 * Divvy 窗口管理器 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。 * Willow: Backplane 前端工程师。

Willow（柳成荫）参加完两天的 React.js Conf 2015 回到家里，Rio 和吴涛邀请他一起来聊一聊相关话题：React.js, Flux, JSX, XHP, ES6, React Native, Flexbox Layout, REST, Relay, GraphQL, graph database 等。 相关链接 * 《IT 公论》 #42: 海外中国程序员系列之三：WhatFont 插件作者柳成荫（Willow） * 《IT 公论》 #121: WhatFont for iOS 开发者访谈 * Backbone.js * Ember.js * AngularJS * React * React.js Conf 2015 议程及录像 * Flux 应用架构 * Reflux * Immutable.js * JSX * CSS Flexbox Layout in JavaScript * React Native 初体验 * Titanium Hyperloop * Representational State Transfer * Principled Design of the Modern Web Architecture * Unofficial Relay FAQ * TAO: The power of the graph * Graph database 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。 * 柳成荫：WhatFont 开发者。

吴涛和 Rio 在前几期的听众反馈以及新闻评论中聊到了 Namespace、Python3、带机械键盘的笔记本电脑、传说中的 2015 款 12 吋 MacBook Air 的键位问题、微软 HoloLens，并从吴涛入职新公司两周的感受出发，讨论了程序员的理想工作环境是什么。 相关链接 * 云风 * v2ex.com * 关于 Perl 为何没落的文章「Why Perl Didn’t Win」 * 雾件应为“Vaporware” * Jython * Pypy * Everything you did not want to know about Unicode in Python 3 * Namespace * The Use of Name Spaces in Plan 9 * Chocolatey * This is MSI’s insane mechanical keyboard laptop * IBM ThinkPad Butterfly Keyboard * InfoSec Taylor Swift * Jeff Atwood 关于键盘布局的文章 Have Keyboard, Will Program * 「Apple is like the weather; it pays no attention to criticism.」的出处文章 * Microsoft Surface (Table) * Microsoft Courier * Microsoft Xbox 360 Kinect 2009 Promotion Video * 消极姐的推 * R * Quora 上的问题「Which language is best, C, C++, Python or Java?」 * SCons * Bazaar * CVS * “Sunset” * Kerberos * Tiling window manager * i3 Window Manager * Awesome * xmonad * Linux Thinkpad Wiki * Subpixel Rendering * Objc.io Snippets * Julia Language * 土耳其肉夹馍 * Herman Miller Aeron * 跪椅 Variable balans * Longboard 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

作为「生命周期管理」三部曲的最后一部分，Rio 和吴涛探讨了 DevOps 的工作，部署网络应用的若干知名工具，改变了实体世界的集装箱，及其在赛博世界的对等品有何意义。 相关链接 * IT 公论 131 期「我仍然记得早期的互联网是什么模样。」 * Ubuntu Mono * Anaconda * 《狂蟒之灾》 * Dr. Dobb’s * Michael Abrash’s Graphics Programming Black Book 实体书，GitHub 上的电子版 * AnandTech * DevOps * Cisco CCIP * Digital Ocean * Linode * Ender’s Game * Fabric * Capistrano * Chef * Puppet * Pallet * Salt * Rex * 《集装箱改变世界》 * 《集装箱改变世界》英文 Kindle 版 * cgroups * LXC * Docker * Vagrant * CoreOS * Rocket * Nix / NixOS 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

延伸上期「生命周期管理」话题，本期节目中吴涛和 Rio 讨论了 package management，包管理。内容包括 Windows 的 DLL hell，各 Linux 发行版的打包格式，Homebrew 有何过人之处，Python 包管理工具的混乱现状，其他关键字包括 npm、Ruby Gem、Rake、Zope、Maven，当然还有 Rio 钟爱的 Go。 相关链接 * Apple Bundle 格式 * Apple Package 格式 * Windows Installer * Property List (.plist) file format * What is the AppData folder * The Rule of Silence “when a program has nothing surprising, interesting or useful to say, it should say nothing”. * DLL hell * Debian package * RPM format * 知乎问题：服务器操作系统应该选择 Debian/Ubuntu 还是 CentOS？ * Yum * Zypper * APT * FreeBSD ports * Fink * MacPorts * Homebrew * Homebrew formula * Linuxbrew * NuGet * 人彘 * lolcat * Maven * Why does Maven have such a bad rep? * Maven Adoption Curve * New project requirements start with Maven * Sonatype Nexus * sbt * Rake * Functional Programming Principles in Scala by Martin Odersky * easy_install * Distutils * pip * PyPI * PEP 381 - Mirroring infrastructure for PyPI * pythonz * Python Image Library * iPython Qt Console * Buildout * Zope * ZeroMQ * CocoaPods * Gem * DSLs - A powerful Scala feature * Stackoverflow「风滚草」勋章 * npm * Bundler * Semantic Versioning * Golang - Download and install packages and dependencies * Godep * Google Build System * YouTube Rewind 2014 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

本期吴涛和 Rio 花了相当长的时间讨论第一人称平台解谜游戏 Portal，目的只是为了让这期节目不要被以下干燥内容独占：如何用同一套 Java/Go/C# 代码同时支持 web/Android/iOS 三大平台？如果电脑内存和硬盘合二为一的话，编程模型会有什么变化？ 相关链接 * 个性化定制 Input 字体 * Go 1.4 正式支持 Android * Go 1.5 计划支持 iOS * GopherJS: Go 语言到 JavaScript 编译器 * Google Inbox 如何用同一套 Java 代码同时支持 Web, Android, iOS * GWT: 将 Java 编译成 JavaScript * J2ObjC: 将 Java 编译成 Objective-C * Portal 主题曲 Still Alive * Still Alive 作者 Jonathan Coulton 的网站 * Portal 2 漫画: Lab Rat (中文版) * Portal 真人电影短片 * Portal 大反派 GLaDOS * Core Dump * 磁芯存储器 (Magnetic-core Memory) * 王安电脑公司创始人王安 * 「640KB 内存完全足够了？」 * 协作式多任务 vs. 抢占式多任务 * Node.js * Managed code * Memory Management * Data Structure Alignment * Read-Only Memory * 虚拟内存 (Virtual Memory) * Windows NT boot loader * Intel 安腾处理器 * AMD64/x86-64 * 内存层级 (Memory Hierarchy) * 寄存器 (Register) * 高速缓存 (Cache) * 每个程序员都应该知道的访问延迟数值 * 异步输入输出 (Asynchronous I/O) * 三维集成电路 * 易失存储器 vs. 非易失存储器 * Cold Boot Attack * 序列化 (Serialization) * 网络启动 NetBoot * 忆阻器 (Memristor) * Automatic Reference Counting * Garbage Collection * Go 1.4 Changes to the runtime: fully precise garbage collector and concurrent garbage collector * 内存映射 (Memory Mapping) * 反向代理缓存服务器 Varnish * Varnish 架构师写的文章 So what’s wrong with 1975 programming? * Core Data * 姜峯楠 (Ted Chiang): The Lifecycle of Software Objects 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

从补遗上期未能提及的若干编辑器开始，follow up 持续了一小时，话题包括 .NET 跨平台、Handmade Hero、学徒工、DIN 1451 和 San Francisco 字体的差异。在后半部分，Rio 和吴涛分别历数了自己最喜欢的编程字体并分别做了推荐。 相关链接 * LoL 中的 Vi * Vico 所使用的 Nu 语言 * MacRabbit Espresso * Coda * 支持竖排的 CotEditor * Bracket * jEdit * QML 的 Go 语言 binding * Quantum OS * Crimson Editor * Visual Studio Community 2013 with Update 4 * Github 上的 ASP.NET * Handmade Hero * Handmade Hero 在 Twitch 上的频道 * Eclim * Pluralsight，PeepCode 的后继网站 * 以 San Francisco Font 作为 Yosemite 系统字体 * DIN 1451 字体 * 德国车牌字体 FE-Schrift * 1984 年的 San Francisco 字体 * Susan Kare * Monaco 字体 * Menlo 字体 * Input 字体 * Consolas 字体 * Source Code Pro 字体 * PT Mono 字体 * PragmataPro 字体、其专为编程设计的 ligature * Anonymous Pro * DejaVu Sans Mono * Linux Libertine 系列字体 * OCR A * 尚格云顿的沃尔沃广告片 * 针对上述广告的模仿版本之一、之二、之三 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

吴涛和 Rio 作为两个 Vim 用户讨论了 Emacs 与 Vim 之间（以及程序员界其他）的圣战、Sublime Text、TextMate、Chocolat（没有 e）、Vim、SciTE、UltraEdit、EditPlus、Notepad++、Vim、Atom、Acme、Vim、Eclipse、IntelliJ、NetBeans、Vim、Visual Studio、Xcode，以及 Vim。 相关链接 * Logic vs. American Logic * NeoVim * Vico * Bram Moolenaar * Rio 的知乎回答《Windows 8 失败了吗？》 * A tour of Acme * SciTe * SciTe Mac App Store 版本 * Quora 上的问题：Vim 和 Emacs 的区别何在？ * Visual Studio 各版本的差异 * 自动删除 Xcode 临时文件的工具：Watchdog * 微软宣布 .NET 平台服务器端开源 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

动态网站太重了。轻量级的静态网站生成工具一时蔚然成风，至少在开发者圈子里如此。它是什么，解决了怎样的问题，为什么流行，效果如何？ 吴涛希望 Rio 转写成 Go 的 Python 代码： import datetime print datetime.datetime.now().strftime('北京时间 %H 点 %M 分') Rio 的回复： import ( "fmt" "time" ) func main() { fmt.Println(time.Now().Format("北京时间 15 点 04 分")) } 简单来说，Go 使用「2006」、「Jan」、「2」、「15」、「04」等字面值来代替 strftime 中的「%Y」、「%b」、「%d」、「%H」、「%M」作为格式化日期时的占位符。延伸阅读： Parsing and formatting date/time in Go、http://golang.org/pkg/time/#pkg-constants。 相关链接 * @horse_mans 的推特帐号 * Static site generator 列表及 Github 关注度排名 * Jekyll * Jekyll Bootstrap * Octopress * Middleman * Pelican * Hyde * Hugo * spf13 的 The Ultimate Vim Distribution * Code kata * GIF: Demonstrating end-to-end automation to new employees

机械键盘、薄膜键盘、电容键盘、单手键盘、无刻印键盘、人体工学键盘、「和弦」键盘（Chorded Keyboard）、IBM Model M、Apple Extended Keyboard II、Matias Keyboard、HHKB、Das Keyboard、CODE Keyboard、黑轴、红轴、青轴、白轴、透明轴、Alps 轴、美式英语键位、英式英语键位、国际英语键位、德语键位、法语键位……两小时的键盘饕餮大餐。Bonus: Rio 人生开发的第一个软件曝光（下有 GitHub 链接）。 相关链接 * 机械键盘百科 * Happy Hacking Keyboard * Cherry * Cherry 键盘轴简介 * The Verge 关于 IBM Model M 的报道 * PS/2 接口 * ADB 接口 * 腕管综合症（Carpal tunnel syndrome） * RSI（重复性劳损） * Truly Ergonomic Mechanical Keyboard * Matias 单手键盘 * Das Keyboard * WASD Keyboards * Jeff Atwood 的博客 * Discourse * CODE Mechanical Keyboard * Rio 人生中开发的第一个软件：Loopman * Prompt 2 * 德沃夏克键盘布局 * Chorded Keyboard * FrogPad 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

《内核恐慌》节目初始化，主持人是 Rio 和吴涛，内容基本上是从 kernel panic 说到程序的异常处理机制，中间穿插着人机交互、NAS、社会工程学、报税、输入法、行车记录仪和 systemd，顺便黑了黑法国和 Java。 相关链接 * Kernel Panic * pmset * 「The car guy」相关新闻及评论 * i3 * Awesome * Informatics * Youtube 上面俄国行车记录仪影片集锦 * C setjmp / longjmp * Defer, Panic, and Recover * Swift 为什么没有异常处理？ * Systemd 作者对于来自开源社区攻击的评论 * 抵制 systemd 的网站 boycottsystemd.org * 鼠须管 * 鼠须管 GUI 配置工具 * 戛然而止 人物简介 * Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。 * 吴涛：Type is Beautiful 程序员，《内核恐慌》主播。