43双侧轮流肾移植

两人评论且仅评论了九月七日的苹果发布会。四十一期 Rio 对于无线耳机的猜测几乎全中。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

42字谈字畅 026:Kerning Panic·字谈字串(二)

本期 123 分钟,我们着眼汉字,回望字符集发展简史,一览常见遗留编码,笑看端序内战风云,携手拥抱 Unicode。

41一辈子做技术

本期开始有主题曲。Rio 解释了为什么下一代 iPhone 会采用无线耳机,吴涛讨论了程序员的阶级流动性。最后聊了聊 WWDC 的各项更新,还不算太晚。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

40迟到的 Google I/O 专题

这期是在 Google I/O 之后、WWDC 之前录的,迟到为歉。部分信息已经过时,请诸君明察。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

39Kerning Panic · 字谈字串(一)

本期是与 Typeisbeautiful.com 的 podcast《字谈字畅》的联合节目,大致介绍了从用户按下键盘到屏幕上显示出文字的过程,为后续节目提纲挈领。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

38Hit the Kernel Panic Button

本期的口号是:They have computers, and they may have other weapons of mass destruction.

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

37没有主题的闲聊

Rio 买了他的 scooter computer;几条新闻;AlphaGo。

本期的口号是:to iterate is human, to recurse divine.

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

36没有主题的闲聊

Rio 的新节目,听众反馈,几条新闻。

本期的口号是:Nine people can’t make a baby in a month.

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

35没有主题的闲聊

逆向海淘就能获得比较好的 UI,Jeff Atwood 的 scooter computer 概念,Rio 在用 Go 写 VPN,Swift 库的新面貌,Parse 要关了,GitHub 可别。

本期的口号是:That’s the thing about people who think they hate computers. What they really hate is lousy programmers.

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

34本有主题但后来不得不变成没有主题的闲聊

这一期本来的主题是「文件系统」。但是由于两位主持人无数次把自己绕进去,无法顺利地推进话题,不得不将录音剪辑成仅剩闲聊的部分。下一次一定录好。

本期的口号是:It only takes a single line of code to bring a system to its knees.

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

我们推荐您使用泛用型播客客户端订阅收听《内核恐慌》,但您也可以在喜马拉雅荔枝 FM网易云音乐收听。

33没有主题的闲聊

新年快乐。两位主持人简短地讨论了一下近期的新鲜事,夹杂着大量闲聊。

本期的口号是:There are only two hard things in Computer Science: cache invalidation and naming things.

勘误:吴涛把「portmanteau」念成了「paramanteau」。目前仍旧有些国家尚未使用格里历,详见维基条目 Adoption of the Gregorian calendar

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

我们推荐您使用泛用型播客客户端订阅收听《内核恐慌》,但您也可以在喜马拉雅荔枝 FM网易云音乐收听。

32覃超专访(之二)

接着上次的访谈,覃超给我们讲讲他经历的 Facebook Phone 项目诞生和放弃的过程,以及三进程 WebKit (OS?) 架构。本期相关链接不可错过。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

我们推荐您使用泛用型播客客户端订阅收听《内核恐慌》,但您也可以在喜马拉雅荔枝 FM网易云音乐收听。

31覃超专访(之一)

本期我们请到了覃超,聊聊他去卡耐基梅隆大学 (CMU) 念书以及加入 Facebook 的故事。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

我们推荐您使用泛用型播客客户端订阅收听《内核恐慌》,但您也可以在喜马拉雅荔枝 FM网易云音乐收听。

30没有主题的闲聊

关于 MinGW 和 Wi-Fi 的听众反馈,然后讨论了初学者如何面对 Linux 操作系统,最后讨论了几条新闻。

本期的口号是:Show me a pull request, or STFU.

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

我们推荐您使用泛用型播客客户端订阅收听《内核恐慌》,但您也可以在喜马拉雅荔枝 FM网易云音乐收听。

29Terminal Emulators

本期补充了上期未能涉及的终端仿真器(terminal emulator),然后讨论了几则新闻。

本期的口号是:Everything is theoretically impossible, until it is done.

