从吴涛疫情后第一次回国参加线下活动以及短暂的失业经历聊起,我们谈到以 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
/* 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/2021 • 2 hours, 16 minutes, 22 seconds
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/2021 • 1 hour, 52 minutes, 25 seconds
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/2020 • 2 hours, 20 minutes, 44 seconds
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/2020 • 2 hours, 27 minutes, 39 seconds
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/2020 • 2 hours, 4 minutes, 43 seconds
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/2020 • 2 hours, 14 minutes, 47 seconds
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/2020 • 1 hour, 51 minutes, 38 seconds
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/2019 • 1 hour, 48 minutes, 3 seconds
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/2019 • 1 hour, 55 minutes, 57 seconds
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/2019 • 2 hours, 10 minutes, 4 seconds
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/2018 • 2 hours, 1 minute, 28 seconds
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/2018 • 2 hours, 3 minutes, 33 seconds
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/2018 • 1 hour, 52 minutes, 12 seconds
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
今日「字谈字串」,谈谈如何判断两个 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/2017 • 2 hours, 9 minutes, 4 seconds
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/2017 • 1 hour, 36 minutes, 8 seconds
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 编辑
两人评论但并不仅评论了十月廿七的苹果发布会,之后介绍了两款编程游戏。
相关链接
Total Nightmare: USB-C and Thunderbolt 3
ChatbotConf 2016 烧香袋
SHENZHEN I/O
TIS-100
人物简介
Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。
吴涛:Type is Beautiful程序员,《内核恐慌》主播。
11/6/2016 • 1 hour, 35 minutes, 59 seconds
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/2016 • 2 hours, 5 minutes, 31 seconds
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/2016 • 2 hours, 2 minutes, 57 seconds
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/2016 • 2 hours, 27 minutes, 16 seconds
40. 迟到的 Google I/O 专题
这期是在 Google I/O 之后、WWDC 之前录的,迟到为歉。部分信息已经过时,请诸君明察。
登场人物
Rio:《IT 公论》主播,IPN 联合创始人,Apple4us 程序员。
吴涛:Type is Beautiful程序员,《内核恐慌》主播。
6/28/2016 • 1 hour, 52 minutes, 53 seconds
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/2016 • 2 hours, 10 minutes, 56 seconds
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/2016 • 1 hour, 39 minutes, 7 seconds
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/2016 • 1 hour, 42 minutes, 50 seconds
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/2016 • 1 hour, 7 minutes, 59 seconds
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/2016 • 1 hour, 35 minutes, 34 seconds
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/2016 • 56 minutes, 27 seconds
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/2016 • 1 hour, 45 minutes, 47 seconds
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 工程师
关于 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/2015 • 1 hour, 45 minutes, 5 seconds
29. Terminal Emulators
本期补充了上期未 能涉及的终端仿真器(terminal emulator),然后讨论了几则新闻。
本期的口号是:Everything is theoretically impossible, until it is done.
Rio 开始提供双向求职服务啦,欢迎求职者及应聘公司发信到 talent@riobard.com
相关链接
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/2015 • 1 hour, 49 minutes, 46 seconds
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/2015 • 2 hours, 19 minutes, 29 seconds
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/2015 • 1 hour, 41 minutes, 28 seconds
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/2015 • 1 hour, 58 minutes, 3 seconds
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/2015 • 1 hour, 20 minutes, 39 seconds
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/2015 • 1 hour, 54 minutes, 55 seconds
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/2015 • 2 hours, 15 minutes, 59 seconds
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/2015 • 2 hours, 2 minutes, 49 seconds
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/2015 • 2 hours, 21 minutes, 38 seconds
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/2015 • 2 hours, 11 minutes, 50 seconds
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/2015 • 2 hours, 33 minutes, 32 seconds
18. 编码
吴涛独自主持的一期节目,一小时的内容包括读者反馈和对于计算机编码的简短介绍。
相关链接
Visual Studio Compiler team 在 Build 大会上的演示(可以从 27’20” 开始)
William Chen
The Talking Machines
Chinese Restaurant Process
人物简介
吴涛:Type is Beautiful 程序员,《内核恐慌》主播。
5/31/2015 • 58 minutes, 43 seconds
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/2015 • 1 hour, 58 minutes, 40 seconds
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/2015 • 1 hour, 39 minutes, 43 seconds
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/2015 • 1 hour, 50 minutes, 49 seconds
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/2015 • 2 hours, 27 minutes, 37 seconds
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/2015 • 1 hour, 59 minutes, 24 seconds
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/2015 • 2 hours, 33 minutes, 16 seconds
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/2015 • 2 hours, 15 minutes, 32 seconds
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/2015 • 1 hour, 55 minutes, 56 seconds
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/2015 • 2 hours, 31 minutes, 44 seconds
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/2015 • 2 hours, 29 minutes, 36 seconds
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/2014 • 2 hours, 28 minutes, 47 seconds
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/2014 • 2 hours, 22 minutes, 22 seconds
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/2014 • 2 hours, 18 minutes, 51 seconds
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/2014 • 2 hours, 44 minutes, 47 seconds
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/2014 • 1 hour, 45 minutes, 28 seconds
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/2014 • 2 hours, 6 minutes, 24 seconds
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 程序员,《内核恐慌》主播。