1Finding bugs across the Python ecosystem with Claude and property-based testing (opens in new tab)(red.anthropic.com)1mmaaz2mo ago0
2Mathematics is hard for mathematicians to understand too (opens in new tab)(science.org)134mmaaz3mo ago148
3Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem (opens in new tab)(mmaaz-git.github.io)2mmaaz4mo ago1
5Solving Boolean satisfiability and integer programming with Python packaging (opens in new tab)(mmaaz.ca)77mmaaz1y ago25