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和漏洞，从而提升代码的安全性和质量。

微软确认Windows 11自动降级用户安装的GPU驱动程序是一个BUG，而非特性。该问题源于驱动程序排名和推送方式的异常，导致用户手动安装的最新版驱动被替换为旧版。微软表示将通过计算机ID改善新硬件驱动的推送，但现有硬件仍可能遇到降级问题。

微软确认Windows 11自动降级用户安装的GPU驱动程序是一个BUG，而非特性。该问题源于驱动程序排名和推送方式异常，导致用户手动安装的最新版驱动被替换为旧版。微软表示将通过计算机ID定位新硬件驱动，但现有硬件仍可能遭遇降级，用户对此表示不满。

Linux内核中的CUBIC拥塞控制器在QUIC实现中存在一个bug，导致网络恢复后拥塞窗口无法增长。问题源于对“空闲”状态的错误判断，造成拥塞恢复的循环。通过调整空闲时间的计算方式，修复了该问题，使CUBIC能够正常恢复并完成数据传输。修复已应用于Cloudflare的开源QUIC实现quiche中。

A社的Claude Code错误地将HERMES.md视为黑名单关键词，导致用户意外产生200美元账单。尽管用户反馈问题，A社的AI客服承认错误但拒绝免单，用户不仅未获补偿，反而需支付费用。这一故障可能影响更多用户。

本文讨论了 C++ 中内存池管理的一个 bug，特别是 KeyEvictInfo.iter_ 的迭代器失效问题。作者指出，虽然代码表面上看似安全，但由于使用 std::make_pair 导致的拷贝操作，实际上破坏了迭代器的有效性。这种隐蔽的语义差异使得问题难以察觉，强调了 C++ 语言的复杂性和潜在风险。

Meta introduces Just-in-Time (JiT) testing, a dynamic approach that generates tests during code review instead of relying on static test suites. The system improves bug detection by ~4x in...