内核恐慌

特别嘉宾木遥与 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