Skip to content
DeltaLabs
Home
Blog
Sign in
Request access
Notes on code that has to hold.
Practical writing on invariants, property-based testing, and keeping AI-written changes honest.
The invariant
layer
DeltaLabs
Announcements
What we do
AI writes more of our code every week. DeltaLabs is the invariant layer that mines the guarantees your codebase depends on and enforces them on every pull request.
June 28, 2026
4 min read
Archive
Concepts
What is property-based testing?
Example tests check the cases you thought of. Property-based testing states a rule that must hold for every input, then lets the computer hunt for the counterexample.
June 28, 2026
6 min read
→