Winamp Logo
内核恐慌 Cover
内核恐慌 Profile

内核恐慌

Chinese, Technology, 1 season, 70 episodes, 5 days, 13 hours, 30 minutes
About
《内核恐慌》是一档由 Rio 和吴涛主持的科技播客。号称硬核,可也没什么干货。想听的人听,不想听的人就别听。
Episode Artwork

70. 陈龙访谈

本期重拾程序员访谈系列,请来德国亚琛工大的陈龙博士,从滑雪开始,聊到计算机视觉(Computer Vision)的研究方向和应用场景、神经网络的可解释性、以及在德国读博的心路历程和回国的计划。 相关链接 亚琛工大中文简介 Landgraaf 室内滑雪场 陈龙滑雪的视频 Snow C2 e.V. 内核恐慌关于 LaTeX 的节目《63. Kerning Panic·字谈字串(十)宗师级程序员的排印解决方案》 表型学 Segment Anything
3/18/20241 hour, 19 minutes, 41 seconds
Episode Artwork

69. 内核恐慌 × 脑放电波:男孩的玩具(或曰「赛博奶瓶嘴」)

我们和「脑放电波」播客的串台节目,涉及的话题包括 NAS、充电宝、机械键盘、RGB「光污染」、VR、创客文化、以及 STEM 教育。 2023技术播客节 本期节目参与了「2023技术播客节」,请访问 https://podfest.tech 或在各大社交平台、音频平台搜索「2023技术播客节」关注收听。 本期嘉宾 「脑放电波」是一档关注科技前沿、品牌营销和个人成长的谈话类节目。每期带给您一个有趣有据的话题,帮您在信息严重过载的现代世界小幅自我迭代。 托马斯白:「脑放电波」主播,15+年科技行业从业者,科技媒体特约作者 Nixon:「脑放电波」主播,XR产品经理、前机器人产品经理、前科技媒体记者 相关链接 Network-Attached Storage 19-inch rack 老牌 NAS 品牌 Synology 国产 NAS 品牌 极空间 千元充电宝品牌 闪极 女性也喜欢的机械键盘品牌 洛斐 组装PC品牌 华硕 ROG 电子零售店 RadioShack 众筹网站 Kickstarter 和 Indiegogo 类似电影《盗梦空间》中的电动陀螺 Raspberry Pi Arduino BBC micro:bit
12/5/20231 hour, 37 minutes, 27 seconds
Episode Artwork

68. 编程的终结

从吴涛疫情后第一次回国参加线下活动以及短暂的失业经历聊起,我们谈到以 ChatGPT 为代表的生成式人工智能是否预示着以编程为代表的人类智力劳动的终结,以及强人工智能出现后人类不再需要从事任何劳动以获取收入的情况下,生命的意义与信仰问题。 2023技术播客节 本期节目参与了「2023技术播客节」,请访问 https://podfest.tech 或在各大社交平台、音频平台搜索「2023技术播客节」关注收听。 相关链接 HHKB Studio 键盘 TrackPoint Attention Is All You Need awk sed Marvin: The AI Engineering Framework Pair Programming Symbolics Aristotle Emergence 生き甲斐 Universal Basic Income
12/4/20231 hour, 57 minutes, 38 seconds
Episode Artwork

67. 上海聚会通知

吴涛回国省亲,我们借机在上海举行线下聚会。十年一遇、千载难逢;机不可失、失不再来! 活动详情 活动一:9月7日周四16~17点Rio在「INCLUSION·外滩大会」主持题为《国际化开源社区与开放创新》的圆桌讨论,地点:上海黄埔世博园外滩大会C2馆。 活动二:9月9日周六14~18点《内核恐慌》线下聚会,地点:上海黄埔世博园外滩大会创新舞台。 报名方式 用支付宝app扫二维码加入活动群,然后搜索「INCLUSION外滩大会」:活动一需购买9.7当日「论坛票」¥688(可在活动群内找Rio免费领取);活动二需领取9.9当日「专业观众票」免费。
9/2/20231 minute, 35 seconds
Episode Artwork

66. 爆肝恐慌

吴涛分享了一次难忘的滑雪受伤经历并吐槽了住院过程中糟糕的伙食,顺便聊到疫情状况下德国工作文化的变迁,以及关于通勤、病假、薪酬、税收等社会问题,并脑洞了假定人工繁育后代的科幻伦理道德。 注:这一期其实是录制在上一期之前,但是由于剪辑的原因耽搁了🤪 另:Valve 出品的 Steam Deck 游戏机是款不错的理财产品🤑 相关链接 ⚠️令吴涛肝肠寸断的 cannon rail 及其变种 Steam Deck Portal 吴涛在法兰克福大学附属医院享用的「法式大餐」揭开前 vs 揭开后 「塑料袋生羊」 Rick and Morty S01E07 Raising Gazorpazorp Bilibili 与艺画开天联合出品的科幻动画《灵笼》 yuzu: Nintendo Switch Emulator Rio 买的松下面包机 吴涛爱烤的意大利 Ciabatta 面包 烘焙爱好者必备的厨师机 木工用的各种锯
11/24/20221 hour, 47 minutes, 24 seconds
Episode Artwork

65. 内核恐慌 × 枫言枫语:如果不做程序员我们会做什么?

没错,拖更一年多以后我们再一次通过友台枫言枫语续命了!内容如题所示,全场进行友台的灵魂三问。 (剪辑和下面的时间轴也是友台贡献的!) 时间轴 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 相关链接 吴涛提到的开锁频道:YouTube - LockPickingLawyer Justin 在节目中提到的德国程序员小哥: 也谈钱 吴涛的 Blog: Yet Another Awkward Predicament | Metamorphosis 片尾曲相关游戏 Portal: Still Alive 片尾曲: Portal - ‘Still Alive’ - YouTube 友台主播: 枫影 Justin Yan | 微博 友台主播: 自力 hzlzh | 微博
8/14/20221 hour, 39 minutes, 50 seconds
Episode Artwork

64. Digital Sound

我们邀请到了《不在场》播客主播重轻老师一起来聊聊声音是如何被数字化的。但节目后期的走向偏离了大纲的设定。 相关链接 重轻在机核网的个人页 机核网《尝试用最简单的方式讲乐理知识-调式篇》 机核网《尝试用最简单的方式讲乐理知识-和声篇》 官大为(Wiwi Kuan) NiceChord(好和弦) 数字模拟转换:ADC 和 DAC AirPods 音频编码:AAC、SBC、MP3 音频接头 采样(Sampling) 奈奎斯特香农采样定理 傅立叶变换(Fourier Transform) 高动态范围(High Dynamic Range) 浮点数 MIDI 合成器(Synthesizer) 振荡器(Oscillator) 原音乐(Acoustic Music) 音叉(Tuning Fork) 添水(鹿威) Kraftwerk 工具辅助速通(Tool-Assisted Speedrun) 拟物(Skeuomorph) Hololens Minecraft Demo @ E3 2015 抬头显示(HUD) Magic Leap jumping whale Convolution Reverb
8/7/20212 hours, 19 minutes, 22 seconds
Episode Artwork

