高手社区
首页
称号抽取
淘帖
注册
登录
主题
回帖
称号
积分
⭐️
有没有对“逻辑学”和“类型论”感兴趣的?
我觉得,计算机程序是数字电子,数学证明,是模拟电子。 CPU 是数字型,但给 CPU 供电的主板,vrm 模块,确实模拟电子。 CPU 预测接下来有大动作,要求大功率,VRM 给了大功率,大电压,结果 CPU 因为缓存 miss ,导致计算任务其实很小, 那电已经来了,怎么办,只能靠 vrm 来泄压。而且,电压变动,会导致波动,出现 undershoot 和 overshoot ,所以有了 CPU
林北辰
5小时前
技术
3
MindMindMax
类型论
Lean4
逻辑学
技术
提示
×