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