Hacker News · 首页· laginimaineb·· 27 天前AI 评分58
doubleAI 推出 Maxwell 代码执行模型，运行时重写二进制并形式化证明等价
Maxwell: A new kind of model that sits between code and hardware
AI 导读
doubleAI 推出 Maxwell，一种在代码运行时观察程序、按具体机器和数据重写二进制、并对每处改动做形式化等价证明的模型，覆盖 CPU 和 GPU。
来源：Hacker News · 首页 · heymaxwell.ai