内核恐慌

70. 陈龙访谈 Mar 18, 2024

本期重拾程序员访谈系列，请来德国亚琛工大的陈龙博士，从滑雪开始，聊到计算机视觉（Computer Vision）的研究方向和应用场景、神经网络的可解释性、以及在德国读博的心路历程和回国的计划。

2023技术播客节

本期节目参与了「2023技术播客节」，请访问 https://podfest.tech 或在各大社交平台、音频平台搜索「2023技术播客节」关注收听。

本期嘉宾

「脑放电波」是一档关注科技前沿、品牌营销和个人成长的谈话类节目。每期带给您一个有趣有据的话题，帮您在信息严重过载的现代世界小幅自我迭代。

托马斯白：「脑放电波」主播，15+年科技行业从业者，科技媒体特约作者
Nixon：「脑放电波」主播，XR产品经理、前机器人产品经理、前科技媒体记者

2023技术播客节

本期节目参与了「2023技术播客节」，请访问 https://podfest.tech 或在各大社交平台、音频平台搜索「2023技术播客节」关注收听。

时间轴

00:00 开场: 内核恐慌 ✕ 枫言枫语联动
01:13 本期节目缘起
02:30 为什么曾经选择做一名程序员？
18:31 自力和 Rio 当初为什么从程序员转行？
33:23 Justin 和吴涛对程序员这个职业有什么新的理解呢？
1:03:02 如果不考虑收入你想做什么？
1:34:30 来一首什么样的片尾曲呢？
1:37:06 两台版本的 outro
1:38:31 片尾曲: Still Alive

嘉宾

Eric：字体排印研究者，译者，The Type 编辑
蒸鱼：设计师，The Type 编辑

62. 你的电脑不是你的 Jan 03, 2021

上期节目中提到的吟诗光猫案部分告破。本期节目我们邀请到了独立开发者刘亚晨一起聊聊 Apple M1 芯片上手体验、导致 macOS 应用无法启动的 OCSP 问题、以及你的电脑到底是不是你的。

嘉宾

Eric：字体排印研究者，译者，The Type 编辑
蒸鱼：设计师，The Type 编辑

57. Virus Panic Apr 01, 2020

关于节目的一些更新、吴涛从德国发回欧洲新型冠状病毒疫情报道、已在国区下架的《瘟疫公司》游戏对理解病毒传播模型的启发、朊病毒和计算机病毒的相似性、炫技型病毒/恶意程序的式微、商业/政治目的驱动的恶意程序逐渐成为主流、FPGA 病毒与杀毒的脑洞大开、优生学与 Star Trek、如何快速判断年份是否是闰年、2020 年闰年出现的各种软件 bug、节目新 logo 的制作过程、吴涛的备灾物资储备、德国人对戴口罩的根深蒂固的成见、以及德国的防疫措施。

【勘误】节目中 Rio 说错了 HTTP 304 永久跳转，应该是 HTTP 301 或 308 永久跳转。详见 RFC 7538。

Rio 和黄海主持的《疯投圈》
Rio 和任宁主持的《提前怀旧》

参考链接

年号（元号）
和历，日本传统历法，一种阴阳合历
以 17 世纪日本天文学家涩川春海为题材的小说及电影《天地明察》
千年虫问题
欧盟提案取消冬夏令时转换
Time Zone Database
中国时区
Microsoft Excel 的 1900 与 1904 日期系统
Unicode 12.1.0 添加了日本新年号「令和」合字字符 U+32FF（㋿）
Unicode 的 CJK Compatibility 区块（U+3300..U+33FF）
纵中横
《万叶集》，日本现存最早的和歌集
《归田赋》，东汉张衡的代表作之一
日本新年号「令和」发布时展示的书法字形
「常用漢字表の字体・字形に関する指針（報告）」，日本文化厅发布
天皇
UNIX Epoch time
抬头 / 抬格，中文书写规则之一
〈字谈字畅 014：□□␣□□〉，讨论了文本中的空格和间隙等
Hey! Say! JUMP，日本偶像男团，名称中的「Hey! Say!」与「平成」（Heisei）谐音

54. Get a Mac Mar 21, 2019

两期节目间隔期，吴涛已经学会了双拼，以及关于折叠手机、折叠键盘、Nintendo Switch、USB 3 的三种写法、Mac mini 2018、SSD、磁盘加密的讨论。

Rio 和黄海主持的《疯投圈》
Rio 和任宁主持的《提前怀旧》

参考链接