63. Kerning Panic·字谈字串(十)宗师级程序员的排印解决方案

/* shamelessly stolen from https://stackoverflow.com/questions/8160514/is-there-css-for-typesetting-the-latex-logo-in-html */ .tex, .latex, .tex sub, .latex sub { font: 1em serif; } .tex sub, .latex sub, .latex sup { text-transform: uppercase; } .tex sub, .latex sub { vertical-align: -0.5ex; margin-left: -0.1667em; margin-right: -0.125em; } .latex sup { font-size: 0.85em; vertical-align: 0.15em; margin-left: -0.36em; margin-right: -0.15em; } Rio 和吴涛与友台《字谈字畅》的两位主播一起聊聊 TeX 和 LaTeX。 Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 高德纳(Donald Ervin Knuth),美国计算机科学家、数学家,斯坦福大学荣誉教授 TeX,高德纳于 1978 年开发的、开源跨平台排版系统 吴涛于 2010 年所撰的《Computer Modern 的故事》,刊于 The Type LaTeX,一套 TeX 系统扩展,Leslie Lamport 开发 TikZ,一个 TeX 系统中的绘图工具 《岩波数学辞典》(第 4 版)由 LaTeX 排版 The Art of Computer Programming (TAOCP),高德纳著,最早出版于 1968 年;计划共 7 卷,尚未完成,目前出版至第 4A 卷;现有中译本《计算机程序设计艺术》,国防工业出版社出版 蒙纳铸排机(Monotype system) 照相排版(phototypesetting) Metafont,高德纳开发的一种制作字体的程序 Knuth reward check,用于奖励指正高德纳出版物错误的读者 字谈字畅 137:本顿父子的世纪传奇 字谈字畅 125:迪多的刻板印象 “The TeX Pestilence (Why TeX/LaTeX Sucks)”,Xah Lee 批评 TeX 的文章 DVI (device independent file format),TeX 排版系统输出的文件格式 知乎公式编辑器 LyX,一款文档处理器 MathML,W3C 设计的数学公式标记语言 MacTeX,一个 macOS 平台的 TeX 发行版 MiKTeX,一个 Windows 平台的 TeX 发行版,现已跨平台 TeX Live,一个跨平台的 TeX 发行版 Web,高德纳设计的计算机编程语言系统,用于实现其「文学编程」(literate programming)的理念 pdfTeX,一套 TeX 系统扩展,Hàn Thế Thành 开发 LuaTeX,内嵌 Lua 脚本引擎的 TeX 系统扩展,最初由 Taco Hoekwater、Hartmut Henkel、Hans Hagen 等人开发 XeTeX,支持 Unicode、OpenType 等等先进字体排印技术的 TeX 扩展,Jonathan Kew 开发 TUG(TeX Users Group,TeX 用户组),旗下有学术期刊 TUGboat ConTeXt,一款基于 TeX 的文档处理器,有丰富的幻灯片设计功能 reveal.js,基于 web 技术的开源幻灯片框架 Overleaf,一款在线 LaTeX 编辑器 MusiXTeX,为实现乐谱排版的 TeX 宏和字体套装 PageMaker,最初由 Aldus 公司出品、后由 Adobe 接手的排版软件;后被 InDesign 取代 小林剑的著作 CJKV Information Processing, 2nd Edition 由 Adobe InDesign 排版 嘉宾 Eric:字体排印研究者,译者,The Type 编辑 蒸鱼:设计师,The Type 编辑
3/16/20212 hours, 16 minutes, 22 seconds
Episode Artwork

62. 你的电脑不是你的

上期节目中提到的吟诗光猫案部分告破。本期节目我们邀请到了独立开发者刘亚晨一起聊聊 Apple M1 芯片上手体验、导致 macOS 应用无法启动的 OCSP 问题、以及你的电脑到底是不是你的。 相关链接 Is it possible to extend the antenna for wireless router over coax? Multimedia over Coax Alliance WiFi over Coax 刘亚晨的博客、Twitter、Telegram 频道 刘亚晨开发的网络调试工具 Surge 刘亚晨开发的密码管理器 Elpass AnandTech M1 Mac mini 测评 Why is Apple’s M1 chip so fast? Apple M1 模拟运行 x86 游戏 iFixit M1 MacBook 拆解 Jonathan Morrison 对比 iMac Pro 和 iPhone 12 mini 视频输出速度 What Apple’s T2 chip does in your new MacBook Air or MacBook Pro Apple BridgeOS Intel Integrated Connectivity (CNVi) and Companion RF (CRF) Module What is Power Nap on Mac? Timer Coalescing Ultra Wide-Band How Apple’s U1 chip adds ‘amazing’ new capabilities to the iPhone Online Certificate Status Protocol Certificate Revocation List DDoS Kill switch macOS OCSP Disaster Safely open apps on your Mac Notarizing macOS Software Before Distribution Your Computer Isn’t Yours Right to Repair Microsoft Surface Pro X
1/3/20211 hour, 52 minutes, 25 seconds
Episode Artwork

61. 吟诗的光猫

《内核恐慌》六周岁了!(然而六周年庆节目不出意外的延期了……) 本期概要:Rio 家的宽带光猫会吟诗,以及若干家庭局域网和 WiFi 相关问题的讨论。 Teeth by Erin Hanson The day I lost my very first tooth, Was halfway through grade four, I’d run my tongue along the gap, Where my tooth had been before, I remember I went home crying, And showed it to my mum, She told me that a brand new tooth, Would grow up in my gum, In a while the gap would stop feeling strange, I wouldn’t notice the tooth was gone, The only reason I missed it now, Was because it was there for so long, Then slowly but surely over the weeks, In the gap a new tooth grew, And now it makes me wonder, If people are like teeth too. 相关链接 ISDN ADSL Radio Frequency Transmission Line Ethernet over Coax Apple AirPort Express 无线路由器 TP-Link TL-WR703N 便携式无线路由器 WiFi 4 (802.11n) WiFi 5 (802.11ac) WiFi 6 (802.11ax) ISM Band Rio 的第一台笔记本电脑 IBM ThinkPad X31 Intel Centrino WiFi 信道(channels) WiFi 漫游的三个相关标准:802.11r/k/v 波特率和比特率的区别 小米米家空调伴侣2 华硕 ASUS RT-AC86U 无线路由器使用 Merlin 固件配置多个 SSID 及 VLAN 的方法 How NAT Traversal Works 电信级NAT(CGNAT) 欧洲无线局域网标准 HiperLAN 中国无线局域网标准 WAPI
11/2/20202 hours, 20 minutes, 44 seconds
Episode Artwork

60. A very late episode about WWDC 2020