Rio 开始提供双向求职服务啦,欢迎求职者及应聘公司发信到 talent@riobard.com

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

我们推荐您使用泛用型播客客户端订阅收听《内核恐慌》,但您也可以在喜马拉雅荔枝 FM网易云音乐收听。

28In the Beginning was the Command Line

简短的读者反馈和新闻之后两人花费了大量时间来回顾 command line/shell 的历史,以及讨论它为什么重要。

本期的口号是:It is easier to port a shell than a shell script.

本期节目的剪辑在 iPad Air 2 上使用 Ferrite Recording Studio 完成。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

27And You Have to Support It for the Rest of Your Life

本期没有主题。听众反馈之后讨论了 Surge、网易账户泄漏事件、El Captain System Integrity Protection、Perl 6、和 Let’s Encrypt。

本期的口号是:Programming is like sex. One mistake and you have to support it for the rest of your life.

勘误:唐宗汉变性后的名字叫做唐凤。

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

26Livid 专访

本期我们请到了 Livid,一起聊他作为程序员、V2EX 站长和创业者的成长经历。

本期的口号是:Laziness, impatience, and hubris.

《内核恐慌》网站:https://kernelpanic.fm ,捐款地址:https://kernelpanic.fm/donate

25Hyper.sh

Hyper 是一款基于虚拟机的 Docker 替代引擎。本期我们邀请到了 Hyper 项目的创始成员、前 SUN 工程师薛磊(Simon)来聊一聊这款新工具。

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

24XcodeGhost

过了一个月两个人都不太记得上次说过些什么了。听众反馈与业界新闻评论之后讨论了此次 XcodeGhost 事件。

本期的口号是:Trust no one. Even your compiler.

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

23程序员之路

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

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

22开发板

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

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

21Debugging

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

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

20设计模式

「串台」故障的原因终于揭晓;吴涛的莫尔斯码 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, 从而可以证明 {P1}C1; C2; …; CN{QN}。 同样的,如果这个代码片段的 Specification 也可以写成,例如, {P}C1; C2; …; CN{Q}, 我们只需要再证明 P ⇒ P1 和 QN ⇒ Q, 即可以证明这个代码片段的确满足了给定的 Specification。因为这里的 P,Q,Pi, Qi 等描述了所有的可能情况,并且只需描述 Specification 关心的部分,所以这里的 Formal Verification 比测试更加完备和简洁。在实际工作中,我们往往会针对验证的程序的特点,设计特定的逻辑系统,以进一步的降低证明的难度和复杂度。

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

19测试

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

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

18编码

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

《内核恐慌》网站:http://kernelpanic.fm ,捐款地址:http://kernelpanic.fm/donate

17Microsoft Build

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

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

《内核恐慌》网站:https://ipn.li/kernelpanic ,捐款地址:http://kernelpanic.fm/donate

16And Now for Something Completely Different

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

《内核恐慌》网站:https://ipn.li/kernelpanic ,捐款地址:http://kernelpanic.fm/donate

15数据可视化与交互设计

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

《内核恐慌》网站:https://ipn.li/kernelpanic ,捐款地址:http://kernelpanic.fm/donate

14类型系统

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

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

《内核恐慌》网站:https://ipn.li/kernelpanic ,捐款地址:http://kernelpanic.fm/donate

13并发与异步

《内核恐慌》开放了捐款页面。吴涛和 Rio 先是回味了上一期的辉煌(如果还没有听请赶紧先去听),然后聊了包括新 MacBook 在内的其它一些事情,最后讨论了编程之中并发和并行的概念,相关的几种处理模型,以及异步模式。

《内核恐慌》网站:http://kernelpanic.fm,捐款地址:http://kernelpanic.fm/donate

12数学与编程

特别嘉宾木遥与 Rio 和吴涛讨论了数学与编程之间的联系。话题包括但不限于:数学系的发展、统计学、数学与科学的关联、明尼苏达的天气、数学背景对于成为程序员的助益、Google 的工程师驱动特性、人们嘲讽新泽西的原因、养猫的经验、抽象几何学、Haskell、编程动手能力的来源、学习编程语言的意义、可视化编程、Lisp、FORTRAN、Go、C++、Swift、Optional、Google 的激励机制、欧洲的社会保障体制、技术变革带来的社会影响、中国政治坐标系测试、和食物替代饮料 Soylent。