Gudrun Zapf-von Hesse（古德龙·察普夫-冯·哈塞）的经典作品 Hesse Antiqua 发布数码版本，由 Gudrun Zapf 及 Ferdinand Ulrich 合作设计，Monotpye 出品
国际标准 ISO/IEC 10646:2017 发布，与 Unicode 10.0 进行同步
Kerning Panic·字谈字串（三）🎙😂🤓🤑😌
UTF-16 和 surrogates；Unicode FAQ 关于 UTF-16 的其他释疑，亦可供参考
Wide character（宽字节）
Unicode FAQ 关于 UTF-8 和 UTF-32 的释疑
Unicode plane（平面）
Colin M. Ford 在 Medium 上撰文介绍 emoji 字体的常见格式及相关技术信息
- Google/FreeType 基于 OpenType 的 CBDT 和 CBLC 实现
- Apple 基于 TrueType 的私有扩展 sbix 实现
- Microsoft 基于 OpenType 的 COLR 和 CPAL 实现
- Adobe/Firefox 基于 OpenType 的 SVG 实现
区分特定符号的文本形态和 emoji 形态
- ISO 15924 四字母文种代码定义了「Zsym」和「Zsye」
- Unicode Emoji Locale Extension 定义了「-em」扩展代码
- Unicode Emoji Presentation Sequences 定义了两个变体选择器 VS-15 (U+FE0E) 和 VS-16 (U+FE0F)
Unicode FAQ 关于 VS（变体序列）及 IVS（表意字符变体序列）的释疑
Unicode Emoji SequencesN
UTS #52: Unicode Emoji Mechanisms，其中包含 emoji tag sequence 的提案
UAX #29: Unicode Text Segmentation
Twitter 在去年 9 月部分地升高了单条 tweet 的字符上限
《洛杉矶时报》曾报道短信字符数上限值的来源

主播

Rio：《内核恐慌》主播
吴涛：Type is Beautiful 程序员，《内核恐慌》主播
Eric：字体排印研究者，译者，Type is Beautiful 编辑
蒸鱼：设计师，Type is Beautiful 编辑

48. Kerning Panic·字谈字串（五）规范化有四样形式，你知道么？ Jul 25, 2017

今日「字谈字串」，谈谈如何判断两个 Unicode 字串是否等价，以及其中必不可少的流程——规范化（normalization）。

参考链接

Type is Beautiful 十周年专页
TypeSchool 中文设计课，8 月 4 至 9 日将在北京开办；8 月 1 日前可报名
京都汉字博物馆内展出的一台日文打字机
IBM Selectric 打字机，以 typeball（字球）结构实现字体的存放和打印
Courier) 字体，用于 IBM Selectric 打字机
7 月 17 日是「世界 Emoji 日」，Apple 在今年当日分享了即将发布的新 emoji 设计
AssignPhoneticName.py，江疆编写的 Python 脚本，可为 Mac 通讯录的中文姓名自动加注汉语拼音
Unicode 标准 2.12 节，叙述了等价序列（equivalent sequences）及规范化（normalization）的相关概念；另有 FAQ 可供参考
UAX #15: Unicode Normalization Forms
Unicode Normalization Charts
APFS (Apple File System)，Apple 推出的新文件系统；另有 FAQ 可供参考
HFS+，Apple 开发的文件系统
Idempotence（冪等性）
Hash map（哈希映射）
macOS High Sierra，下一代 Mac 操作系统，将搭载 APFS
IDN（Internationalized Domain Dame，国际化域名）
Punycode
W3C 关于 normalization 的规范可参考工作草案 Character Model for the World Wide Web: String Matching and Searching；另有一则 Q&A 可供参考
《字谈字畅》第十二轮抽奖结果

人物简介

Rio：IPN 联合创始人，Apple4us 程序员，《IT 公论》《疯投圈》及《内核恐慌》主播
吴涛：Type is Beautiful 程序员，《内核恐慌》主播
Eric：字体排印研究者，译者，Type is Beautiful 编辑
蒸鱼：设计师，Type is Beautiful 编辑

47. Do You WannaCry? May 19, 2017

在祝贺大家新年好之后两人讨论了五月十二日的勒索软件大爆发。

（录音时有原因未知的随机噪声掺入，当时并未察觉，后期已尽力去除，但与人声混合部分仍有残留，见谅。）

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

46. Kerning Panic·字谈字串（四）峰回路转换行来↵ Apr 04, 2017

CR, LF, CRLF

参考链接

