A configuration change in AWS's bill computation system showed customers estimated bills in the billions and trillions of dollars for over 24 hours. AWS's own alarms detected the anomalies but...

OpenAI found two unrelated bugs masquerading as one in ChatGPT's data infrastructure. Silent hardware corruption on one Azure host and an 18-year-old race condition in GNU libunwind's setcontext...

本文讨论了SWE-Doctor，一个通过多面Bug复现测试（BRT）指导软件开发的研究。研究表明，传统BRT主要用于验证，未能有效指导补丁生成。SWE-Doctor将BRT转变为实时诊断工具，收集丰富的运行时信息，从而提升补丁质量。实验结果显示，该方法在多个基准上显著提高了Bug修复率，并减少了部分补丁的产生，展示了BRT在软件工程中的潜力。

One of our client’s PostgreSQL 16.8 production databases started logging what looked like a memory error: ERROR: invalid memory alloc request size The error immediately pointed toward two likely...

最近发现Codex Desktop存在严重Bug，导致SQLite日志频繁写入。TRACE级别日志占多数。建议通过配置文件关闭SQLite日志或使用触发器拦截写入。清空历史日志后，数据库大小显著减少，写入已停止。

Cloudflare has recently shared how they uncovered an issue in their Rust implementation of CUBIC, a congestion controller algorithm, which prevented it from recovering from a scenario of heavy...

The MySQL team has been working hard to foster innovation, strengthen collaboration with our community, support meaningful contributions, and grow the broader MySQL ecosystem through greater...

文章讨论了属性基础测试（Property-based testing）及其优势，强调使用Hypothesis库自动生成测试用例。与传统测试依赖具体输入不同，Hypothesis通过描述不变量生成多种输入，从而发现潜在的bug。介绍了常见的不变量属性，如往返不变性、幂等性和单调性，并提供了Hypothesis的安装和使用示例。最后，强调结合传统测试与属性基础测试以提高代码可靠性的重要性。

SonarQube是一种静态代码分析工具，能够有效检测Java代码中的安全漏洞和Bug。文章介绍了一个团队通过SonarQube发现硬编码的支付网关API密钥，强调常规测试无法覆盖此类安全问题。引入SonarQube后，团队设定了质量门禁，确保新代码不引入Bug和漏洞，从而提升代码的安全性和质量。