标签
本文介绍了OpEmbed，这是一个从生产事故元数据学习LLM云服务运行指纹的框架，旨在增强云环境中的运行预测和可靠性管理。
一位 NASA/JPL 研究人员讨论传统编码标准的不足，并介绍“The Power of Ten”规则，通过简单性和指标驱动实践来预防安全关键软件中的缺陷。
本文在制造业与现代软件工程的可靠性之间建立类比，重点介绍了冗余、根本原因分析和可观测性等原则，以帮助构建弹性系统。
文章认为，人工智能真正的瓶颈并非算力，而是多步长任务中的软件可靠性。即使将数据中心部署在轨道上，也无法解决智能体漂移和故障检测等根本性问题。
Jane Street，此前对形式化方法持怀疑态度，现宣布转变观点，计划组建专注于形式化方法的团队。这一转变源于代理编程（agentic coding）的出现，它通过降低验证成本并增加对可靠代码的需求，改变了成本/效益计算。
这篇1996年的论文探讨了尽管缺乏形式化证明，软件可靠性却日益提高的原因，讨论了非正式方法和工程实践。
Turso宣布停止其漏洞赏金计划，原因是大量低质量的AI生成提交泛滥，凸显了开源维护中日益严重的AI垃圾问题。