Rio七月消失去哪了、吴涛买了他的第一个NAS、整盘加密的性能问题、叠瓦式(SMR)机械硬盘、macOS 的 SMB 相关 bug、如何备份超过 8TB 的照片、以及迟到的 WWDC2020 评论。搭载 Apple Silicon 的 MacBook 会不会是触摸屏呢? Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 铜奔马(马踏飞燕) 群晖 Synology 威联通 QNAP 吴涛买的 NAS 型号是 Synology DS220j Rio 朋友送的 NAS 型号是 QNAP TS451 独立磁盘冗余整列 RAID PowerPC 架构 AES 指令集 Linux 内核磁盘加密子系统 dm-crypt Google 针对低端系统设计的 Adiantum 加密方式 叠瓦磁记录(Shingled Magnetic Recording) Western Digital admits 2TB-6TB WD Red NAS drives use shingled magnetic recording Western Digital Announces Red Plus HDDs, Cleans Up Red SMR Mess with Plus Branding SATA Power Disable Feature SMB: Server Message Block Samba macOS Catalina SMB bug iPad 上录制、剪辑播客的专用工具 Ferrite Recording Studio
9/17/20202 hours, 27 minutes, 39 seconds
Episode Artwork

59. Nook Panic

从一封即将转行的游戏开发者来信说起,我们聊了动物森友会以及中国游戏业因为某些众所周知的原因而失去的往昔。 Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 科普杂志 Nautilus 动森数据库 Nintendo opted for Friend Codes rather than username 讨论动森音效的 Scruffy 从沙盒和开放世界谈起,说说日本的箱庭设计理念 A first look at Unreal Engine 5 How Gaming is Changing the Media Landscape
7/7/20202 hours, 4 minutes, 43 seconds
Episode Artwork

58. Kerning Panic·字谈字串(九)名名之中

在电脑上创建文件名时,在编程中命名标识符时,在挑选域名、处理 URL 时,乃至在社交网站发布 hashtag 时,我们既要面对字符或字符组合的技术限制,也须遵循特定的书写风格或命名习惯。本期年更特辑「字谈字串」,我们将与两位友台主播一起聊聊数位空间中的命名问题。 Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 《内核恐慌》新网站使用了「丁卯点阵体」的 web font 《字谈字畅》第 124 期介绍了「丁卯点阵体」 丁卯点阵体开放试用 开源中文字体项目「文泉驿」 XP.css,复现早期 Windows 界面视觉风格的 CSS 框架 Vistaserv 介绍了在浏览器中模拟 1990 年代点阵字体显示效果的思路 Retro style 《魔神英雄传》(魔神英雄伝ワタル),SUNRISE 制作的系列动画 命名规则(naming convention) 文件扩展名(filename extension) CP/M Fork Polyglot 8.3 文件名 Resource fork WPS 文字处理系统 转义字符(escape character) 反斜杠(backslash) 标识符(identifier) 标识符常见的大小写及分词风格 Camel case,其中首字母小写的风格也称 Pascal case Snake case Kebab case 正在使用尺子辅助编程的 Python 程序员(可能是因为手边暂时没有游标卡尺) Mosh: mobile shell URI 字符类型及百分号编码 Hashtag Qiita 网友收集的最长 API 名 AppleScript 克里奥尔语(creole language) Windows 文件命名规则 句柄 在部分日文编码中,反斜杠(\)的码位被用于表示日元符号(¥) 在 Mac 的文件命名规则中,图形界面通常不允许文件名包含冒号(:),命令行则不允许斜杠(/) 大小写敏感(case sensitivity) 大小写保留(case preservation) 嘉宾 Eric:字体排印研究者,译者,The Type 编辑 蒸鱼:设计师,The Type 编辑
5/25/20202 hours, 14 minutes, 47 seconds
Episode Artwork

57. Virus Panic

关于节目的一些更新、吴涛从德国发回欧洲新型冠状病毒疫情报道、已在国区下架的《瘟疫公司》游戏对理解病毒传播模型的启发、朊病毒和计算机病毒的相似性、炫技型病毒/恶意程序的式微、商业/政治目的驱动的恶意程序逐渐成为主流、FPGA 病毒与杀毒的脑洞大开、优生学与 Star Trek、如何快速判断年份是否是闰年、2020 年闰年出现的各种软件 bug、节目新 logo 的制作过程、吴涛的备灾物资储备、德国人对戴口罩的根深蒂固的成见、以及德国的防疫措施。 【勘误】节目中 Rio 说错了 HTTP 304 永久跳转,应该是 HTTP 301 或 308 永久跳转。详见 RFC 7538。 Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 iOS 游戏《瘟疫公司》(需非中国区 Apple ID 才可下载) Netflix 自制剧 Love, Death & Robots Are Virus Dead or Alive? 朊病毒 冯诺伊曼 1966 年发表的论文 “Theory of Self-Reproducing Automata” First Computer Virus Norton Antivirus 金山毒霸 1997年江民杀毒软件KV3000逻辑炸弹事件 操作系统 Ring 0 和 Ring 3 的区别 Intel Management Engine Address Space Layout Randomization Unix chroot BSD jail Linux cgroups 勒索软件 Randsomware Common Vulnerabilities and Exposures Internet bot Stuxnet Programmable Logic Controller How big are viruses? Mamavirus 微生物体积对比视频:Microorganisms Size Comparison Field-Programmable Gate Array 集成 FPGA 的 Intel Xeon Scalable Gold 6138P 处理器 优生学/善种学 Star Trek 星际迷航 Leap Year 2020 年闰年bug列表 Google Inactive Account Manager
4/1/20201 hour, 51 minutes, 38 seconds
Episode Artwork

56. Get a NAS

2019年最后一期节目我们讨论了夏令时(again),马达加斯加,Google Stadia,自制 NAS(Network Attached Storage)与数据备份。 Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 STORING UTC IS NOT A SILVER BULLET Swatch Internet Time Google Stadia Round-trip delay time Negative latency Network-Attached Storage Btrfs RAID OpenZFS FreeNAS AirPort Time Capsule Time Machine on Samba BorgBackup Git Large File Storage Duplicacy: Lock-Free Deduplication Intel SHA extensions
12/16/20191 hour, 48 minutes, 3 seconds
Episode Artwork

55. Kerning Panic·字谈字串(八)人造千年虫

公元 2019 年 5 月 1 日,日本改元「令和」。年号的更迭让大家重新注意到计算机软件中时间与日期的处理问题,新年号的名称也离不开字体及排印的相关支持。 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)谐音
5/14/20191 hour, 55 minutes, 57 seconds
Episode Artwork

54. Get a Mac

两期节目间隔期,吴涛已经学会了双拼,以及关于折叠手机、折叠键盘、Nintendo Switch、USB 3 的三种写法、Mac mini 2018、SSD、磁盘加密的讨论。 Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 Thinkpad 701 蝴蝶机 Rio 在淘宝买的便携式蓝牙折叠键盘 (人体工学那款) The Verge 关于 USB 3 命名的报道 Ars Technica 的 2018 Mac mini review Apple T2 Security Chip Overview LG 34WK95U 34” 5K2K 显示器 💩一样的自加密西数硬盘 💩一样的自加密 SSD
3/21/20192 hours, 10 minutes, 4 seconds
Episode Artwork

53. Kerning Panic·字谈字串(七)输入法大乱斗

