攻破 SQLite 的 WAL 日志：一个存在 14 年的竞态 bug，15 分钟被 AI 复现
我是在阳光海岸的一把躺椅上做的这个。 
评论
点赞
收藏Finding Bugs in Raft Implementations
Why formal verification is not enough to maintain consensus in real systems
Bug Bash 即将登陆欧洲
Antithesis 宣布将于 9 月 30 日在哥本哈根举办为期一天的 Bug Bash 会议。 
我试图通关所有俄罗斯方块关卡的历程
Antithesis 团队试图用自动化测试工具“通关” NES 版俄罗斯方块。他们从最初击败人类高手，到被青少年玩家刷新纪录，最终目标锁定在实现游戏机制上的“重生”。 文章详细记录了如何通过模糊测试、构建状态图和优化目标函数，一步步攻克游戏深层 Bug 和速度极限的技术过程。
分布式系统可靠性术语表
Jepsen 和 Antithesis 团队整理了一份分布式系统可靠性术语表，涵盖一致性模型、可用性模型、故障现象及测试技术。 旨在为开发者提供直观且统一的定义，解决现有文献中概念混乱的问题。 文中还定义了如“垃圾读”等新概念，并梳理了依赖关系与版本顺序，帮助工程师深入理解分布式系统的底层原理与测试方法。
Bug 何时开始？Antithesis 的因果分析
Antithesis 博客发布了一篇关于其软件缺陷的因果分析报告，标题询问 Bug 从何时开始。 内容极其简略，仅包含标题和一句话描述，缺乏具体的技术细节、分析过程或结论。
Antithesis report: Tigris Data
Tigris Data uses Antithesis to test their consistency guarantees.
Keeping the cloud afloat with deterministic simulation testing
A CNCF talk about using deterministic simulation testing with cloud infrastructure
Antithesis Skills for Agents
Love Antithesis, hate the setup process? What if your good friend Claude could do it for you?
Hypothesis, Antithesis, synthesis
Introducing Hegel, our new family of property-based testing libraries.
A declarative restoration
Why testing fell behind the rest of software development, and how it can catch up.
A Fighting Retreat
We're all turning into crabs, but we can choose how fast we do so.
Formal Methods for Rust Unsafe
How we formally verified thread safety for our C++/Rust interface.
Catching a caching bug at Readyset
Cache invalidation spares no one — not even caching companies.
When your customer leads your Series A
They say a startup's customers are also investors, but they don't mean it like this.
Antithesis launches Kubernetes support
Kubernetes users can now use the same manifests they use in production in their Antithesis tests.