https://recursion.wtf/tags/proptest/ Recent content in Proptest on Inanna Malick Hugo en Mon, 05 Oct 2026 00:00:00 +0000 https://recursion.wtf/posts/agents-and-property-tests/ Mon, 05 Oct 2026 00:00:00 +0000 https://recursion.wtf/posts/agents-and-property-tests/ <p>Have agents build the machinery to find bugs in your repo, then let that machinery generate and check cases without spending tokens on each one. You can do this with ordinary coding agents, without access to a closed cybersecurity program. Writing reference implementations, generators, and assertions for every custom data structure and algorithm is now work you can hand to a swarm.</p> <p>Pick a complex repo at work. Ask the people who know it well which parts worry them. Give a strong planning agent <a href="https://gist.github.com/inanna-malick/4e042889df0d8737794a875dda7c8f3c">these starter instructions</a> and those leads. Target custom data structures, query planners, graph algorithms: complicated behavior with a simple way to check correctness.</p>