汉字因其字符集庞大而不便直接键入,输入法应运而生。随着输入法技术的发展、常用计算设备的更替以及用户习惯的变迁,中文输入法至今已经积淀了大量品类,各有特色专长。阔别许久,今天我们与《内核恐慌》的两位主播围炉杂谈输入法。 Rio 和黄海主持的《疯投圈》 Rio 和任宁主持的《提前怀旧》 相关链接 常见「中文输入法」可分为形码、音码、音形码等 四角号码 中文电报码 韵目代日,中文电报的纪日法 五笔字型输入法 笔画输入法 郑码 嘸蝦米输入法 仓颉输入法 ワープロ(ワードプロセッサ,word processor) Chinese Input Method Editor,一个免费的在线中文输入法工具 早期 Windows 系统上常见的拼音输入法: 智能 ABC 输入法 微软拼音输入法 紫光拼音输入法(后改名为「华宇拼音输入法」) 早期 Mac 系统上常见的拼音输入法: FIT QIM SunPinyin RIME 中州韵输入法,由佛振开发的中文输入法引擎 双拼 Rio 自用的双拼 cheatsheet 宮保拼音(Combo Pinyin),由佛振设计开发的 chord-typing 拼音输入法方案;另附佛振录制的视频展示 Flick input,一种适用于触屏设备的日文输入法 日文键盘布局 Gboard,Google 开发的虚拟键盘 T9) Mac 上英文输入时键入重音字符的方法
12/11/20182 hours, 1 minute, 28 seconds
Episode Artwork

52. Get a PC

时隔多年,主播二人不约而同的各自装了台 PC 机。 相关链接 On The Sad State of Macintosh Hardware Completely Silent Computer Chroma Subsampling Intel Optane DC Persistent Memory DIMM Raspberry Pi Compute Module 3 Remote Direct Memory Access Northbridge Southbridge 模块化电源 KVM Switch Display Data Channel (DCC/CI) Windows Subsystem for Linux
6/24/20182 hours, 3 minutes, 33 seconds
Episode Artwork

51. 挖坑 DNS

本期开场聊了中兴通讯被美国制裁的事情,然后切入正题聊 DNS 的各种坑。 相关链接 Wassenaar Arrangment Via’s Chinese Joint Venture Aims For Competitive Home-Grown X86 SOCs By 2019 如何看待兆芯? APNIC Labs enters into a Research Agreement with Cloudflare Reliable DNS Forgery in 2008: Kaminsky’s Discovery Understanding Kaminsky’s DNS Bug RFC7871: Client Subnet in DNS Queries Cloudflare: How DNSSEC Works DNSCrypt RFC7858: DNS over TLS IETF draft DNS over HTTPS RFC7413: TCP Fast Open RFC7918: TLS False Start A Question of DNS Protocols 1.1.1.1 8.8.8.8 114DNS (114.114.114.114, 114.114.115.115) DNSPod (119.29.29.29) Alidns (223.5.5.5, 223.6.6.6) BaiduDNS (180.76.76.76)
4/25/20181 hour, 52 minutes, 12 seconds
Episode Artwork

50. 「更年期程序员夜话又与您见面了!」

很长时间没有更新了,停更期间吴涛换了工作搬了家。开场吴涛介绍了他在「德国版金蝶」的新工作,过渡到正题关于近期三个安全漏洞(Meltdown, Spectre, KRACK)的讨论。结尾是两个根本不需要 iMac Pro 的人对当前 Mac 产品线的吐槽、论游戏 Factorio 与编程的关系、以及在 Mac 上玩游戏的尴尬。 相关链接 Why is Raspberry Pi not affected? KRACK Falling through the KRACKs Intel CPU + AMD GPU Factorio
2/7/20181 hour, 26 minutes, 28 seconds
Episode Artwork

49. Kerning Panic·字谈字串(六)Emoji(再次)拯救世界

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 字体的常见格式及相关技术信息 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 编辑
1/9/20181 hour, 32 minutes, 11 seconds
Episode Artwork

48. Kerning Panic·字谈字串(五)规范化有四样形式,你知道么?

今日「字谈字串」,谈谈如何判断两个 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 编辑
7/25/20172 hours, 9 minutes, 4 seconds
Episode Artwork

47. Do You WannaCry?

在祝贺大家新年好之后两人讨论了五月十二日的勒索软件大爆发。 (录音时有原因未知的随机噪声掺入,当时并未察觉,后期已尽力去除,但与人声混合部分仍有残留,见谅。) 相关链接 Visual Studio 2017 for Mac AppCode - Smart IDE for iOS/macOS development How to Accidentally Stop a Global Cyber Attacks 熊猫烧香 BackBlaze Btrfs ZFS RAID Copy-on-Write APFS 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
5/19/20171 hour, 36 minutes, 8 seconds
Episode Artwork

46. Kerning Panic·字谈字串(四)峰回路转换行来↵

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 编辑
4/4/20171 hour, 41 minutes, 36 seconds
Episode Artwork

45. Kerning Panic·字谈字串(三)🎙😂🤓🤑😌

本日四方会谈,聚焦全球性政治议题:绘文字。 距离上一个世界绘文字日,已经过去 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 编辑
11/29/20161 hour, 58 minutes, 59 seconds
Episode Artwork

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

两人评论但并不仅评论了十月廿七的苹果发布会,之后介绍了两款编程游戏。 相关链接 Total Nightmare: USB-C and Thunderbolt 3 ChatbotConf 2016 烧香袋 SHENZHEN I/O TIS-100 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
11/6/20161 hour, 35 minutes, 59 seconds
Episode Artwork

43. 双侧轮流肾移植

两人评论且仅评论了九月七日的苹果发布会。四十一期 Rio 对于无线耳机的猜测几乎全中。 相关链接 Quora 上对陶瓷外壳 iPhone 的猜测 Reset the System Management Controller (SMC) on your Mac Human Resource Machine / Steam 版本 Lectures on Digital Photography Introduction to Aerospace Engineering: Astronautics and Human Spaceflight 宫本茂 岩谷彻 USB 3.1 Have You Confused? Here’s Everything You Need to Know About the Standard 3D XPoint™ Technology Revolutionizes Storage Memory 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
9/12/20162 hours, 5 minutes, 31 seconds
Episode Artwork

42. Kerning Panic·字谈字串(二)

本期 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 编辑
7/26/20162 hours, 2 minutes, 57 seconds
Episode Artwork

41. 一辈子做技术

本期开始有主题曲。Rio 解释了为什么下一代 iPhone 会采用无线耳机,吴涛讨论了程序员的阶级流动性。最后聊了聊 WWDC 的各项更新,还不算太晚。 相关链接 Overwatch: Heroes never die How to Enable 4k 60Hz Resolution 2016 Macbook Being A Developer After 40 O’Reilly 2016 年程序开发薪酬报告 Searchable WWDC16 Video Transcripts King’s Quest 登场人物 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
7/18/20162 hours, 27 minutes, 16 seconds
Episode Artwork

40. 迟到的 Google I/O 专题

这期是在 Google I/O 之后、WWDC 之前录的,迟到为歉。部分信息已经过时,请诸君明察。 登场人物 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
6/28/20161 hour, 52 minutes, 53 seconds
Episode Artwork

39. Kerning Panic · 字谈字串(一)

