这个解释是合理的，就是LLM辅助的静态代码分析和转换，我在20年前搞程序自动化漏洞检查的时候就接触过这个东西，这实际上是非常古老的东西。

【 在 z16166 的大作中提到: 】
: Galen Hunt 是微软非常有影响力的技术领袖（曾领导 Midori 操作系统项目），他提出的这个愿景确实非常大胆，甚至听起来有些“疯狂”。
: 要理解这件事靠不靠谱，我们需要拆解他的技术逻辑。
: 一、“一名工程师，一个月，一百万行”靠谱吗？
: ...................
--
修改:heideggerr FROM 123.191.92.*
FROM 123.191.92.*