内核恐慌
吴涛、Rio
All episodes
Best episodes
Top 10 内核恐慌 Episodes
Goodpods has curated a list of the 10 best 内核恐慌 episodes, ranked by the number of listens and likes each episode have garnered from our listeners. If you are listening to 内核恐慌 for the first time, there's no better place to start than with one of these standout episodes. If you are a fan of the show, vote for your favorite 内核恐慌 episode by adding your comments to the episode page.
12. 数学与编程
内核恐慌
03/07/15 • 153 min
特别嘉宾木遥与 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 成员。
01/09/18 • 92 min
Emoji 自进入 Unicode 字符集,持续扩增着图标的数量,关注及争议随之而来。Emoji 的普及当然也离不开软件对其的支持。今天,我们与《内核恐慌》的两位主播久别重聚,从字符集、编码技术、字体、应用软件等多个视角,不中立、不全面、不深刻地(再次)闲聊绘文字。
参考链接
- 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 字体的常见格式及相关技术信息
- 区分特定符号的文本形态和 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 编辑
07/26/16 • 122 min
本期 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 最常用的三种编码格式:
- Rio 撰于 2012 年的 Unicode 编码相关知识的笔记
- Surrogate pair,用于 UTF-16,借以扩展可编码字符集的范围
- Endianness(端序),该术语典出《格列佛游记》小人国内的两个教派
20. 设计模式
内核恐慌
06/27/15 • 131 min
「串台」故障的原因终于揭晓;吴涛的莫尔斯码 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 比测试更加完备和简洁。在实际工作中,我们往往会针对验证的程序的特点,设计特定的逻辑系统,以进一步的降低证明的难度和复杂度。
相关链接
- 读者 Wang Jian 发来的 TDD 实践视频:YouTube、优酷
- Design Patterns: Elements of Reusable Object-Oriented Software
- 艾舍尔《天鹅》
- Erich Gamma
- Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
- Hacker’s Delight
- 《编程珠玑》
- 《建筑的永恒之道》
- Cocoa Design Patterns
- C# Delegate/Event
- Patrick Naughton
- Python Pattern: “Borg”
- God Object
- Golden Hammer
- The Lone Ranger
人物简介
- Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。
- 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
18. 编码
内核恐慌
05/31/15 • 58 min
吴涛独自主持的一期节目,一小时的内容包括读者反馈和对于计算机编码的简短介绍。
相关链接
- Visual Studio Compiler team 在 Build 大会上的演示(可以从 27’20” 开始)
- William Chen
- The Talking Machines
- Chinese Restaurant Process
人物简介
- 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
9. 程序员的理想工作环境
内核恐慌
01/25/15 • 151 min
吴涛和 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 程序员,《内核恐慌》主播。
8. 「集装箱化」与运维管理
内核恐慌
01/11/15 • 149 min
作为「生命周期管理」三部曲的最后一部分,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 程序员,《内核恐慌》主播。
5. 编程字体
内核恐慌
11/30/14 • 138 min
从补遗上期未能提及的若干编辑器开始,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 程序员,《内核恐慌》主播。
11/29/16 • 118 min
本日四方会谈,聚焦全球性政治议题:绘文字。
距离上一个世界绘文字日,已经过去 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 字体的常见格式及相关技术信息
- 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 一览
主播
06/28/16 • 112 min
这期是在 Google I/O 之后、WWDC 之前录的,迟到为歉。部分信息已经过时,请诸君明察。
登场人物
- Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。
- 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
Show more best episodes
Show more best episodes
FAQ
How many episodes does 内核恐慌 have?
内核恐慌 currently has 70 episodes available.
What topics does 内核恐慌 cover?
The podcast is about Podcasts and Technology.
What is the most popular episode on 内核恐慌?
The episode title '63. Kerning Panic·字谈字串(十)宗师级程序员的排印解决方案' is the most popular.
What is the average episode length on 内核恐慌?
The average episode length on 内核恐慌 is 114 minutes.
How often are episodes of 内核恐慌 released?
Episodes of 内核恐慌 are typically released every 15 days, 13 hours.
When was the first episode of 内核恐慌?
The first episode of 内核恐慌 was released on Oct 12, 2014.
Show more FAQ
Show more FAQ