本期是与 Typeisbeautiful.com 的 podcast《字谈字畅》的联合节目,大致介绍了从用户按下键盘到屏幕上显示出文字的过程,为后续节目提纲挈领。 相关链接 美茵河畔法兰克福(Frankfurt am Main),德国西部黑森州法兰克福的全称,区别于东部奥得河畔法兰克福(Frankfurt an der Oder) 吴涛、Eric 合译《字体故事:西文字体的美丽传奇》 编码,《内核恐慌》第 18 期 键盘恐慌,《内核恐慌》第 2 期 ANSI 键盘布局、ISO 键盘布局以及 JIS 键盘布局 ASCII 五笔字形输入法键位 HHKB (Happy Hacking Keyboard) QWERTY 和 Dvorak(德沃夏克)键盘布局 键盘扫描码(keyboard scancodes) PS/2 接口 USB Human Interface Devices (HID) 沢尻エリカ(ERIKA),日本艺人,中文名依本人意愿写作「泽尻英龙华」 Big5,港澳台较常用的编码 HKSCS(Hong Kong Supplementary Character Set,香港增补字符集)、MAC(Macao Information System Character Set,澳门资讯系统字集) 区位码)、中文电报码和四角号码 Code page BOM (byte order mark) 强(U+5F3A)、強(U+5F37) 絵文字(emoji)、顔文字(emoticon) ASCII art Fixedsys,微软开发的等宽点阵字体 MingLiU,微软开发的繁体中文明体 Hinting(渲染提示),anti-aliasing(抗混叠 / 抗锯齿) ClearType DPI (dots per inch) TrueType 和 OpenType Adobe PostScript 字体类型 Type 1 和 Type 3 Apple Advanced Typography 全角和半角 ATM (Adobe Type Manager) 登场人物 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。 Eric:字体排印研究者,译者,Type is Beautiful 编辑 蒸鱼:设计师,Type is Beautiful 编辑
5/16/20162 hours, 10 minutes, 56 seconds
Episode Artwork

38. Hit the Kernel Panic Button

本期的口号是:They have computers, and they may have other weapons of mass destruction. 相关链接 宙斯盾系统 NPM Left Pad Chaos OBD-II 车辆状态监测 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
4/24/20161 hour, 39 minutes, 7 seconds
Episode Artwork

37. 没有主题的闲聊

Rio 买了他的 scooter computer;几条新闻;AlphaGo。 本期的口号是:to iterate is human, to recurse divine. 相关链接 Laurence Peter Deutsch BeeBox Western Digital Makes A $46, 314 GB Hard Drive Just fot the Raspberry Pi SQL Server on Linux The Epic Story of Dropbox’s Exodus From the Amazon Cloud Empire atYevP 在 Hacker News 上面对于 Rio 评论的回复 Rick and Morty 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员 吴涛:Type is Beautiful程序员,《内核恐慌》主播
3/22/20161 hour, 42 minutes, 50 seconds
Episode Artwork

36. 没有主题的闲聊

Rio 的新节目,听众反馈,几条新闻。 本期的口号是:Nine people can’t make a baby in a month. 相关链接 Raspberry Pi 3 Microsoft Ends Effort to Bring Android Apps to Windows 10 Mobile Microsoft bought Xamarin to Bring C# to iOS and Android Swift: Port to Android #1442 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
3/6/20161 hour, 7 minutes, 59 seconds
Episode Artwork

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. 相关链接 AliExpress 乐天海外销售 The Scooter Computer Go 1.6 Swift API Design Guidelines Parse Server Push Notifications GitHub 公司结构调整 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
2/22/20161 hour, 35 minutes, 34 seconds
Episode Artwork

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

这一期本来的主题是「文件系统」。但是由于两位主持人无数次把自己绕进去,无法顺利地推进话题,不得不将录音剪辑成仅剩闲聊的部分。下一次一定录好。 本期的口号是:It only takes a single line of code to bring a system to its knees. 相关链接 Computer forensics GIMPshop Mike Hearn 的文章「The resolution of the Bitcoin experiment」 Bram Cohen 批评 Mike Hearn 的文章「Whiny Ragequitting」 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
1/26/201656 minutes, 27 seconds
Episode Artwork

33. 没有主题的闲聊

新年快乐。两位主持人简短地讨论了一下近期的新鲜事,夹杂着大量闲聊。 本期的口号是:There are only two hard things in Computer Science: cache invalidation and naming things. 勘误:吴涛把「portmanteau」念成了「paramanteau」。目前仍旧有些国家尚未使用格里历,详见维基条目 Adoption of the Gregorian calendar。 相关链接 二〇〇二与二〇一五年的桌面对比 Rio 写的 Automated Certificate Management Environment 客户端 Ligature Fira Code Pragmata Pro Rio 改的异端邪说项目 vim-cute-python Hasklig 针对 Rockchip 日历缺陷的补丁说明 Kwm 平铺窗口管理器 IE 8、9、10 将于一月十二日(周二)过期 Terminals in Neovim Ian Murdock 亡故,其推特帐号已删除。 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
1/10/20161 hour, 45 minutes, 47 seconds
Episode Artwork

32. 覃超专访(之二)

接着上次的访谈,覃超给我们讲讲他经历的 Facebook Phone 项目诞生和放弃的过程,以及三进程 WebKit (OS?) 架构。本期相关链接不可错过。 相关链接 线段树 (segment tree) Lars Rasmussen Kent Beck JUnit Phabricator 徐万鸿:我已经没法看完所有朋友圈内容了 Chris Cox Facebook Photos Face.com 张小龙关于用户体验的回答 魏小亮 粟耀莹:《从加州理工到高盛银行》 Slayer, Buffy, Sputnik Zuckerberg 清华演讲视频 Glass ceiling Metro UI Matthew Papakipos Joe Hewitt Bret Taylor Tornado Web Server WebKit V8 JavaScript engine WebWorker React React Virtual DOM Facebook Home Quip Google+ George Hotz 覃超众筹 T-shirt 求支持 赵海平 Michael Arrington 在 TechCrunch 上关于 Facebook Phone 的报道 Facebook Messenger 奥巴马访问 Facebook 总部 奥巴马硅谷宴会照片 人物简介 Rio:《IT 公论》主播,IPN 联合创始人 覃超:峰瑞资本技术合伙人,创业者,前 Facebook 工程师
1/4/20161 hour, 19 minutes, 17 seconds
Episode Artwork

31. 覃超专访(之一)

本期我们请到了覃超,聊聊他去卡耐基梅隆大学 (CMU) 念书以及加入 Facebook 的故事。 相关链接 覃超的知乎个人页面 覃超自己发明的 T-shirt 求支持 峰瑞资本 覃超:《Facebook,Google,Microsoft 面试记录》 覃超:《从美东到美西, 从CMU到Facebook!》 覃超:《Forever 24——24岁那年的回忆》 覃超:《第一次去硅谷的感受》 覃超:《遥想小魔王的计算机竞赛峥嵘岁月——附楼天成回忆录》 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员 覃超:峰瑞资本技术合伙人,创业者,前 Facebook 工程师
12/26/20151 hour, 20 minutes, 31 seconds
Episode Artwork

30. 没有主题的闲聊

