Log in

goodpods headphones icon

To access all our features

Open the Goodpods app
Close icon
headphones
内核恐慌

内核恐慌

吴涛、Rio

一档号称硬核却没什么干货的信息技术主题娱乐节目
bookmark
Share icon

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. 数学与编程
play

03/07/15 • 153 min

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

相关链接

人物简介

bookmark
plus icon
share episode

Emoji 自进入 Unicode 字符集,持续扩增着图标的数量,关注及争议随之而来。Emoji 的普及当然也离不开软件对其的支持。今天,我们与《内核恐慌》的两位主播久别重聚,从字符集、编码技术、字体、应用软件等多个视角,不中立、不全面、不深刻地(再次)闲聊绘文字。

参考链接

主播

bookmark
plus icon
share episode
内核恐慌 - 42. Kerning Panic·字谈字串(二)
play

07/26/16 • 122 min

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

参考链接

内核恐慌 - 20. 设计模式

20. 设计模式

内核恐慌

play

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 比测试更加完备和简洁。在实际工作中,我们往往会针对验证的程序的特点,设计特定的逻辑系统,以进一步的降低证明的难度和复杂度。

相关链接

人物简介

bookmark
plus icon
share episode
内核恐慌 - 18. 编码

18. 编码

内核恐慌

play

05/31/15 • 58 min

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

相关链接

人物简介

bookmark
plus icon
share episode
内核恐慌 - 8. 「集装箱化」与运维管理
play

01/11/15 • 149 min

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

相关链接

人物简介

bookmark
plus icon
share episode

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

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

参考链接

主播

bookmark
plus icon
share episode
内核恐慌 - 40. 迟到的 Google I/O 专题
play

06/28/16 • 112 min

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

登场人物

bookmark
plus icon
share episode

Show more best episodes

Toggle view more icon

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

Toggle view more icon

Comments