Testing how well AI coding agents use various test and verification techniques to improve software quality.
condense-json 1.1 release adds structural replacements and merge operations for JSON condensing, with Hypothesis round-trip tests.
Technique for generating provably solvable instances to test SAT solvers and similar solvers using property-based testing.
A guide on using AI to rewrite Python code to Rust, covering testing, contract tests, Rust implementation, and property-based testing.
Using property-based testing with Hypothesis to ensure Python and Rust LogParser implementations produce identical outputs.
Building a Rust implementation of a log parser using PyO3 and maturin for Python integration, part 3 of an AI-powered rewrite series.
Using contract tests to run the same test suite against Python and Rust implementations for a confident rewrite.
Learn how to rewrite Python code to Rust for performance, starting with ensuring existing logic is well tested.
An introduction to property-based testing in TypeScript using fast-check, explaining how to test program properties instead of specific examples.
