返回 内核恐慌在 内核恐慌 中提及的公司。
64. Digital Sound
2021年8月7日 · 2:19:22
这期节目探讨了声音数字化的技术原理,包括采样定理、比特深度、模数转换等基础概念,以及MIDI协议、合成器、数字音频工作站如何改变音乐制作方式。嘉宾重轻深入讨论了数字音乐制作与真实乐器演奏之间的区别,指出技术并未也不会取代传统乐器演奏的独特价值,而是增加了新的创作可能性。节目还涉及拟物设计在界面和音乐中的演变,以及人声合成的挑战,最终强调音乐本质上是人的行为,技术只是工具。
62. 你的电脑不是你的
2021年1月3日 · 1:52:25
本期节目邀请独立开发者刘亚晨(Surge、Elpass 作者)分享 M1 MacBook Pro 的惊人性能与 macOS OCSP 认证引发的隐私争议。他实测编译代码耗时从 Intel MacBook Air 的 260 秒降至 40 秒,风扇几乎不转,Rosetta 2 模拟 x86 程序甚至比原生 Intel 更快。针对 Big Sur 中因 OCSP 服务器被 DDoS 导致应用无法启动的问题,他指出检查协议明文传输会泄露用户所用应用(如 Surge),并讨论了苹果承诺的加密、异步检查与 opt-out 改进。最后,三人从用户控制权角度辩论,认为苹果的强安全机制本质上是用部分自主权换取便利与防护,普通用户更倾向于这种平衡。
60. A very late episode about WWDC 2020
2020年9月17日 · 2:27:39
吴涛和Rio聊了旅行、NAS选购与Apple Silicon的WWDC 2020评论。Rio去了甘南,吴涛买了Synology DS220j和两块东芝3TB硬盘,讨论了整盘加密性能、叠瓦式(SMR)机械硬盘的坑(西数红盘混用SMR导致RAID重建极慢)以及SATA Power Disable针脚导致的兼容问题。他们还吐槽了macOS Catalina的SMB bug(休眠后连不上NAS需重启Finder),并期待Big Sur用APFS快照改进Time Machine。关于Apple Silicon,他们争论新MacBook会不会有触摸屏、双系统Windows是否可能,并预测续航可达15小时但苹果可能砍电池做薄。最后比较了iPad Pro vs MacBook Pro的选购纠结。
58. Kerning Panic·字谈字串(九)名名之中
2020年5月25日 · 2:14:47
本期《内核恐慌》与《字谈字串》串台,聚焦数字空间中的命名规范:从文件名的技术限制(DOS的8.3规则、Windows保留字如COM1、LPT1)到编程标识符的大小写风格(驼峰、蛇形、烤肉串),再到URL和hashtag的字符编码问题。嘉宾Eric和钱蒸鱼回溯了文件扩展名源于CP/M的历史,对比了Mac资源分支与Windows扩展名的哲学差异;讨论了空格、反斜杠、冒号等特殊字符在跨平台时的转义困境,以及日文Windows中反斜杠被日元符号替代的往事。还分析了大小写敏感性与保留性的权衡——现代系统多采用大小写不敏感但保留大小写的方案,而编程语言标识符则严格区分大小写。Unicode带来的复合字符和emoji命名进一步增加了复杂性,导致系统安全漏洞和兼容性难题。
55. Kerning Panic·字谈字串(八)人造千年虫
2019年5月14日 · 1:55:57
本期《内核恐慌》与《字谈字串》串台,讨论日本改元‘令和’引发的计算机软件日期处理与字体排印问题,指出这是新的人造千年虫。节目回顾了2000年千年虫的教训,但日本许多旧系统仍用两位数表示昭和年号,导致2025年面临昭和100年溢出。Excel的1900与1904日期系统差异造成跨平台混乱;Unicode 12.1为令和合字预留码位U+32FF,但实际使用率低,且字体厂商需同时设计横排和竖排字形。日本银行ATM曾因年号切换错误显示为1989年;驾照有效期写平成35年(本不存在),迫使官方后加西历注释。节目还探讨了日本排版的讲究,如数字有全宽、半宽、三分、四分等多套变体,以及竖排中数字需‘纵中横’排列等细节。
48. Kerning Panic·字谈字串(五)规范化有四样形式,你知道么?
2017年7月25日 · 2:09:04
本期节目深入探讨了Unicode规范化(Normalization)的四种形式:NFC、NFD、NFKC和NFKD,解释了它们在编码、存储和搜索中的不同用途。主讲人Eric(Speaker 1)指出,Unicode中同一字符可能有多种码位组合,规范化确保字符串等价性,但不同系统(如Windows使用NFC,macOS的HFS+使用NFD)会导致文件交换时出现乱码或字符拆分问题。吴涛和Rio补充了APFS文件系统对规范化不敏感的设计变化,以及它对开发者API选择的影响。节目还延伸到国际化域名(IDN)的伪码攻击风险、emoji域名安全漏洞,以及字体的合字(ligature)在搜索中的障碍。最后,听众反馈环节解答了中西文混排的行高对齐问题。整个讨论强调Unicode规范化的技术复杂性及其在实际应用中的坑。
45. Kerning Panic·字谈字串(三)🎙😂🤓🤑😌
2016年11月29日 · 1:58:59
本期《内核恐慌》与《字谈字串》串台,聚焦绘文字(Emoji)的全球性议题。节目从观众关于知乎复制乱码的反馈切入,引出Emoji的起源:日本NTT DoCoMo于1998-1999年由栗田穣崇设计首批176个Emoji,后经软银等运营商发展并于Unicode标准化。讨论涵盖Emoji的文化差异(如双手合十在泰国与美国的理解不同)、政治正确(肤色、性别及职业组合)、技术实现(Apple的SBIX位图、微软的COLR/CPAL分层矢量、Adobe的SVG字体)。节目指出Emoji数量已达1791个(Unicode 9.0),输入法依赖分类和关键词搜索,并探讨了ZWJ(零宽连接符)组合家庭、职业等复杂符号的机制。最后以IPN旗下电台logo的Emoji化可能性收尾,强调Emoji已成为一种新兴的象形文字系统,但面临跨平台兼容和语义歧义的挑战。
44. 发布会太无聊了,我们来聊聊 SHENZHEN I/O
2016年11月6日 · 1:35:59
本期《内核恐慌》中,Rio和吴涛点评了苹果MacBook Pro的Touch Bar、全USB-C接口及性能升级,认为Touch Bar对合盖使用者无实际用途,接口转换成本高且混乱,CPU性能提升有限(2012至2016年仅10%-40%),并吐槽macOS Sierra中Apple Watch解锁和通用剪贴板的糟糕体验。随后他们介绍了微软Surface Studio一体机,认为其价格和功能适合专业创意用户但离自身应用场景较远。节目重点推荐两款编程游戏:SHENZHEN I/O,玩家需在深圳华强北背景中编写汇编代码控制硬件,其数据手册包含中文未翻译细节;TIS-100,以修复一台故障计算器为任务,采用扫描版说明书设计,考验逻辑和并行处理能力。两款游戏均提供高度写实的工程挑战和幽默剧情。
35. 没有主题的闲聊
2016年2月22日 · 1:35:34
本期《内核恐慌》两位主播吴涛和Rio从逆向海淘聊起,对比AliExpress与淘宝的UI和运营态度,指出面向海外市场的AliExpress页面设计反而更干净专业。接着讨论Jeff Atwood提出的Scooter Computer概念——用廉价X86小电脑做家用VPN网关,Rio分享了自己用Go语言编写VPN的实践,解释了通过虚拟网卡(Tunnel Device)实现VPN的简单原理。随后话题转向Swift的API设计指南,强调去Objective-C化和命名规范。最后谈及Parse即将关闭,认为这凸显了依赖第三方PaaS服务的风险,并提到GitHub引入中层管理引发的团队动荡与开源社区的不满。
31. 覃超专访(之一)
2015年12月26日 · 1:20:31
本期嘉宾覃超分享了他从同济大学到卡耐基梅隆大学(CMU)再到Facebook的经历。2007年他在Google北京实习时,从李开复口中首次听说Facebook,并由此产生兴趣。他后来申请CMU的16个月硕士项目,期间在Top Coder世界总决赛遇到Facebook招聘人员,保持联系后于2010年通过校园面试拿到offer。他描述了Facebook的六周boot camp文化——新员工第一天就能访问全公司数据仪表盘,第二天就分配修改facebook.com主页bug的任务,强调数据驱动和信任文化。他最终选择加入Facebook的移动项目组(FOM),该项目因技术挑战和Google+竞争而逐渐缩减。覃超还回顾了独自驾车横穿美国从匹兹堡到硅谷的旅程,并鼓励年轻人出国开拓眼界。
30. 没有主题的闲聊
2015年12月12日 · 1:45:05
本期《内核恐慌》以听众反馈开篇,讨论了MinGW在Windows下用于科学计算(Fortran编译)和Wi-Fi组网难题(电力猫方案),随后聚焦Linux初学者的困境:一位听众因迁移网站至云服务器而遭遇命令行挫败,感叹“所有步骤都对却出问题”。主持人解释这是因为缺乏Unix历史理解,并建议系统学习或使用PaaS/SaaS简化。新闻环节点评了Swift开源(包括编译器、包管理器及社区成长)、Let's Encrypt公测(免费SSL证书自动化)以及PHP 7发布(跳过了难产的PHP 6,新增飞船运算符和null合并运算符),并分析了PHP社区因缺乏领袖导致的特性混乱。
24. XcodeGhost
2015年9月21日 · 1:54:55
本期《内核恐慌》围绕 XcodeGhost 事件展开,指出该事件源于开发者从非官方渠道下载了被篡改的 Xcode 编译器,导致编译出的 iOS 应用植入后门。主持人吴涛和 Rio 认为苹果的单一编译器分发模式加剧了风险,但本质上信任问题是根本——用户无法验证闭源编译器是否安全。节目深入探讨了 Ken Thompson 1984 年的图灵奖演讲《Reflections on Trusting Trust》,其中演示了编译器后门的隐蔽性,并引用 Daniel J. Bernstein 在《Some thoughts on security after ten years of qmail 1.0》中提出的减少代码量、重用系统工具、遵循最小受信代码等安全原则。最终强调,真正的安全需要从硬件到软件的完全自主可控,但现实中只能通过技术手段(如确定性构建、哈希校验)降低风险。
18. 编码
2015年5月31日 · 58:43
本期《内核恐慌》由吴涛独自主持,围绕计算机编码的核心概念展开,从机器语言、汇编到高级语言的演进,再到ASCII、Unicode等字符编码标准,解释了二进制如何表示文字、图像和声音。节目还包含丰富的读者反馈:一位听众回忆删除DLL导致系统崩溃的经历;另一位从力学角度比较机械键盘和薄膜键盘的压力曲线,指出机械键盘长时间使用可能更费力;还有听众推荐Data Science领域的资源和播客《Talking Machines》。结尾吴涛以幽默方式讨论“程序员如何找女朋友”,强调理解人际沟通的“编码”比技术知识更重要。
14. 类型系统
2015年4月4日 · 2:27:37
本期《内核恐慌》深入探讨编程语言中的类型系统,吴涛和Rio解释了它的核心作用:在计算机纯数字世界与人类思维之间建立映射,帮助程序员组织数据并避免错误。但他们也通过千年虫、2038问题和IEEE 754浮点数精度缺陷等具体案例,展示了类型系统引入的常见陷阱。节目区分了强类型与弱类型(如Haskell的严格 vs JavaScript的自动转换)、静态与动态类型(如C++的编译期剥离类型信息 vs Python的运行时类型推断),并讨论了用户自定义类型与系统原生类型的区别。他们还批评了JavaScript因弱类型导致的诡异行为,并比较了不同语言在类型转换上的设计哲学(如Perl使用点号拼接字符串以避免歧义)。最后,他们指出类型系统的选择深刻影响编程思维,并建议教育应从实用出发而非先灌输底层细节。
13. 并发与异步
2015年3月21日 · 1:59:24
本期节目深入探讨了并发(concurrency)与并行(parallelism)的区别,并发是处理多件事的能力,并行是同时执行多件事的能力。吴涛和Rio梳理了四种主流并发模型:传统的线程与锁、函数式编程(消除可变状态)、CSP(通信顺序进程,如Go语言的channel)和Actor模型(如Erlang的邮箱机制)。他们还分析了异步IO与协程,指出异步IO虽能避免锁问题但易陷入回调地狱,而协程则能保留线性逻辑流。节目最后推荐了《Seven Concurrency Models in Seven Weeks》等资源,并鼓励听众捐款支持节目。
10. React.js 研讨会专题
2015年2月8日 · 1:55:56
本期节目邀请到参加React.js Conf 2015的柳成荫(Willow),与主持人Rio和吴涛深入探讨React.js及其生态系统。节目从React解决传统前端框架(如Backbone)的DOM操作和状态管理问题入手,详细解释了Virtual DOM、JSX语法、单向数据流Flux架构、Immutable Data等核心概念。柳成荫分享了其公司从Backbone迁移到React的实践经验,并介绍了React Native如何通过Virtual UI抽象实现跨平台原生组件渲染,以及Facebook对React的强力支持。此外,节目还前瞻性地讨论了GraphQL与Relay如何解决RESTful API的局限性,以及图数据库在数据查询中的潜力。整体上,节目认为React代表了前端开发的下一个阶段,值得开发者深入学习和采纳。
8. 「集装箱化」与运维管理
2015年1月11日 · 2:29:36
本期《内核恐慌》主要探讨DevOps实践与容器化技术,Rio和吴涛认为软件部署应像实体集装箱一样标准化和隔离化。他们对比了Fabric、Capistrano等自动化工具与Puppet、Chef配置管理工具,重点介绍Python社区的Salt和Ansible。随后深入Docker,基于Linux cgroups实现轻量级容器,能毫秒级启动、减少资源损耗,并统一开发与运维环境。节目还提及CoreOS、Ubuntu Core等更激进的尝试,以及NixOS追求完全无状态系统的理念。
2. 键盘恐慌
2014年10月19日 · 2:06:24
嘉宾李如一与主持人Rio以程序员视角拆解机械键盘的选购逻辑。他们详细对比了Cherry MX轴的物理特性——黑轴(60克线性)、红轴(45克线性)、茶轴(有触感反馈)——并指出黑轴更适合高速打字。针对键位布局,两人以美式、德式、法式为例,说明美式布局是编程事实标准,而其他布局会导致符号输入困难,尤其批评了法国键盘默认输出符号而非数字的设计。李如一分享了自己在HHKB Pro2(电容键盘)和Das Keyboard红轴之间的切换体验,认为机械键盘并非玄学,而是能真实提升打字舒适度和效率。节目还介绍了人体工学键盘的两种思路:V形平面布局与垂直分体布局,并以Truly Ergonomic Keyboard和Matias单手键盘为例,同时解释了N-key rollover对游戏玩家的意义。最后李如一回溯了第一个软件Loopman的开发动机——解决英语听写中反复回放的痛点——并公开了GitHub源码。