数字花园 / Computer Scientists Reinvent the ProofComputer Scientists Reinvent the ProofProgrammingHow Computer Scientists Learned to Reinvent the Proof | Quanta Magazine这篇文章有一个缩略词引起了我的注意：NP，在算法中遇到过。相关：coding相关：control-metacognition-process-of-programming相关：dont-study-cs-from-stephen-wolfram