#+DESCRIPTION: 从一个家教的视角出发，拆解了理解系统到底是怎么回事。好家教八成的精力花在调动学生积极性上，再通过选题把学生脑子里跑偏的认知模型逼出来。学生得学会自己验证答案，这套假设加验证的功夫从数学辅导一路管到调代码、查网络故障、甚至学赛车。本文是对原文核心论证链的解读。

kqr 在 [[https://entropicthoughts.com/understanding-systems][Understanding Systems]] 说，他从做家教的经历中琢磨除了一套可以用于理解任何系统的路子，那就是，先提假设，再想办法推翻它。文章从一个数学辅导老师的经历说起，然后讲这一套方法延伸到调代码、查网络故障等方面。

选题是个技术活。题目不能太简单也不能太难，得卡在学生当前能力的边界上。更要紧的是，题目得能把学生脑子里跑偏的认知模型引出来（就是你以为某个概念该怎么理解，实际不是那么回事）。所以家教自己得先把题目快速做一遍，想想解题过程中哪些地方容易让人产生错觉，然后专门挑那些最容易让人调入陷阱的题。

看学生做题的时候，家教其实是在收集信息。解题过程能体现出他脑子里的想法。有时候最终结果对了，但中间某步走得很怪，那可能就是一个跑偏的认知模型在捣乱。家教看到这种可疑的地方，就需要专门出一道题来验证一下。

* 学会自己验证

kqr 特别烦学生翻书后面对答案。他觉得翻答案根本不算学习。他要求学生做完题先自己判断做得对不对，再去验证。

这三种方法没有一种是靠对标准答案。核心逻辑就一条，自己动手证明自己到底是对了还是错了，不靠别人来告诉你。kqr 说他的学生刚跟他学的时候，没一个人会自己验证答案。

kqr 后来在大学当计算机网络课的助教，学生在实验中遇到问题叫他过去。他不直接告诉学生发生了什么，先问「你觉得是怎么回事？」学生给出一个猜测后，他接着问「那你能不能做一个操作，让这个操作的结果只有在你猜对了的时候才会出现？」

学生想出一个验证方法，做完发现自己猜错了。然后再来一轮，猜了再验。kqr 说他从来没教过这些学生任何东西，他们自己搞明白了。

这就是老手理解系统的路子，不断对系统的运作方式提出假设，然后专门去找能推翻自己假设的场景。数学辅导是这样，调代码是这样，学赛车也是这样。

kqr 把辅导概括为「给学生创造机会重新审视自己的假设，通过问对问题来暴露关键机制」。这句话里的「学生」换成「程序员」，「辅导」换成「调试」，照样成立。