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 成员。