2007 年 4 月 4 日，Rex 发布了 Type is Beautiful 现存最早的公开文章
“Power of Emoji”，Mariko Kosaka 在 ffconf 2016 上的演讲
小狼毫，中州韵输入法（RIME）的 Windows 版
Unicode Emoji 总表 5.0 版
所指和能指（signified & signifier）
L. A. Gatys, A. S. Ecker, & M. Bethge. “A neural algorithm of artistic style”. 2 September 2015 (last revised). arXiv:1508.06576（关于美术作品风格转移的研究）
将 Gatys、Ecker、Bethge 等人的研究成果运用到油画作品上的实验；GitHub 上另有一个风格转移算法的具体实现，可供参考
Erik Bernhardsson 基于五万个字体训练了一组神经网络，可用于生成新的字体
Z. Lian, B. Zhao, & J. Xiao. “Automatic generation of large-scale handwriting fonts via style learning”. SIGGRAPH Asia 2016, Article No. 12, Technical Briefs, December 2016（基于风格学习生成中文手写字体的研究）
大芬村
Android O
打字机（typewriter）
中文打字机（Chinese typewriter）
电传打字机（teletypewriter）
回车（carriage return）
换行（line feed）
德文键盘上，Home 键标为 Pos1 (Position eins)
确认键（Enter），及其与 Return 的区别
换行操作在不同环境中的控制符表示，以及 CR+LF 控制符顺序的历史原因
软回车和硬回车（soft return & hard return），「软回车↩︎」在部分文字处理软件中也被称作「强制换行」
HTML
元素
分段符（pilcrow, ¶）
Git 可配置纯文本文件的换行控制符风格及自动转换等
早期版本的 Windows 记事本（Notepad），存在换行控制符的问题
CotEditor，macOS 平台上开源的纯文本编辑器
TextEdit+，Mac OS X 原生 TextEdit（文本编辑）的增强版，江疆（jjgod）开发
SFTP、FTPS 和 SCP

主播

Rio：IPN 联合创始人，Apple4us 程序员，《IT 公论》《疯投圈》及《内核恐慌》主播
吴涛：Type is Beautiful 程序员，《内核恐慌》主播
Eric：字体排印研究者，译者，Type is Beautiful 编辑
蒸鱼：设计师，Type is Beautiful 编辑

45. Kerning Panic·字谈字串（三）🎙😂🤓🤑😌 Nov 29, 2016

本日四方会谈，聚焦全球性政治议题：绘文字。

距离上一个世界绘文字日，已经过去 135 天。立足当下，我们将以语言的、文字的、历史的、文化的、设计的、技术的等多方面视角，不中立、不全面、不深刻地闲聊绘文字。

参考链接

CotEditor，macOS 上的一款纯文本编辑器
U+FFFD (Replacement Character)，UTF-8 编码为「0xEF 0xBF 0xBD」，以国标码解码可能形成「锟 (0xEFBF) 斤 (0xBDEF) 拷 (0xBFBD)」
南極星（NJStar Software）
Shift JIS
U+FEFF (Zero Width No-Break Space, BOM)，UTF-8 编码为「0xEF 0xBB 0xBF」，以国标码解码可能形成「锘 (0xEFBB)」
Guillemet，法语书写系统中使用的引号
World Emoji Day，每年 7 月 17 日
Emoji（絵文字）
Unicode 关于 emoji 的定义及相关释疑
NTT DoCoMo 最初发布的 176 个 emoji，已被 MoMA 纳入馆藏
栗田穣崇（Shigetaka Kurita），NTT DoCoMo 初版 emoji 的开发者
Emoticon（颜文字）
Dingbat
Pictogram（象形文字 / 图形文字）
Egyptian hieroglyphs（圣书体）
i-mode，NTT DoCoMo 架设的移动互联网服务
Pidgin language（混杂语）
Unicode 现行 emoji 排序法（v4.0）
艸（cǎo），《康熙字典》艸部部首
Unicode 完整 emoji 列表（v4.0）及近期新增一览（v4.0）
Santa Claus
Emojipedia，Jeremy Burge 于 2013 年创办
Matt Sephton 基于 Emojipedia 的数据开发了一部电子词典，可在 macOS 中使用
Colin M. Ford 在 Medium 上撰文介绍 emoji 字体的常见格式及相关技术信息
- Google/FreeType 基于 OpenType 的 CBDT 和 CBLC 表实现
- Apple 基于 TrueType 的私有扩展 sbix 表实现
- Microsoft 基于 OpenType 的 COLR 和 CPAL 表实现
- Adobe/Firefox 基于 OpenType 的 SVG 表实现
Adobe 基于 OpenType-SVG 开发的彩色字体，Photoshop CC 2017 已经支持
Twemoji，Twitter 开发的 emoji，可在 web 上跨平台使用
Emoji 标准化工作曾在 Unicode Consortium 内部引发较大争议
Unicode 定义的 emoji 序列（v4.0）及 emoji ZWJ 序列（v4.0）
ZWJ (U+200D, Zero-Width Joiner) ，可用于拼接特殊的 emoji 序列
IPN 旗下电台 logo 一览

