HackerDonald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
Lex FridmanYouTube ↗
延伸阅读 1
字幕解读
Knuth 解释为何要把程序写给人读。从形式描述和非形式说明分别重建同一个算法，读者便可以比较两种表述是否讲的是一回事。
公开机器转写（可能有听写错误） ↗ · 引文按字幕原文展示，可点时间戳回看片段。
补充字幕原文 2
at least two perspectives, the formal and the informalgive the reader a way to put the concept into his own brain