• ⭐️林北辰
    有没有对“逻辑学”和“类型论”感兴趣的?
    我觉得,计算机程序是数字电子,数学证明,是模拟电子。 CPU 是数字型,但给 CPU 供电的主板,vrm 模块,确实模拟电子。 CPU 预测接下来有大动作,要求大功率,VRM 给了大功率,大电压,结果 CPU 因为缓存 miss ,导致计算任务其实很小, 那电已经来了,怎么办,只能靠 vrm 来泄压。而且,电压变动,会导致波动,出现 undershoot 和 overshoot ,所以有了 CPU