关于 MinGW 和 Wi-Fi 的听众反馈,然后讨论了初学者如何面对 Linux 操作系统,最后讨论了几条新闻。 本期的口号是:Show me a pull request, or STFU. 相关链接 Karlie Kloss 在 SpaceX 的照片 GitHub 上的苹果 Swift 项目 Let’s Encrypt 公测 Is PHP 6 or PHP 7 Next? PHP6: Pissing in the Wind BDFL PHP 邮件组里的一封信 PHP 7 新特性 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
12/12/20151 hour, 45 minutes, 5 seconds
Episode Artwork

29. Terminal Emulators

本期补充了上期未能涉及的终端仿真器(terminal emulator),然后讨论了几则新闻。 本期的口号是:Everything is theoretically impossible, until it is done. Rio 开始提供双向求职服务啦,欢迎求职者及应聘公司发信到 [email protected] 相关链接 Elvish shell TTY demystified RXVT Terminator Guake iTerm ZTerm MinGW Cygwin Visual Studio Code repository on GitHub The Story behind the new wordpress.com Raspberry Pi Zero 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
11/29/20151 hour, 49 minutes, 46 seconds
Episode Artwork

28. In 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 完成。 相关链接 Programmers Should Not Call Themselves Engineers Flutter 0.30000000000000004.com Teletype、Teletype Model 33 Acoustic Coupler Multics sh、csh、ksh、bash、ash / dash、zsh、psh、yash、fish Unix Wars What does it mean to be sh compatible? Oh My Zsh Dash as /bin/sh Homebrew lolcat tig: text-mode interface for Git cowsay Fortune cookie IPython bpython pry tree tmux htop pbcopy, pbpaste、open 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful程序员,《内核恐慌》主播。
11/14/20152 hours, 19 minutes, 29 seconds
Episode Artwork

27. And 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. 勘误:唐宗汉变性后的名字叫做唐凤。 相关链接 Economist 关于中国留守儿童的报道 V2EX 上面第26期的反馈 “I’d love a Benchmade model 42 butterfly knife.” Tig: text-mode interface for Git The UNIX-HATERS Handbook Surge 原理 FLIF 乌云网易漏洞报告 Windows 7 Update misfire OS X El Capitan System Integrity Protection Perl 5 与 Perl 6 的差异 Let’s Encrypt Is Trusted 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
11/1/20151 hour, 41 minutes, 28 seconds
Episode Artwork

26. Livid 专访

本期我们请到了 Livid,一起聊他作为程序员、V2EX 站长和创业者的成长经历。 本期的口号是:Laziness, impatience, and hubris. 相关链接 知乎上的问题「Livid 是谁」 v2ex.com 目前 Google App Engine 的计费方法 Digital Ocean Kijiji E3 2012 Battlefield: Bad Company 2 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。 Livid: V2EX 创始人。
10/18/20151 hour, 58 minutes, 3 seconds
Episode Artwork

25. Hyper.sh

Hyper 是一款基于虚拟机的 Docker 替代引擎。本期我们邀请到了 Hyper 项目的创始成员、前 SUN 工程师薛磊(Simon)来聊一聊这款新工具。 相关链接 Hyper.sh Hyper on GitHub Jobs at Hyper Rio 写的 go-virtualbox 库 Docker KVM Xen CoreOS Clear Linux Kubernetes Packet VirtualBox boot2docker Rio 写的 boot2docker 命令行工具(已 deprecated) xhyve V2EX Go 语言 人物介绍 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 薛磊:前 SUN 工程师,HyperHQ 创始成员/软件工程师
10/4/20151 hour, 20 minutes, 39 seconds
Episode Artwork

24. XcodeGhost

过了一个月两个人都不太记得上次说过些什么了。听众反馈与业界新闻评论之后讨论了此次 XcodeGhost 事件。 本期的口号是:Trust no one. Even your compiler. 相关链接 CERN Root Ryan Carmack 主页 Max Howell 在苹果公司门前的自拍 React Native Achmed 的故事 Delphi 7 的病毒 PuTTY 中文版后门 Daniel J. Bernstein “Some thoughts on security after ten years of qmail 1.0” Ken Thompson “Reflections on Trusting Trust 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
9/21/20151 hour, 54 minutes, 55 seconds
Episode Artwork

23. 程序员之路

读者声讨开发板的回馈;新闻包括 Gamescom (以及两位主持人为什么不玩 LoL)、微软的 Objective C API 开源、Cherry 的新红轴静音机械键盘;主题是程序员的自我修养。 相关链接 清华大学2015年操作系统课课程设计:Intel Edison 上的 ucore+ 移植 木遥的窗子 木遥的桌子 Heroes of the Storm Microsoft open sources (most of) its iOS-apps-on-Windows compatibility layer Corsair and Cherry Introduce New, Quieter Mechanical Keyboard Switches Google: 90% of our engineers use the software you wrote (Homebrew), but you can’t invert a binary tree on a whiteboard so fuck off. Leetcode Project Euler Elance Topcoder Being Geek: The Software Developer’s Career Handbook 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
8/9/20152 hours, 15 minutes, 59 seconds
Episode Artwork

22. 开发板

两位主持人对 web 开发的态度;新闻是 Jeep 车被黑事件(更新:克莱斯勒已经宣布召回一百五十万辆汽车修复漏洞);主题是微处理器开发板。 相关链接 Jeep 汽车被黑 Arduino Detect Train and Close Window with Arduino and Webcam (YouTube 视频。吴涛的记忆有误,此处并未采用声音探测器,而是摄像头) Raspberry Pi BeagleBoard Banana Pi Raspberry Pi “树莓派”: 概述与优势(上)、(下) 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
7/26/20152 hours, 2 minutes, 49 seconds
Episode Artwork

21. Debugging

就着听众反馈,两位主持人介绍了自己管理密码的习惯;新闻包括 Hacking Team 的大泄密、Atom 1.0、以及卡马克在 VR 世界里跑 Racket 的野心。主题是 debugging——程序除错与调试。 相关链接 Lucida 「白板编程浅谈——Why, What, How」 Wired 杂志对于 Hacking Team 泄密案的报道 在浏览器中禁用 Flash 的方法 Atom Editor 1.0 Prediction of the Home Computer (1960’s) 维基百科对于 Debug 一词由来的解释 Quora 上的问题「遇到过最难解的 bug」 Valgrind PyCharm 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
7/12/20152 hours, 21 minutes, 38 seconds
Episode Artwork

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 比测试更加完备和简洁。在实际工作中,我们往往会针对验证的程序的特点,设计特定的逻辑系统,以进一步的降低证明的难度和复杂度。 相关链接 读者 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 程序员,《内核恐慌》主播。
6/27/20152 hours, 11 minutes, 50 seconds
Episode Artwork

19. 测试

Rio 使用 HHKB 的感想;读者来信;WWDC 短评;主题是软件测试。 相关链接 PFU HHKB 日文版网站 Reverse Polish notation(逆波兰表示法) Rio 关于 Unicode 的笔记 ISO/IEC 2022 编码 对于 Windows 字符串操作的简单介绍 镍过敏 WebObjects Penetration test(穿透测试) Smoke testing(发烟测试) ISO 9000 瀑布模型 敏捷软件开发 测试驱动开发(TDD) Cucumber 恐怖谷理论 使用蒙特卡洛算法的 Zen 围棋程序 Kent Beck 单元测试框架列表 Doctest 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
6/15/20152 hours, 33 minutes, 32 seconds
Episode Artwork