《内核恐慌》网站:https://ipn.li/kernelpanic

11从 Backbone 到 React

(Pocket Casts 用户如果最近无法下载 IPN 的节目请退订再重新订阅试试。谢谢。)

Willow 给大家介绍了工作中编写基于 Backbone 的应用遇到的种种困难、小团队如何做技术选型、以及如何逐步将一个大型的 Backbone 应用以 React 重写。在节目后半段,Rio 和吴涛聊了聊 OS X 上的 .NET CoreCLR,还有窗口管理器 i3。

《内核恐慌》网站:https://ipn.li/kernelpanic

10React.js 研讨会专题

Willow(柳成荫)参加完两天的 React.js Conf 2015 回到家里,Rio 和吴涛邀请他一起来聊一聊相关话题:React.js, Flux, JSX, XHP, ES6, React Native, Flexbox Layout, REST, Relay, GraphQL, graph database 等。

《内核恐慌》网站:https://ipn.li/kernelpanic

9程序员的理想工作环境

吴涛和 Rio 在前几期的听众反馈以及新闻评论中聊到了 Namespace、Python3、带机械键盘的笔记本电脑、传说中的 2015 款 12 吋 MacBook Air 的键位问题、微软 HoloLens,并从吴涛入职新公司两周的感受出发,讨论了程序员的理想工作环境是什么。

《内核恐慌》网站:https://ipn.li/kernelpanic/

8「集装箱化」与运维管理

作为「生命周期管理」三部曲的最后一部分,Rio 和吴涛探讨了 DevOps 的工作,部署网络应用的若干知名工具,改变了实体世界的集装箱,及其在赛博世界的对等品有何意义。

《内核恐慌》网站:https://ipn.li/kernelpanic

7软件包管理

延伸上期「生命周期管理」话题,本期节目中吴涛和 Rio 讨论了 package management,包管理。内容包括 Windows 的 DLL hell,各 Linux 发行版的打包格式,Homebrew 有何过人之处,Python 包管理工具的混乱现状,其他关键字包括 npm、Ruby Gem、Rake、Zope、Maven,当然还有 Rio 钟爱的 Go。

6从 Portal 看生命周期管理

本期吴涛和 Rio 花了相当长的时间讨论第一人称平台解谜游戏 Portal,目的只是为了让这期节目不要被以下干燥内容独占:如何用同一套 Java/Go/C# 代码同时支持 web/Android/iOS 三大平台?如果电脑内存和硬盘合二为一的话,编程模型会有什么变化?

5编程字体

从补遗上期未能提及的若干编辑器开始,follow up 持续了一小时,话题包括 .NET 跨平台、Handmade Hero、学徒工、DIN 1451 和 San Francisco 字体的差异。在后半部分,Rio 和吴涛分别历数了自己最喜欢的编程字体并分别做了推荐。

4编辑器巡礼

吴涛和 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。

3静态网站生成器

动态网站太重了。轻量级的静态网站生成工具一时蔚然成风,至少在开发者圈子里如此。它是什么,解决了怎样的问题,为什么流行,效果如何?

2键盘恐慌

机械键盘、薄膜键盘、电容键盘、单手键盘、无刻印键盘、人体工学键盘、「和弦」键盘(Chorded Keyboard)、IBM Model M、Apple Extended Keyboard II、Matias Keyboard、HHKB、Das Keyboard、CODE Keyboard、黑轴、红轴、青轴、白轴、透明轴、Alps 轴、美式英语键位、英式英语键位、国际英语键位、德语键位、法语键位……两小时的键盘饕餮大餐。Bonus: Rio 人生开发的第一个软件曝光(下有 GitHub 链接)。

1内核恐慌开播!

《内核恐慌》节目初始化,主持人是 Rio 和吴涛,内容基本上是从 kernel panic 说到程序的异常处理机制,中间穿插着人机交互、NAS、社会工程学、报税、输入法、行车记录仪和 systemd,顺便黑了黑法国和 Java。