主播

Rio：IPN 联合创始人，Apple4us 程序员，《IT 公论》《疯投圈》及《内核恐慌》主播
吴涛：Type is Beautiful 程序员，《内核恐慌》主播
Eric：字体排印研究者，译者，Type is Beautiful 编辑
蒸鱼：设计师，Type is Beautiful 编辑

44. 发布会太无聊了，我们来聊聊 SHENZHEN I/O Nov 06, 2016

两人评论但并不仅评论了十月廿七的苹果发布会，之后介绍了两款编程游戏。

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

43. 双侧轮流肾移植 Sep 12, 2016

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

42. Kerning Panic·字谈字串（二） Jul 26, 2016

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

参考链接

「纽伦堡内麦塔狐」，典出《字谈字畅》第二十三期
曲（qū/qǔ），麯 / 麴 (qū)
区位码)的「区位」即「row-cell」，日语称「区点」
Ten key
算术基本定理
各国读写电话号码的习惯；另有 ITU-T 起草的推荐规范 E.123，包含国际电话号码的注记格式
电话编号规划
TeX 指令通常以反斜杠（\）开头
各书写系统中的引号
「乱码」在几种外语里的表述：
- 文字化け（日语）
- Mojibake（英语，音译自日语）
- Zeichensalat（德语，直译即「符号沙拉」）
Emoji（音译自日语「絵文字」）
ASCII（美国信息交换标准代码）
JIS X 0201，七位及八位信息交换用编码字符集；前身为制定于 1969 年的 JIS C 6220，是日本最早的编码字符集规范
JIS X 0208，七位及八位双字节信息交换用汉字编码字符集
언문（諺文） / 한글（韩字） / 조선글（朝鲜字），英语通称 Hangul
半角片假名
编码，《内核恐慌》第十八期
GB 2312，信息交换用汉字编码字符集·基本集
GBK，汉字内码扩展规范；Windows 系统的代码页 CP936 是它的一个实现
GB 18030，信息技术——中文编码字符集
GB 12345，信息交换用汉字编码字符集·辅助集
单射
「干 / 乾」这对字具有「一繁对多简」和「一简对多繁」的双重属性
新加坡汉字 / 新马简体
Big5（大五码），港澳台较常用的编码及字符集标准
Code page（代码页）
Unicode
Unicode BMP（Basic Multilingual Plane，基本多语言平面）#Basic_Multilingual_Plane)，GB 13000.1 与 Unicode BMP 的相关标准基本等同
Unicode 定义的 script)
中日韩统一表意符号（CJK Unified Ideographs）
芸（U+82B8），同时为中文「蕓」、日文「藝」的简化字
KS X 1001，韩国编码字符集标准，前身为 KS C 5601；对同形异音的汉字进行重复编码
日本的「中国地方」
「支那」源自梵文 चीन (cīna))
Ken Lunde. CJKV Information Processing, 2nd Edition. O’Reilly Media, 2009
当下 Unicode 最常用的三种编码格式：
- UTF-8
- UTF-16
- UTF-32
Rio 撰于 2012 年的 Unicode 编码相关知识的笔记
Surrogate pair，用于 UTF-16，借以扩展可编码字符集的范围
Endianness（端序），该术语典出《格列佛游记》小人国内的两个教派
BOM（byte order mark，字节顺序标记），对应的字符是 U+FEFF (Zero Width No-break Space)
(U+1F574, Man in Business Suit Levitating)

主播

Rio：IPN 联合创始人，Apple4us 程序员，《IT 公论》《疯投圈》及《内核恐慌》主播
吴涛：Type is Beautiful 程序员，《内核恐慌》主播
Eric：字体排印研究者，译者，Type is Beautiful 编辑
蒸鱼：设计师，Type is Beautiful 编辑

41. 一辈子做技术 Jul 18, 2016

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

登场人物

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

40. 迟到的 Google I/O 专题 Jun 28, 2016

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

登场人物

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

39. Kerning Panic · 字谈字串（一） May 16, 2016

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

