我在最近两天的极高密度生产级 Coding 实践中，使用 Opus / Fable 结合 For…
我在最近两天的极高密度生产级 Coding 实践中，使用 Opus / Fable 结合 Formal Verification（主要是 TLA+）来验证 Agent Service 在分布式环境下结合 Durable Execution 的 Race Condition 测试，效果相当地好，不仅发现诸多潜在的问题，也让回归变得更加踏实。
我曾短暂研究过形式验证系统的相关工具，尤其分布式领域的，如今在 AI Coding 时代重新放大它的价值，让我非常兴奋，也欢迎长期研究此领域的同学可以深入交流。
类型系统 / 形式验证，以及基于数学之上的种种编程范式，都是为了让程序变得可预测，可被证明。
而这些，必将成为 AI 时代写出高质量运行时及代码的重要一课。
对于做 Infra 的同学更是如此，共勉。
永无止境的 Loop 吧。
Comments