18. 编码

吴涛独自主持的一期节目,一小时的内容包括读者反馈和对于计算机编码的简短介绍。 相关链接 Visual Studio Compiler team 在 Build 大会上的演示(可以从 27’20” 开始) William Chen The Talking Machines Chinese Restaurant Process 人物简介 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
5/31/201558 minutes, 43 seconds
Episode Artwork

17. Microsoft Build

读了几封听众来信,评论了几条新闻之后,虽然嘴上说不要再讲微软,节目还是很诚实地讨论了这次微软开发者大会。 勘误:格里高利历与儒略历实际上是不同的。 相关链接 Snappy 进入 Ubuntu Desktop NoTCP Dart (Sky) for Android Windows 10 versions Visual Studio Code Microsoft Build 2015 Sessions 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
5/17/20151 hour, 58 minutes, 40 seconds
Episode Artwork

16. And Now for Something Completely Different

Rio 缺席,如一代班。嘉宾四位,六方合谈。软核主题,中文排版。评议标准,臧否规范。谈笑即罢,尽欢而散。 相关链接 中文排版需求(草案) 陈奕钧制作的「汉字标准格式」 Type is Beautiful JIS X 4051 日本語組版処理の要件 Richard Ishida 董福兴:简单做好中文排版 IT 公论 №67: 小林章《西文字体》译者刘庆(Eric Liu)谈字体排印 IT 公论 №88: 思源黑体(Source Han Sans)——史诗级中日韩新字体诞生 IT 公论 №119: 用 activism 的精神做电子出版标准化 人物简介 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。 梁海:字体及语言爱好者,多语言字体技师。 董福兴:Wanderer 创始人,大块文化出版数位内容事业部开发总监。 陈奕钧:「汉字标准格式」作者,专门研究偏门 web 排版 hack。 刘庆:Type is Beautiful 作者,《西文字体》译者、《字体故事》联合译者。 不鸟万如一:《IT 公论》主播,字节社创始人。
5/3/20151 hour, 39 minutes, 43 seconds
Episode Artwork

15. 数据可视化与交互设计

多次提及的消极姐和我们一起聊了聊数据可视化与交互设计,当然一如既往地夹杂着许多其他离题万里的讨论,包括建筑师、建筑史、北京城墙、僵尸片、星战观片的最佳次序、设计师怎样编程,以及消极的若干屠龙之技。 相关链接 消极姐的 blog 中国城市空气污染状况 Newman 的美国选举地图 How to Lie with Maps 纽约客封面《View of the World from 9th Avenue》 经济学人封面《How China sees the world》 郎香教堂 关于纽约排字工人罢工的报道 Pruitt–Igoe 项目 天子大酒店 消极姐在 Quora 上对于 Why don’t more desingers code? 问题的回答 Elevator Pitch 《群尸玩过界》,IMDb Machete order Star Wars: The Force Awakens Official Teaser #2 Frank Gehry The Mother of All Demos 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。 陈晓霁:微软 Xbox 用户体验设计师。
4/19/20151 hour, 50 minutes, 49 seconds
Episode Artwork

14. 类型系统

正音班的废除;关于捐款的一些评论;Ducati Scrambler;听众来信选读;I Like Rabbits 网站 的意义;苹果为什么要收购 Foundation DB。 主题是「编程语言中类型系统的概念及作用」。 相关链接 舒克和贝塔历险记 Ducati Diavel 《码头风云》(On the Waterfront) SAS Contract research organization The Incredible Machine Apache Spark FoundationDB Type System 千年虫 2038 问题 闰秒 What Every Computer Scientist Should Know About Floating-Point Arithmetic Operator overloading 诡异的 JavaScript 运算符重载 Strong and weak typing Dynamic programming language 10 Myths of Enterprise Python Boxing Ruby Open Classes 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
4/4/20152 hours, 27 minutes, 37 seconds
Episode Artwork

13. 并发与异步

《内核恐慌》开放了捐款页面。吴涛和 Rio 先是回味了上一期的辉煌(如果还没有听请赶紧先去听),然后聊了包括新 MacBook 在内的其它一些事情,最后讨论了编程之中并发和并行的概念,相关的几种处理模型,以及异步模式。 相关链接 The IT Crowd | 0118 999 881 999 119 7253 REPL iPython Pry Smalltalk 开发环境 Squeak 三进制计算机 Nim USB Typewriter Rob Pike 关于并发的演讲幻灯片:Concurrency is not Parallelism Windows 3.2 Dining philosophers problem Actor Model 编程中的「副作用」 Communicating Sequential Processes libuv Seven Concurrency Models in Seven Weeks 协程 Erlang: The Movie Erlang: The Movie II 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
3/21/20151 hour, 59 minutes, 24 seconds
Episode Artwork

12. 数学与编程

特别嘉宾木遥与 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 成员。
3/7/20152 hours, 33 minutes, 16 seconds
Episode Artwork

11. 从 Backbone 到 React

(Pocket Casts 用户如果最近无法下载 IPN 的节目请退订再重新订阅试试。谢谢。) Willow 给大家介绍了工作中编写基于 Backbone 的应用遇到的种种困难、小团队如何做技术选型、以及如何逐步将一个大型的 Backbone 应用以 React 重写。在节目后半段,Rio 和吴涛聊了聊 OS X 上的 .NET CoreCLR,还有窗口管理器 i3。 相关链接 Backbone Underscore React AngularJS Building and Running .NET’s CoreCLR on OS X 可在 Visual Studio 中编译 Swift 的 Silver i3 窗口管理器 Divvy 窗口管理器 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。 Willow: Backplane 前端工程师。
2/22/20152 hours, 15 minutes, 32 seconds
Episode Artwork

10. React.js 研讨会专题

Willow(柳成荫)参加完两天的 React.js Conf 2015 回到家里,Rio 和吴涛邀请他一起来聊一聊相关话题:React.js, Flux, JSX, XHP, ES6, React Native, Flexbox Layout, REST, Relay, GraphQL, graph database 等。 相关链接 《IT 公论》 #42: 海外中国程序员系列之三:WhatFont 插件作者柳成荫(Willow) 《IT 公论》 #121: WhatFont for iOS 开发者访谈 Backbone.js Ember.js AngularJS React React.js Conf 2015 议程及录像 Flux 应用架构 Reflux Immutable.js JSX CSS Flexbox Layout in JavaScript React Native 初体验 Titanium Hyperloop Representational State Transfer Principled Design of the Modern Web Architecture Unofficial Relay FAQ TAO: The power of the graph Graph database 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。 柳成荫:WhatFont 开发者。
2/8/20151 hour, 55 minutes, 56 seconds
Episode Artwork

9. 程序员的理想工作环境

吴涛和 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 程序员,《内核恐慌》主播。
1/25/20152 hours, 31 minutes, 44 seconds
Episode Artwork

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

