doubleAI 推出 Maxwell：在代码运行时优化并形式化验证等价性的执行模型
Maxwell：一种介于代码与硬件之间的新型模型
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
doubleAI 发布 Maxwell，一种在程序运行时重写二进制、针对具体机器与数据做优化，并用形式化方法证明优化后与原始代码等价的代码执行模型。
来源：heymaxwell.ai（经 Hacker News） · heymaxwell.ai
Maxwell：一种介于代码与硬件之间的新型模型
本站未展示全文，请前往来源网站阅读。
doubleAI 发布 Maxwell，一种在程序运行时重写二进制、针对具体机器与数据做优化，并用形式化方法证明优化后与原始代码等价的代码执行模型。
来源：heymaxwell.ai（经 Hacker News） · heymaxwell.ai