No.443 第17届图灵奖、NP定理开拓者、数学家:斯蒂文·库克Stephen Cook | 软件那些事儿 | Podwise