作为「生命周期管理」三部曲的最后一部分,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 程序员,《内核恐慌》主播。
1/11/20152 hours, 29 minutes, 36 seconds
Episode Artwork

7. 软件包管理

延伸上期「生命周期管理」话题,本期节目中吴涛和 Rio 讨论了 package management,包管理。内容包括 Windows 的 DLL hell,各 Linux 发行版的打包格式,Homebrew 有何过人之处,Python 包管理工具的混乱现状,其他关键字包括 npm、Ruby Gem、Rake、Zope、Maven,当然还有 Rio 钟爱的 Go。 相关链接 Apple Bundle 格式 Apple Package 格式 Windows Installer Property List (.plist) file format What is the AppData folder The Rule of Silence “when a program has nothing surprising, interesting or useful to say, it should say nothing”. DLL hell Debian package RPM format 知乎问题:服务器操作系统应该选择 Debian/Ubuntu 还是 CentOS? Yum Zypper APT FreeBSD ports Fink MacPorts Homebrew Homebrew formula Linuxbrew NuGet 人彘 lolcat Maven Why does Maven have such a bad rep? Maven Adoption Curve New project requirements start with Maven Sonatype Nexus sbt Rake Functional Programming Principles in Scala by Martin Odersky easy_install Distutils pip PyPI PEP 381 - Mirroring infrastructure for PyPI pythonz Python Image Library iPython Qt Console Buildout Zope ZeroMQ CocoaPods Gem DSLs - A powerful Scala feature Stackoverflow「风滚草」勋章 npm Bundler Semantic Versioning Golang - Download and install packages and dependencies Godep Google Build System YouTube Rewind 2014 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
12/27/20142 hours, 28 minutes, 47 seconds
Episode Artwork

6. 从 Portal 看生命周期管理

本期吴涛和 Rio 花了相当长的时间讨论第一人称平台解谜游戏 Portal,目的只是为了让这期节目不要被以下干燥内容独占:如何用同一套 Java/Go/C# 代码同时支持 web/Android/iOS 三大平台?如果电脑内存和硬盘合二为一的话,编程模型会有什么变化? 相关链接 个性化定制 Input 字体 Go 1.4 正式支持 Android Go 1.5 计划支持 iOS GopherJS: Go 语言到 JavaScript 编译器 Google Inbox 如何用同一套 Java 代码同时支持 Web, Android, iOS GWT: 将 Java 编译成 JavaScript J2ObjC: 将 Java 编译成 Objective-C Portal 主题曲 Still Alive Still Alive 作者 Jonathan Coulton 的网站 Portal 2 漫画: Lab Rat (中文版) Portal 真人电影短片 Portal 大反派 GLaDOS Core Dump 磁芯存储器 (Magnetic-core Memory) 王安电脑公司创始人王安 「640KB 内存完全足够了?」 协作式多任务 vs. 抢占式多任务 Node.js Managed code Memory Management Data Structure Alignment Read-Only Memory 虚拟内存 (Virtual Memory) Windows NT boot loader Intel 安腾处理器 AMD64/x86-64 内存层级 (Memory Hierarchy) 寄存器 (Register) 高速缓存 (Cache) 每个程序员都应该知道的访问延迟数值 异步输入输出 (Asynchronous I/O) 三维集成电路 易失存储器 vs. 非易失存储器 Cold Boot Attack 序列化 (Serialization) 网络启动 NetBoot 忆阻器 (Memristor) Automatic Reference Counting Garbage Collection Go 1.4 Changes to the runtime: fully precise garbage collector and concurrent garbage collector 内存映射 (Memory Mapping) 反向代理缓存服务器 Varnish Varnish 架构师写的文章 So what’s wrong with 1975 programming? Core Data 姜峯楠 (Ted Chiang): The Lifecycle of Software Objects 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
12/14/20142 hours, 22 minutes, 22 seconds
Episode Artwork

5. 编程字体

从补遗上期未能提及的若干编辑器开始,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/30/20142 hours, 18 minutes, 51 seconds
Episode Artwork

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。 相关链接 Logic vs. American Logic NeoVim Vico Bram Moolenaar Rio 的知乎回答《Windows 8 失败了吗?》 A tour of Acme SciTe SciTe Mac App Store 版本 Quora 上的问题:Vim 和 Emacs 的区别何在? Visual Studio 各版本的差异 自动删除 Xcode 临时文件的工具:Watchdog 微软宣布 .NET 平台服务器端开源 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
11/16/20142 hours, 44 minutes, 47 seconds
Episode Artwork

3. 静态网站生成器

动态网站太重了。轻量级的静态网站生成工具一时蔚然成风,至少在开发者圈子里如此。它是什么,解决了怎样的问题,为什么流行,效果如何? 吴涛希望 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。 相关链接 @horse_mans 的推特帐号 Static site generator 列表及 Github 关注度排名 Jekyll Jekyll Bootstrap Octopress Middleman Pelican Hyde Hugo spf13 的 The Ultimate Vim Distribution Code kata GIF: Demonstrating end-to-end automation to new employees
11/3/20141 hour, 45 minutes, 28 seconds
Episode Artwork

2. 键盘恐慌

机械键盘、薄膜键盘、电容键盘、单手键盘、无刻印键盘、人体工学键盘、「和弦」键盘(Chorded Keyboard)、IBM Model M、Apple Extended Keyboard II、Matias Keyboard、HHKB、Das Keyboard、CODE Keyboard、黑轴、红轴、青轴、白轴、透明轴、Alps 轴、美式英语键位、英式英语键位、国际英语键位、德语键位、法语键位……两小时的键盘饕餮大餐。Bonus: Rio 人生开发的第一个软件曝光(下有 GitHub 链接)。 相关链接 机械键盘百科 Happy Hacking Keyboard Cherry Cherry 键盘轴简介 The Verge 关于 IBM Model M 的报道 PS/2 接口 ADB 接口 腕管综合症(Carpal tunnel syndrome) RSI(重复性劳损) Truly Ergonomic Mechanical Keyboard Matias 单手键盘 Das Keyboard WASD Keyboards Jeff Atwood 的博客 Discourse CODE Mechanical Keyboard Rio 人生中开发的第一个软件:Loopman Prompt 2 德沃夏克键盘布局 Chorded Keyboard FrogPad 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
10/19/20142 hours, 6 minutes, 24 seconds
Episode Artwork

1. 内核恐慌开播!

《内核恐慌》节目初始化,主持人是 Rio 和吴涛,内容基本上是从 kernel panic 说到程序的异常处理机制,中间穿插着人机交互、NAS、社会工程学、报税、输入法、行车记录仪和 systemd,顺便黑了黑法国和 Java。 相关链接 Kernel Panic pmset 「The car guy」相关新闻及评论 i3 Awesome Informatics Youtube 上面俄国行车记录仪影片集锦 C setjmp / longjmp Defer, Panic, and Recover Swift 为什么没有异常处理? Systemd 作者对于来自开源社区攻击的评论 抵制 systemd 的网站 boycottsystemd.org 鼠须管 鼠须管 GUI 配置工具 戛然而止 人物简介 Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。 吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
10/12/201457 minutes, 44 seconds