登场人物

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。
Eric：字体排印研究者，译者，Type is Beautiful 编辑
蒸鱼：设计师，Type is Beautiful 编辑

38. Hit the Kernel Panic Button Apr 24, 2016

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

37. 没有主题的闲聊 Mar 22, 2016

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员
吴涛：Type is Beautiful程序员，《内核恐慌》主播

36. 没有主题的闲聊 Mar 06, 2016

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

35. 没有主题的闲聊 Feb 22, 2016

逆向海淘就能获得比较好的 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.

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。吴涛：Type is Beautiful程序员，《内核恐慌》主播。

34. 本有主题但后来不得不变成没有主题的闲聊 Jan 26, 2016

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

33. 没有主题的闲聊 Jan 10, 2016

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

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

32. 覃超专访（之二） Jan 04, 2016

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人
覃超：峰瑞资本技术合伙人，创业者，前 Facebook 工程师

31. 覃超专访（之一） Dec 26, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员
覃超：峰瑞资本技术合伙人，创业者，前 Facebook 工程师

30. 没有主题的闲聊 Dec 12, 2015

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

29. Terminal Emulators Nov 29, 2015

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

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

28. In the Beginning was the Command Line Nov 14, 2015

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

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful程序员，《内核恐慌》主播。

27. And You Have to Support It for the Rest of Your Life Nov 01, 2015

本期没有主题。听众反馈之后讨论了 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.

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

26. Livid 专访 Oct 18, 2015

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。
Livid: V2EX 创始人。

25. Hyper.sh Oct 04, 2015

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

人物介绍

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
薛磊：前 SUN 工程师，HyperHQ 创始成员／软件工程师

24. XcodeGhost Sep 21, 2015

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

23. 程序员之路 Aug 09, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

22. 开发板 Jul 26, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

21. Debugging Jul 12, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

20. 设计模式 Jun 27, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

19. 测试 Jun 15, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

18. 编码 May 31, 2015

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

人物简介

吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

17. Microsoft Build May 17, 2015

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

16. And Now for Something Completely Different May 03, 2015

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

人物简介

吴涛：Type is Beautiful 程序员，《内核恐慌》主播。
梁海：字体及语言爱好者，多语言字体技师。
董福兴：Wanderer 创始人，大块文化出版数位内容事业部开发总监。
陈奕钧：「汉字标准格式」作者，专门研究偏门 web 排版 hack。
刘庆：Type is Beautiful 作者，《西文字体》译者、《字体故事》联合译者。
不鸟万如一：《IT 公论》主播，字节社创始人。

15. 数据可视化与交互设计 Apr 19, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。
陈晓霁：微软 Xbox 用户体验设计师。

14. 类型系统 Apr 04, 2015

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

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

13. 并发与异步 Mar 21, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

12. 数学与编程 Mar 07, 2015

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

人物简介

Rio：《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。
木遥：应用数学博士，Google 员工，Apple4us 成员。

11. 从 Backbone 到 React Feb 22, 2015

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

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。
Willow: Backplane 前端工程师。

10. React.js 研讨会专题 Feb 08, 2015

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。
柳成荫：WhatFont 开发者。

9. 程序员的理想工作环境 Jan 25, 2015

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

8. 「集装箱化」与运维管理 Jan 11, 2015

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

7. 软件包管理 Dec 27, 2014

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

6. 从 Portal 看生命周期管理 Dec 14, 2014

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

5. 编程字体 Nov 30, 2014

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

4. 编辑器巡礼 Nov 16, 2014

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

3. 静态网站生成器 Nov 03, 2014

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

吴涛希望 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。

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

1. 内核恐慌开播！ Oct 12, 2014

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

人物简介

Rio:《IT 公论》主播，IPN 联合创始人，Apple4us 程序员。
吴涛：Type is Beautiful 程序员，《内核恐慌》主播。

Our TOPPODCAST Picks

Follow Us

Stay Connected

相关链接

2023技术播客节

本期嘉宾

相关链接

2023技术播客节

相关链接

活动详情

报名方式

相关链接

时间轴

相关链接

相关链接

相关链接

嘉宾

相关链接

相关链接

相关链接

相关链接

相关链接

嘉宾

相关链接

相关链接

参考链接

相关链接

相关链接

相关链接

相关链接

相关链接

参考链接

主播

参考链接

人物简介

相关链接

人物简介

参考链接

主播

参考链接

主播

相关链接

人物简介

相关链接

人物简介

参考链接

主播

相关链接

登场人物

登场人物

相关链接

登场人物

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接

人物简介

相关链接