Hacker News · 首页· laginimaineb·· 6 小时前AI 评分23
doubleAI 发布 Maxwell：在程序运行时自动重写并形式化验证优化的代码执行模型
Maxwell: A new kind of model that sits between code and hardware
AI 导读
doubleAI 发布 Maxwell，一种在程序运行时观察执行并对二进制进行重写的代码执行模型，每次改写都通过形式化证明与原始代码等价。
来源：Hacker News · 首页 · heymaxwell.ai