Hegel
A universal property-based testing protocol and family of libraries, built on Hypothesis
Hypothesis: A new approach to property-based testing
The property-based testing library for Python
Antithesis: autonomous software testing
Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility
A new era for software testing - <antirez>
Choosing properties for property-based testing
Or, I want to use PBT, but I can never think of any properties to use
Readable Robot Tests: Bridge the Tech Gap
A walkthrough of the Robot Testing pattern in Flutter, an end-to-end technique that keeps tests readable for non-technical stakeholders and reusable as code grows.
Tests Are The New Moat | Daniel Saewitz
As AI becomes better at cloning people's open source work, what ends up becoming most valuable are software contracts, tests, and API surface area. This clashes the incentives of clearly defining your commercialized open source software with protecting it.
Improving Science That Uses Code
Abstract. As code is now an inextricable part of science it should be supported by competent Software Engineering, analogously to statistical claims being
How Antithesis Turned exe into a Sandbox for Agentic Software Tests - exe.dev blog
Carl Sverre spends a lot of time thinking about how to give AI agents the right amount of power. Give them too little, and they can’t do real work. Give them too much, and they might blow up your tech stack. As a software engineer at Antithesis, an autonomous software testing platform, that question is core to how Sverre thinks about designing tools in the era of advanced AI.
Code Worth Writing - Ray Myers | SSW 2026
Structure and Interpretation of Test Cases • Kevlin Henney • GOTO 2022
b.next: rebuilding biology for engineering
Agentic systems are adept at solving well-scoped, verifiable problems in computational biology
We introduce CompBioBench, a benchmark of 100 diverse tasks for evaluating agentic systems in computational biology. Unlike mathematics and programming, which more readily admit systematic verification, biological data are inherently noisy and open to interpretation.
A universal approach to mocking
Defunctionalise your continuations and your tests can run any computation a step at a time.
Testing functional UIs - Hayleigh Thompson | Lambda Days 2025
Introducing Hegel, our new family of property-based testing libraries.